DSLab
Table of Contents
Background
DSLab is a educational platform for teaching Distributed System for novice students. The highlight of DSLab include (1) efficient model checking framework and (2) visual debugging tool. This paper introduce the design of DSLab.
Similar to famous MIT 6.824 labs, the goal of DSLab is to teach student how to build a highly available, scalable, fault tolerant, and transactional distributed KV-store.
TODO Experience
I started doing the DSLab from scratch following the CSE 452 course taught by James Wilcox (he is an excellent instructor).
Lab 0 (an motiving ping protocol)
Lab 1 (RPC protocol implementation)
Lab 2 (fault-tolerance)
Lab 3 (Paxos and Multi-Paxos)
- slide
- intro to paxos, multi-paxos