MIT 6.824 Distributed Systems, Spring 2022

Raft election log

---

Labs

Warning
All code only for reference.
DO NOT copy if you are required to write your own code.

All labs' code are commented with enough details, especially Raft related labs

• Lab1: MapReduce

  ✅ test case result

• Lab2: Raft

  

  Architecture Overview

  ✅ all test cases, one iteration
  ✅ all test cases, thousands iterations
  ✅ all test cases, with race detector, hundreds iterations
  ✅ 2A test cases, one iteration
  ✅ 2A test cases, hundreds iterations
  ✅ 2B test cases, one iteration
  ✅ 2B test cases, hundreds iterations
  ✅ 2C test cases, one iteration
  ✅ 2C test cases, hundreds iterations
  ✅ 2D test cases, one iteration
  ✅ 2D test cases, hundreds iterations

• Lab3: KV Raft

  

  Architecture Overview

  ✅ all test cases, one iteration
  ✅ all test cases, thousands iterations
  ✅ all test cases, with race detector, hundreds iterations
  ✅ 3A test cases, one iteration
  ✅ 3A test cases, hundreds iterations
  ✅ 3B test cases, one iteration
  ✅ 3B test cases, hundreds iterations

• Lab4: Sharded KV

  

  Architecture Overview

  ✅ 4A (Shard Controller) test cases, one iteration
  ✅ 4A (Shard Controller) test cases, thousands iterations
  ✅ 4A (Shard Controller) test cases, with race detector, hundreds iterations
  ✅ 4B (Sharded Key/Value Server) test cases, one iteration
  ✅ 4B (Sharded Key/Value Server) test cases, thousands iteration
  ✅ 4B (Sharded Key/Value Server) test cases, with race detector, hundreds iteration
  ✅ 4B Challenge test cases, one iteration
  ✅ 4B Challenge test cases, thousands iteration
  ✅ 4B Challenge test cases, with race detector, hundreds iteration

Progress

• LEC 1: Introduction, video

  • Preparation: Read MapReduce (2004)

• LEC 2: RPC and Threads, crawler.go, kv.go, vote examples, video

  • Preparation: Do Online Go tutorial (FAQ) (Question)

• LEC 3: GFS, video

  • Preparation: Read GFS (2003) (FAQ) (Question)

• LEC 4: Primary-Backup Replication, video

  • Preparation: Read Fault-Tolerant Virtual Machines (2010) (FAQ) (Question)

• LEC 5: Fault Tolerance: Raft (1), video

  • Preparation: Read Raft (extended) (2014), to end of Section 5 (FAQ) (Question)

• LEC 6: Debugging

  • Preparation: Read Debugging by Pretty Printing (Question)

• LEC 7: Fault Tolerance: Raft (2), video

  • Preparation: Read Raft (extended) (2014), Section 7 to end (but not Section 6) (FAQ) (Question)

• LEC 8: Q&A Lab2 A+B

  • Preparation: (Question)

• LEC 9: Zookeeper, video

  • Preparation: Read ZooKeeper (2010) (FAQ) (Question)

• LEC 10: Chain Replication, video

  • Preparation: Read CR (2004) (Question)

• LEC 11: Distributed Transactions, video

  • Preparation: Read 6.033 Chapter 9, just 9.1.5, 9.1.6, 9.5.2, 9.5.3, 9.6.3 (FAQ) (Question)

• LEC 12: Cache Consistency: Frangipani, video

  • Preparation: Read Frangipani (FAQ) (Question)

• LEC 13: Spanner, video

  • Preparation: Read Spanner (2012) (FAQ) (Question)

• LEC 14: Optimistic Concurrency Control, video, video cont.

  • Preparation: Read FaRM (2015) (FAQ) (Question)

• LEC 15: Big Data: Spark, video

  • Preparation: Read Spark (2012) (FAQ) (Question)

• LEC 16: Cache Consistency: Memcached at Facebook, video

  • Preparation: Read Memcached at Facebook (2013) (FAQ) (Question)

• LEC 17: Causal Consistency, COPS, video

  • Preparation: Read COPS (2011) (Question)

• LEC 18: Fork Consistency, SUNDR, video

  • Preparation: Read SUNDR (2004) (until Section 3.4) (FAQ) (Question)

• LEC 19: Peer-to-peer: Bitcoin, video

  • Preparation: Read Bitcoin (2008), and summary (FAQ) (Question)

• LEC 20: Blockstack, video

  • Preparation: Read BlockStack (2016) (FAQ) (Question)

• LEC 21: Smart Contracts, Billboard.sol, Casino.sol

  • Preparation: Read Ethereum White Paper (2014) (Question)

• LEC 22: Project demos, video