[论文解读] Robustness Against Read Committed for Transaction Templates with Functional Constraints

Brecht Vandevoort, Bas Ketsman+2 more|arXiv (Cornell University)|Jan 1, 2022

Distributed systems and fault tolerance参考文献 18被引用 9

一句话总结

本文通过引入函数约束（如外键）扩展事务模板，以提升对多版本读已提交（RC）隔离级别的鲁棒性分析。通过更精确地建模数据依赖关系，该方法在RC隔离下识别出更大规模的事务工作负载为鲁棒，从而在不牺牲可串行化性的情况下实现更高吞吐量。主要贡献在于：即使一般问题因循环依赖而不可判定，该方法仍提出了一个可判定且可 tractable 的RC隔离下带函数约束的鲁棒性检查片段。

ABSTRACT

The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput. Sometimes, transaction workloads can be safely executed under RC obtaining serializability at the lower cost of RC. Such workloads are said to be robust against RC. Previous work has yielded a tractable procedure for deciding robustness against RC for workloads generated by transaction programs modeled as transaction templates. An important insight of that work is that, by more accurately modeling transaction programs, we are able to recognize larger sets of workloads as robust. In this work, we increase the modeling power of transaction templates by extending them with functional constraints, which are useful for capturing data dependencies like foreign keys. We show that the incorporation of functional constraints can identify more workloads as robust that otherwise would not be. Even though we establish that the robustness problem becomes undecidable in its most general form, we show that various restrictions on functional constraints lead to decidable and even tractable fragments that can be used to model and test for robustness against RC for realistic scenarios.

研究动机与目标

• 为了解决先前事务模板模型无法表达外键等数据依赖关系的局限性。
• 探究在RC隔离下引入函数约束是否能够识别出更多事务工作负载为鲁棒，从而提升数据库吞吐量。
• 确定在引入函数约束后，RC隔离下鲁棒性的可判定性与复杂度边界。
• 为现实工作负载（如TPC-C和SmallBank基准）开发实用的决策过程。

提出的方法

• 扩展事务模板以支持函数约束，用于建模引用完整性与数据依赖关系，如外键关系。
• 提出一种形式化模型，其中事务在元组的字段上操作，U-操作将读取与写入合并为原子更新。
• 提出一种静态依赖图分析方法，用于检测RC隔离下导致非串行化调度的循环。
• 通过限制循环依赖并假设函数应用中具有函数行为（如双射），识别出可判定的片段。
• 建立复杂度边界：受限循环情况下为nlogspace，无环模式图情况下为expspace/pspace/exptime。
• 采用基于路径的分析与依赖图上的传递闭包，以检查RC下的危险循环。

实验结果

研究问题

• RQ1 在事务模板中引入函数约束，是否能够检测出比以往模型更大的工作负载鲁棒集合，以应对RC隔离？
• RQ2 引入函数约束后，RC隔离下鲁棒性的可判定性与复杂度边界是什么？
• RQ3 是否存在一类受限的函数约束，使得RC隔离下的鲁棒性变得可 tractable？
• RQ4 在实际应用中，函数约束在多大程度上减少了将R-操作提升为U-操作的需求？
• RQ5 所提出的框架能否对SmallBank和TPC-C等真实世界基准进行建模，并实现改进的鲁棒性检测？

主要发现

• 由于涉及循环函数依赖的Post Correspondence Problem的归约，带函数约束的RC隔离一般鲁棒性问题是不可判定的。
• 通过仅允许有限循环依赖并假设双射行为，可建立nlogspace的决策过程用于鲁棒性判断。
• 对于无环模式图，建立了expspace决策过程，且在实际限制下可简化为pspace和exptime。
• 该方法检测到的鲁棒工作负载比以往方法更多，尤其显著减少了将读操作提升为原子更新的需求。
• 该方法成功对SmallBank和TPC-C基准进行了建模，展示了实际适用性与更优的鲁棒性边界。
• 该框架支持对事务工作负载的离线静态分析，无需修改底层数据库系统，即可通过鲁棒性测试实现性能提升。