5 papers · 1 filter
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…
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…
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…
Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)
Hexu Li, Hengfeng Wei, Hongrong Ouyang +4
Serializability (SER) and snapshot isolation (SI) are widely used transactional isolation levels in database systems. The isolation checking problem asks whether a given execution…