Cobra - Making Transactional Key-Value Stores Verifiably Serializable
Explore a conference talk that delves into Cobra, a groundbreaking system designed to verify serializability in transactional key-value stores. Learn how this innovative approach combines black-box checking and scalability for real-world online transactional processing workloads. Discover the technical challenges faced in addressing the computationally expensive search problem and the novel techniques employed, including a new encoding of the validity condition, hardware acceleration for input pruning, and a transaction segmentation mechanism. Gain insights into Cobra's performance improvements, its ability to handle high transaction volumes, and its support for continuous verification. Understand the importance of serializability in cloud databases and how Cobra provides clients with assurance about database correctness in cloud environments.