[論文レビュー] Proust: A Design Space for Highly-Concurrent Transactional Data Structures

Thomas Dickerson, Paul Gazzillo+2 more|arXiv (Cornell University)|Feb 16, 2017

Distributed systems and fault tolerance参考文献 29被引用数 3

ひとこと要約

Proust は、操作の可換性を活用し、下位の STM システムと統合することで、最小限の誤検出衝突を伴って、既存のスレッドセーフな並列データ構造をトランザクション対応に変換するフレームワークを導入する。Proust は、ブースティングと予測の両方を一般化し、衝突抽象化と更新戦略の設計空間を提供することで、高い並列性を実現し、再利用可能な高品質なライブラリを再設計せずに利用可能にする。

ABSTRACT

Most STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions' read sets and write sets, an approach that often leads to false conflicts. A second is that existing data structures and libraries often need to be rewritten from scratch to support transactional conflict detection and rollback. This paper introduces Proust, a framework for the design and implementation of transactional data structures. Proust is designed to maximize re-use of existing well-engineered by providing transactional "wrappers" to make existing thread-safe concurrent data structures transactional. Proustian objects are also integrated with an underling STM system, allowing them to take advantage of well-engineered STM conflict detection mechanisms. Proust generalizes and unifies prior approaches such as boosting and predication.

研究の動機と目的

• 読み書きセットの追跡による STM システムの並列データ構造ライブラリサポートにおける誤検出衝突の制限を解消すること。
• トランザクションセマンティクスをサポートするために、既存のスレッドセーフなデータ構造を再設計せずに利用可能にする。
• ブースティングや予測といった先行手法を統一的かつ拡張可能な設計空間へ一般化すること。
• 誤検出衝突を最小限に抑えるトランザクションラッパーを提供することで、well-engineered な並列データ構造の再利用を可能にすること。
• 異なる STM やワークロードに適した、衝突解決と更新戦略に基づく、体系的なトランザクション API 選定手法を提供すること。

提案手法

• データ型における意味的衝突関係を、STM における具体的な衝突検出メカニズムにマッピングする衝突抽象化を定義する。
• 操作の可換性（対ごとの可換性または抽象状態要素の可換性として表現）を用いて、誤検出衝突を低減する基盤とする。
• 既存の STM システムと統合することで、その衝突検出およびロールバックメカニズムを活用し、再発明を回避する。
• 2つの更新戦略（即時ロールバック用の操作逆数と遅延再実行用のシャローコピー）をサポートし、メモ化された再実行などの最適化を実装する。
• SMT ソルバーや2段階ロックを用いた自動的または保守的な可換性の近似を提供することで、設計の複雑さを低減する。
• ScalaSTM にプロトタイプを実装し、さまざまな構成（例：即時／遅延、楽観的／悲観的）におけるパフォーランスとスケーラビリティを評価する。

実験結果

リサーチクエスチョン

• RQ1 既存のスレッドセーフな並列データ構造を、最小限の誤検出衝突でトランザクションオブジェクトにラップする方法は何か？
• RQ2 意味的衝突情報が一般の STM システムに統合されるための設計原則は何か？
• RQ3 衝突解決（楽観的／悲観的）と更新戦略（即時／遅延）の異なる組み合わせがパフォーマンスと正しさに与える影響は何か？
• RQ4 Proust は、予測のような特殊な STM 解決策と同等のパフォーマンスを達成できるか？ また、任意のデータ型をサポートできるか？
• RQ5 可換性関係を自動的に推論または近似することで、手動での指定をどれだけ低減できるか？

主な発見

• Proustian マップは、コンテンツが増加する環境下で、誤検出衝突が少ないため、従来の STM 実装よりも優れた性能を発揮する。特に最適化された更新戦略を用いる場合に顕著である。
• Eager/Optimistic 構成は CCSTM では完全に透過的ではないが、ベンチマークにおいて正しさの違反が観察されず、実用的な妥当性が示された。
• オブジェクトの更新レート（o）が高くなるとパフォーマンスが低下する。これは、ログ再実行コストが更新数に比例して増加するためであり、予測の位置ベース再実行とは異なり、その影響が顕著である。
• シャローコピーのメモ化により、最終状態の変更のみを再実行できるようになり、合成的更新ワークロードにおいて顕著なパフォーマンス向上が達成された。
• Proust は、予測のような特殊なアプローチと同等のスケーラビリティを達成しているが、集合やマップに限らず、より広範なデータ型への適用が可能である。
• Proust は、既存の並列データ構造ライブラリを再設計せずに再利用可能であり、開発コストを削減しながらも、高い並列性を維持できる。