serializability
-
Reading Group. Cobra: Making Transactional Key-Value Stores Verifiably Serializable.
This Wednesday, we were talking about serializability checking of production databases. In particular, we looked at the recent OSDI’20 paper: “Cobra: Making Transactional Key-Value Stores Verifiably Serializable.” The paper explores the problem of verifying serializability in a black-box production system from a client point of view. This makes sense as serializability is an operational, client-observable…
Search
Recent Posts
- Murat and Aleksey Read Papers: “Cloudspecs: Cloud Hardware Evolution Through the Looking Glass”
- Murat and Aleksey Read Papers: “Rethinking the Cost of Distributed Caches for Datacenter Services”
- On Metastable Failures and Interactions Between Systems
- Murat and Aleksey Read Papers: “Barbarians at the Gate: How AI is Upending Systems Research”
- Academic Chat with Murat and Aleksey: 5 Cs of the Invisible Curriculum.
Categories
- One Page Summary (11)
- Other Thoughts (15)
- Paper Review and Summary (16)
- Pile of Eternal Rejections (2)
- Playing Around (14)
- Reading Group (104)
- RG Special Session (4)
- Teaching (2)