Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification

作者：Zhiyong Wu, Jie Liang, Jingzhou Fu, Wenqian Deng, Yu Jiang · 年份：2025 · DOI：10.1145/3731569.3764841 · 被引用次数：2 · 研究领域：Software System Performance and Reliability、Cloud Computing and Resource Management、Distributed systems and fault tolerance

Data durability is a fundamental requirement in DBMSs, ensuring that committed data remains intact despite unexpected faults such as power failures. Despite its critical importance, implementations of durability and recovery mechanisms continue to exhibit flaws, leading to severe issues(e.g., data loss, data inconsistency), which we refer to as Data Durability Bugs (DDBs). However, there is a limited understanding of the characteristics and root causes of DDBs. Furthermore, existing testing methods(e.g., Mallory) are often inadequate for detecting DDBs, particularly those that cause data loss or data inconsistency following DBMS failures.