- Lab1_: MapReduce
- Lab2A: leader election
- Lab2B: log
- Lab2C: persistence
- Lab2D: log compaction
- Lab3A: key/value service without snapshots
- Lab3B: Key/value service with snapshots
- Lab4A: the Shard controller
- Lab4B: sharded key/value server
Passed TestSnapshotUnreliableRecoverConcurrentPartitionLinearizable3B 16000 times, which shows that the system should be reliable, because linearizable testing can theoretically detect all bugs.
