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

Author: expye(Zihao Ye)

Email: expye@outlook.com

Date: 2022-07-31 Sun 00:00

Last modified: 2022-12-04 Sun 02:08

Licensed under CC BY-NC 4.0