serializability

  • Reading Group. Cobra: Making Transactional Key-Value Stores Verifiably Serializable.

    ยท

    Placeholder Icon

    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…

    Read More