OSDI文章分享，论文（Cobra: Making Transactional Key-Value Stores Verifiably Serializable）的结构化文摘

最新推荐文章于 2025-12-31 19:19:25 发布

原创最新推荐文章于 2025-12-31 19:19:25 发布 · 245 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#操作系统 #内核 #黑盒测试 #数据库 #云服务

一分钟看懂操作系统顶会论文OSDI 专栏收录该内容

34 篇文章 ¥9.90 ¥99.00

订阅专栏

超级会员免费看

Cobra是一种针对事务性键值存储的系统，旨在实现对云数据库串行化的黑盒检查。它是首个结合了黑盒检测、串行化正确性验证，并能应对大规模在线事务处理工作负载的技术。面对解决搜索问题的计算复杂性，Cobra采用SMT求解器并引入新的技术，如有效性条件的新编码、硬件加速的剪枝输入和事务分段机制，以实现扩展性和垃圾收集。Cobra在客户端上仅带来适度开销，相比基线验证成本提高了10倍，并支持持续验证。该系统能够处理每秒2000笔交易，相当于每天17000万笔。

Authors:

Cheng Tan and Changgeng Zhao, NYU; Shuai Mu, Stony Brook University; Michael Walfish, NYU

Abstract:

Today’s cloud databases offer strong properties, including serializability, sometimes called the gold standard database correctness property. But cloud databases are complicated black boxes, running in a different administrative domain from their clients. Thus, clients might like to know whether the databases are meeting their contract. To that end, we introduce cobra; cobra applies to transactional key-value stores. It is the first system that combines (a) black-box checking, of (b) serializability, while (c) scaling to real-world online transactional process

了解本专栏