9 papers
Extending Elle for Transaction Workloads with Duplicate Values
Zhiheng Cai, Si Liu, Hengfeng Wei +1
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, transac…
Semantic Conformance of Concurrency Control Protocols under Mixed Isolation Levels
Qiuhuan Xiong, Hengfeng Wei, Si Liu +2
Modern database systems widely support per-transaction isolation levels as a practical means of balancing consistency guarantees and performance. Yet, it remains largely unclear wh…
Efficient Query Rewrite Rule Discovery via Standardized Enumeration and Learning-to-Rank(extend)
Yuan Zhang, Yuxing Chen, Yuekun Yu +5
Query rewriting is essential for database performance optimization, but existing automated rule enumeration methods suffer from exponential search spaces, severe redundancy, and po…
Fast Verification of Strong Database Isolation (Extended Version)
Zhiheng Cai, Si Liu, Hengfeng Wei +2
Strong isolation guarantees, such as serializability and snapshot isolation, are essential for maintaining data consistency and integrity in modern databases. Verifying whether a d…
TXSQL: Lock Optimizations Towards High Contented Workloads (Extended Version)
Donghui Wang, Yuxing Chen, Chengyao Jiang +10
Two-phase locking (2PL) is a fundamental and widely used concurrency control protocol. It regulates concurrent access to database data by following a specific sequence of acquiring…
Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
Hengfeng Wei, Jiang Xiao, Na Yang +4
Transactional isolation guarantees are crucial for database correctness. However, recent studies have uncovered numerous isolation bugs in production databases. The common black-bo…