混合隔离级别下并发控制协议的语义一致性
Semantic Conformance of Concurrency Control Protocols under Mixed Isolation Levels
浏览论文内容
中文总结 AI 辅助
研究混合隔离级别下并发控制协议的语义一致性问题，通过开发形式语义框架\ourframework来解决，建立了结合两个和三个隔离级别的并发控制协议的语义一致性，证明了该框架的适用性。
中文摘要 AI 辅助
现代数据库系统广泛支持按事务的隔离级别，作为平衡一致性保证和性能的实用手段。然而，在这种混合隔离设置下，其并发控制协议是否正确实施预期的隔离保证仍很大程度上不清楚。本文通过开发一个用于混合隔离级别的形式语义框架\ourframework来解决这个语义一致性问题。我们通过建立两个并发控制协议的语义一致性来证明其适用性，一个协议结合了两个隔离级别，另一个结合了三个隔离级别。
英文摘要
Modern database systems widely support per-transaction isolation levels as a practical means of balancing consistency guarantees and performance. Yet, it remains largely unclear whether their concurrency control protocols correctly enforce the intended isolation guarantees under such mixed-isolation settings. In this paper, we address this semantic conformance question by developing \ourframework, a formal semantic framework for mixed isolation levels. We demonstrate its applicability by establishing the semantic conformance of two concurrency control protocols, one combining two isolation levels and the other three.
