10 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…
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…
TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection
Qiyu Zhuang, Wei Lu, Shuang Liu +6
Achieving the serializable isolation level, regarded as the gold standard for transaction processing, is costly. Recent studies reveal that adjusting specific query patterns within…
GeoTP: Latency-aware Geo-Distributed Transaction Processing in Database Middlewares (Extended Version)
Qiyu Zhuang, Xinyue Shi, Shuang Liu +6
The widespread adoption of database middleware for supporting distributed transaction processing is prevalent in numerous applications, with heterogeneous data sources deployed acr…
Lion: Minimizing Distributed Transactions through Adaptive Replica Provision (Extended Version)
Qiushi Zheng, Zhanhao Zhao, Wei Lu +4
Distributed transaction processing often involves multiple rounds of cross-node communications, and therefore tends to be slow. To improve performance, existing approaches convert…