{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T04:41:34Z","timestamp":1773895294981,"version":"3.50.1"},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"12","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2024,8]]},"abstract":"<jats:p>Transactional isolation is critical to the functional correctness of database management systems (DBMSs). Much effort has recently been devoted to finding isolation bugs and validating isolation fulfilment in production DBMSs. However, there are still challenges that existing isolation checkers have not yet fully addressed. For instance, they may overlook bugs, incur high checking overhead, and return hard-to-understand counterexamples.<\/jats:p>\n          <jats:p>We present IsoVista, the first black-box isolation checking system that encompasses all the following features. It builds on faithful characterizations of a range of isolation levels, ensuring the absence of both false positives and missed bugs in collected DBMS execution histories. IsoVista exhibits superior checking efficiency, compared to the state-of-the-art, and visualizes violation scenarios, facilitating the understanding of bugs found. It also supports profiling and benchmarking the performance of isolation checkers under various workloads, assisting developers of both DBMSs and checkers. We showcase all these features through user-friendly interfaces.<\/jats:p>","DOI":"10.14778\/3685800.3685866","type":"journal-article","created":{"date-parts":[[2024,11,8]],"date-time":"2024-11-08T17:25:21Z","timestamp":1731086721000},"page":"4325-4328","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["IsoVista: Black-Box Checking Database Isolation Guarantees"],"prefix":"10.14778","volume":"17","author":[{"given":"Long","family":"Gu","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Si","family":"Liu","sequence":"additional","affiliation":[{"name":"ETH Zurich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiancheng","family":"Xing","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hengfeng","family":"Wei","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuxing","family":"Chen","sequence":"additional","affiliation":[{"name":"Tencent Inc."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Basin","sequence":"additional","affiliation":[{"name":"ETH Zurich"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,8]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Atul Adya. 1999. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. Ph.D. Dissertation. Massachusetts Institute of Technology."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360591"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3152396"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.14778\/3583140.3583145"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.14778\/3430915.3430918"},{"key":"e_1_2_1_6_1","volume-title":"Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels. Technical Report. https:\/\/github.com\/dracoooooo\/Plume.","author":"Liu Si","year":"2024","unstructured":"Si Liu, Long Gu, Hengfeng Wei, and David Basin. 2024. Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels. Technical Report. https:\/\/github.com\/dracoooooo\/Plume."},{"key":"e_1_2_1_7_1","volume-title":"Proc. ACM Manag. Data 2, 1, Article 9 (Mar","author":"Liu Si","year":"2024","unstructured":"Si Liu, Luca Multazzu, Hengfeng Wei, and David A. Basin. 2024. NOC-NOC: Towards Performance-optimal Distributed Transactions. Proc. ACM Manag. Data 2, 1, Article 9 (Mar 2024), 25 pages."},{"key":"e_1_2_1_8_1","volume-title":"Cobra: Making Transactional Key-Value Stores Verifiably Serializable. In OSDI '20","author":"Tan Cheng","year":"2020","unstructured":"Cheng Tan, Changgeng Zhao, Shuai Mu, and Michael Walfish. 2020. Cobra: Making Transactional Key-Value Stores Verifiably Serializable. In OSDI '20. 63--80."},{"key":"e_1_2_1_9_1","volume-title":"Viper: A Fast Snapshot Isolation Checker. In EuroSys '23","author":"Zhang Jian","year":"2023","unstructured":"Jian Zhang, Ye Ji, Shuai Mu, and Cheng Tan. 2023. Viper: A Fast Snapshot Isolation Checker. In EuroSys '23. 654--671."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3685800.3685866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T05:27:42Z","timestamp":1735622862000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3685800.3685866"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8]]},"references-count":9,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["10.14778\/3685800.3685866"],"URL":"https:\/\/doi.org\/10.14778\/3685800.3685866","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2024,8]]},"assertion":[{"value":"2024-11-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}