[論文レビュー] Oze: Decentralized Graph-based Concurrency Control for Long-running Update Transactions (Extended Version)

Jun Nemoto, Takashi Kambayashi+2 more|arXiv (Cornell University)|Oct 9, 2022

Distributed systems and fault tolerance被引用数 4

ひとこと要約

Ozeは、正確なマルチバージョンシリアル化グラフを用いる分散型のグラフベース分散制御プロトコルであり、長時間実行の更新トランザクションに対してゼロアボートレートを実現するとともに、多様なワークロード下で短時間トランザクションで最大170万 tpm のスループットを達成する。これは、コア間でグラフ管理を分散化し、誤検出を最小限に抑えるために広大なスケジューリング空間を活用することで実現される。

ABSTRACT

This paper proposes Oze, a concurrency control protocol that handles heterogeneous workloads, including long-running update transactions. Oze explores a large scheduling space using a multi-version serialization graph to reduce false positives. Oze manages the graph in a decentralized manner to exploit many cores in modern servers. We further propose an OLTP benchmark, BoMB (Bill of Materials Benchmark), based on a use case in an actual manufacturing company. BoMB consists of one long-running update transaction and five short transactions that conflict with each other. Experiments using BoMB show that Oze can handle the long-running update transaction while achieving four orders of magnitude higher throughput than state-of-the-art optimistic and multi-version protocols and up to five times higher throughput than pessimistic protocols. We also show Oze performs comparably with existing techniques even in a typical OLTP workload, TPC-C, thanks to a protocol switching mechanism.

研究の動機と目的

• 高並列性を伴う実世界のOLTPワークロードにおいて、長時間実行の更新トランザクションをサポートする課題に対処すること。
• 動的環境下で、短時間で高頻度に実行されるトランザクションと競合する長時間実行のトランザクションのアボートレートを低減すること。
• 現代のマルチコアサーバー上で効率的にスケーリングするが、整合性を損なわない分散制御プロトコルを設計すること。
• Bill of Materials（BoM）の更新とコスト計算を含む実際の製造ワークロードを反映する、現実的なOLTPベンチマークBoMBを提案すること。
• 既存のプロトコルが、このようなワークロード下で長時間実行のトランザクションをコミットできなかったり、短時間トランザクションのパフォーマンスを著しく低下させることを実証すること。

提案手法

• Ozeは、広大なスケジューリング空間を探索し、シリアル化チェックにおける誤検出を低減するために、完全に正確なマルチバージョンシリアル化グラフ（MVSG）を用いる。
• MVSGの管理を複数のコアに分散させることで、現代のハードウェアにスケーリングし、ボトルネックを回避する。
• プロトコルは分散的にサイクル検出とバージョン順序付けを実行し、競合を最小限に抑え、スループットを向上させる。
• Ozeは、トランザクション間の書き込み依存関係を追跡するためのプロパゲーションメカニズムを採用し、長時間および短時間のトランザクション間で整合性を保証する。
• グラフの肥大化を管理するためのガベージコレクションを統合しているが、高い偏りが生じる状況では、グラフサイズの増大がパフォーマンスボトルネックとなる。
• 本システムは、1つの長時間実行の更新トランザクションと5つの競合する短時間トランザクションを含む、実際の製造ワークロードをモデル化した新しいベンチマークBoMBを用いて評価されている。

実験結果

リサーチクエスチョン

• RQ1 分散制御プロトコルは、多様なOLTPワークロード下で、長時間実行の更新トランザクションに対してゼロアボートを達成しつつ、短時間トランザクションのスループットを高く保てるか？
• RQ2 マルチバージョンシリアル化グラフの分散管理は、中央集権的またはオピニオン的アプローチと比較して、スケーラビリティと誤検出の低減にどのように寄与するか？
• RQ3 実世界のワークロードにおいて動的データ依存関係を伴う環境下で、既存のプロトコルが長時間実行の更新トランザクションをコミットできない程度に至るまでの程度はどの程度か？
• RQ4 ワークロードの偏りが、Ozeのようなグラフベース分散制御システムにおけるパフォーマンスとグラフサイズにどのように影響を与えるか？
• RQ5 BoMBのような新しいベンチマークは、長時間のコスト計算と頻繁な部品更新を含む実際の製造ワークロードの特性を的確に捉えられるか？

主な発見

• BoMBベンチマークにおいて、Ozeは高い競合状態下でも長時間実行の更新トランザクション（L1）に対してゼロアボートレートを達成した。
• Ozeは、複数コアにわたる近似的に線形のスケーリングを維持しながら、短時間トランザクションで最大170万 tpm のスループットを達成した。
• Silo、TicToc、MOCC、ERMIA、Cicadaといった既存のプロトコルはL1トランザクションをコミットできず、アボートレートが1％未満であった。
• 高い偏り（0.7以上）が生じる状況では、Ozeのグラフサイズが著しく増大し、スループットが1桁低下した。
• グラフサイズが拡大するに従い、Ozeにおけるプロパゲーションのオーバーヘッドが主なコスト要因となり、今後の研究において高度なガベージコレクションの導入が不可欠であることが示された。
• BoMBベンチマークは、動的BoM更新と相互依存するコスト計算を含む実際の製造ワークロードを的確に捉えていた。