What did you PLAN TO accomplish this week?
- integrate Burckhardt’s model into survey
- finalize tx write support for Hybris
- think about compositional consistency
- start prototyping paxos++
What DID you accomplish this week?
- integrate Burckhardt’s model into survey
- finalize tx write support for Hybris
- think about compositional consistency
(read something about quorum systems)
What problems or issues arose, and how did you attempt to resolve them?
- Burckhardt’s model is not so comprehensive as I thought,
started thinking of improvements
What is your plan for next week?
- continue integration of B’s model into survey
- read more about quorum systems
How does that fit into your long-term plan?
