Lab1 MapReduce Lock + Stateless worker Lab2 Linearizable KV Unreliable Network + Multiple Client Server get the request, store it Client lost the server’s resp, resend request Links Raft Lock Google Spanner RDMA