Table of Contents


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 3 (Paxos and Multi-Paxos)

Author: expye(Zihao Ye)

Email: expye@outlook.com

Date: 2022-07-31 Sun 00:00

Last modified: 2022-12-27 Tue 07:18

Licensed under CC BY-NC 4.0