Coordinator

• Cluster Clock and Time support - Collin
• Lease manager - Collin

Master

• Backup's log reading during recovery
• Recovery from log
• Durable logging - Seojin
  --------- Done ----------------------------------------------
• In-memory client table (UnackedRpcResult) - Seojin

Client

• Linearizable RPC handling. (using RpcTracker and ClusterClock) - Seojin

          --------- Done ----------------------------------------------

• In-memory RPC table (RpcTracker) - Seojin