检测具有谓词读取的事务程序对多版本并发控制（MVRC）的鲁棒性
摘要：可靠事务问题围绕着决定在给定的工作负载下，低于可串行化的隔离级别是否足以保证串行化。本文提出了一种新的特征化方法来对抗隔离级别（多版本）读已提交的问题。它支持带有控制结构（循环和条件语句）以及插入、删除和谓词读取的事务程序，这些场景会触发幻读问题，在这个背景下很难进行分析。这种特征化方法基于图论，类似于数据库研究者和实践者熟悉的并发控制文献中已知的决策机制。我们通过实验证明，我们的特征化方法在能够识别更复杂的工作负载时推动了前沿。
作者：Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
论文ID：2302.08789
分类：Databases
分类简称：cs.DB
提交时间：2023-02-20