Tentative schedule for both linearizability and TX.

Nov 3: Today

Nov 14: TX design draft

Nov 21: Linearizability implementation

Jan 27: TX Implementation

Feb 27: 1st draft & Measurements

Mar 28: Final

Linearizability Components

Coordinator

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

Master

• Backup's log reading during recovery - Collin (6days)
• Recovery from log <logReplay> (6 days)
• Handling of Linearizable RPC in MasterService - Seojin (3 days)
• Durable logging - Seojin (3 days)
• Log cleaning for rpc log entry - Collin (4 days)
• In-memory client table (UnackedRpcResult) - Seojin

Client

• Linearizable RPC handling. (using RpcTracker and ClusterClock) - Seojin (3 days)
• Client lease - Collin (4 days)
• In-memory RPC table (RpcTracker) - Seojin