[論文レビュー] 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下で堅牢とされるトランザクションワークロードの集合をより大きく特定でき、スレーブリティを損なわずに高いスループットを実現できる。主な貢献は、関数的制約を含む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に対する堅牢性が扱いやすくなるものはあるか？
• RQ4 実際の運用では、R-操作をU-操作に昇格させる必要がどの程度減少するか？
• RQ5 提案されたフレームワークは、SmallBank や TPC-C のような実世界ベンチマークを、より良い堅牢性検出を伴ってモデル化できるか？

主な発見

• 関数的制約を含むRC下での一般堅牢性問題は、循環的関数的依存を含むポスト対応問題への還元により決定不能であることが判明した。
• 制限された循環的依存と全単射挙動の仮定を許容する断片では、nlogspace 決定手続きが可能である。
• 非循環的スキーマグラフでは、expspace 決定手続きが確立され、実用的制限のもとで ptime にまで簡略化可能である。
• 従来手法よりもより多くの堅牢ワークロードを同定でき、特にR-操作をU-操作に昇格させる必要が大幅に削減された。
• 本手法は SmallBank および TPC-C ベンチマークを成功裏にモデル化し、実用的適用可能性と向上した堅牢性の境界を示した。
• 本フレームワークは、下位のデータベースシステムを変更せずに、トランザクションワークロードのオフライン静的解析を可能にし、堅牢性テストによるパフォーマンス向上を実現した。