CLOTHO: directed test generation for weakly consistent database systems
Abstract
Relational database applications are notoriously difficult to test and debug. Concurrent execution of database transactions may violate complex structural invariants that constraint how changes to the contents of one (shared) table affect the contents of another. Simplifying the underlying concurrency model is one way to ameliorate the difficulty of understanding how concurrent accesses and updates can affect database state with respect to these sophisticated properties. Enforcing serializable execution of all transactions achieves this simplification, but it comes at a significant price in performance, especially at scale, where database state is often replicated to improve latency and availability.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 10, 2019
- Source ID
- 10.1145/3360543
Entities
People
- Benjamin Delaware
- Kartik Nagar
- Kia Rahmani
- Suresh Jagannathan
Organizations
- Air Force Research Laboratory
- National Science Foundation
- Purdue University