[論文レビュー] Analysis of Concurrent Lock-Free Hash Tries with Constant-Time Operations

Aleksandar Prokopec|arXiv (Cornell University)|Dec 27, 2017

Parallel Computing and Optimization Techniques参考文献 2被引用数 5

ひとこと要約

本稿では、O(1)の期待時間で検索、挿入、削除操作を実現するキャッシュデータ構造を拡張した同時実行可能でロックフリーなハッシュトリーの提案を行う。特定のトリーのレベルへのポインタの配列を維持することにより、ユニバーサルハッシュ関数の下で、キャッシュは探索深さを定数の期待時間に低減する。同時に、トランザクションおよびノード状態の管理を慎重に行うことで、線形化可能性とロックフリー性を保つ。

ABSTRACT

Ctrie is a scalable concurrent non-blocking dictionary data structure, with good cache locality, and non-blocking linearizable iterators. However, operations on most existing concurrent hash tries run in O(log n) time. In this technical report, we extend the standard concurrent hash-tries with an auxiliary data structure called a cache. The cache is essentially an array that stores pointers to a specific level of the hash trie. We analyze the performance implications of adding a cache, and prove that the running time of the basic operations becomes O(1).

研究の動機と目的

• 定数時間の操作を達成する同時実行可能でブロッキングのないハッシュトリーの設計を目的とする。
• 既存の同時実行ハッシュトリーにおけるO(log n)のパフォーマンスボトルネックを解消することを目的とする。
• 高速アクセスを可能にしつつ、強い整合性保証（線形化可能性）とロックフリー性を維持することを目的とする。
• ユニバーサルハッシュ関数の下でのキャッシュ・トリーの期待パフォーマンスを分析することを目的とする。
• キャッシュが期待される探索深さを定数に低減し、定数時間の操作を可能にすることを証明することを目的とする。

提案手法

• 各レベルℓでサイズ2^ℓ+1のキャッシュ配列を追加し、そのレベルのノードへのポインタを格納する。
• ユニバーサルハッシュ関数を用いてキーをレベルに分散させ、パフォーマンス解析のための均等な分布を確保する。
• CAS操作を用いて原子性を保証するトランザクションモデルを採用し、txnフィールドを用いて同時に更新を管理する。
• 挿入処理中のノード遷移（例：SNodeからANodeへの変更）を安全に処理するため、フリーズおよび拡張メカニズムを導入する。
• txnフィールドの到達可能性をチェックするキャッシュ検索メカニズムを採用；NoTxnの場合、直接キャッシュ値を返却する。
• 有限進捗性およびロックフリー性の証明のため、トランザクションおよび拡張ポテンシャル関数を適用する。

実験結果

リサーチクエスチョン

• RQ1 同時実行ハッシュトリーを設計し、基本操作の期待時間O(1)を達成できるか？
• RQ2 同時実行ハッシュトリーにキャッシュを追加しても、線形化可能性とロックフリー性が保たれるか？
• RQ3 ユニバーサルハッシュ関数の下で、キャッシュ・トリーにおけるキーの深さ分布の期待値はいかほどか？
• RQ4 トランザクションおよび拡張ポテンシャルは、同時に複数の操作が発生する状況でも有限の進捗を保証するか？
• RQ5 整合性を損なわせることなく、キャッシュされたポインタを用いた高速な検索および挿入処理を安全に実装できるか？

主な発見

• キャッシュ・トリーにおける検索、挿入、削除操作の期待実行時間は、キーの深さ分布の解析によりO(1)であることが証明された。
• n+1個のキーを持つキャッシュ・トリーにおいて、キーが深さdに配置される確率は、p(d,n) = (1−16−d−1)n − (1−16−d)n である。
• キャッシュにより、キーからルートまでの期待距離が定数に低減され、定数時間の操作が可能になった。
• トランザクション状態管理とCASベースの同期により、キャッシュ・トリーは線形化可能性とロックフリー性を維持している。
• 拡張およびフリーズ操作の使用により、ブロッキングやデッドロックを回避しながら安全にノード遷移が実現された。
• 理論的解析により、整合性の変更間のステップ数が有限であることが確認され、進捗性と正しさが保証された。