扩展Elle以处理具有重复值的事务工作负载
Extending Elle for Transaction Workloads with Duplicate Values
AI总结：
研究针对事务工作负载中重复值问题，通过引入细粒度依赖模型扩展Elle，建立方法的可靠性与完整性并实现原型，有效检测隔离错误且性能良好。
AI中文摘要：
Elle是应用最广泛的黑盒隔离验证器之一，它关键依赖唯一值假设进行可靠且高效的隔离验证。然而，具有重复值的事务工作负载在实际中很常见，许多隔离错误仅在其存在时才会出现。本文通过引入细粒度依赖模型扩展Elle以处理此类工作负载，该模型能对单个操作间的依赖进行推理。我们建立了方法的可靠性和完整性，并实现了原型。还展示了其在检测隔离错误方面的有效性和良好性能。
英文摘要：
Elle is one of the most widely adopted black-box isolation validators. It crucially relies on the unique-value assumption for sound and efficient isolation validation. Yet, transaction workloads with duplicate values are highly relevant in practice: they naturally arise in real database systems, and many isolation bugs manifest only in their presence. In this paper, we extend Elle to handle such workloads by introducing a fine-grained dependency model that enables reasoning about dependencies between individual operations. We establish the soundness and completeness of our approach and implement it in a prototype. We also demonstrate its effectiveness in detecting isolation bugs and its promising performance.
