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
- increment handling
- Coordinator RPC GetLeaseInfo w/ batching
Coordinator
Cluster Clock and Time support - CollinLease 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