[論文レビュー] Global Clock, Physical Time Order and Pending Period Analysis in Multiprocessor Systems

Yunji Chen, Tianshi Chen+1 more|ArXiv.org|Mar 29, 2009

Parallel Computing and Optimization Techniques参考文献 42被引用数 9

ひとこと要約

本稿では、グローバルクロックを用いたマルチプロセッサシステムにおける物理的時刻順序と保留期間解析を導入し、操作の一貫性のあるリアルタイムベースの部分順序を提供する。保留期間（操作が有効な時間間隔）を活用することで、メモリ一貫性やイベント順序付けといった複雑な検証問題を多項式時間の解法に還元し、完全なメモリ一貫性検証では $O(n^2C^p p)$、イベント順序付け問題では $O(nC^p p)$ の計算量を達成する。

ABSTRACT

In multiprocessor systems, various problems are treated with Lamport's logical clock and the resultant logical time orders between operations. However, one often needs to face the high complexities caused by the lack of logical time order information in practice. In this paper, we utilize the \emph{global clock} to infuse the so-called \emph{pending period} to each operation in a multiprocessor system, where the pending period is a time interval that contains the performed time of the operation. Further, we define the \emph{physical time order} for any two operations with disjoint pending periods. The physical time order is obeyed by any real execution in multiprocessor systems due to that it is part of the truly happened operation orders restricted by global clock, and it is then proven to be independent and consistent with traditional logical time orders. The above novel yet fundamental concepts enables new effective approaches for analyzing multiprocessor systems, which are named \emph{pending period analysis} as a whole. As a consequence of pending period analysis, many important problems of multiprocessor systems can be tackled effectively. As a significant application example, complete memory consistency verification, which was known as an NP-hard problem, can be solved with the complexity of $O(n^2)$ (where $n$ is the number of operations). Moreover, the two event ordering problems, which were proven to be Co-NP-Hard and NP-hard respectively, can both be solved with the time complexity of O(n) if restricted by pending period information.

研究の動機と目的

• 論理的時刻順序情報の不完全さに起因する、マルチプロセッサシステムにおけるメモリ一貫性およびイベント順序付けの検証における高い計算複雑性に対処すること。
• ラムポートの論理クロックの限界を克服し、実際の実行タイミングを反映するグローバルクロックに基づく物理的時刻順序を導入すること。
• 正確なタイムスタンプではなく時間間隔を用いることで、操作の順序を効率的に推論できる実用的なフレームワーク「保留期間解析」を構築すること。
• グローバルクロック同期から導かれる物理的時刻順序制約を活用することで、マルチプロセッサシステムにおける既知の難問の複雑性を低減すること。
• 産業的応用が可能な現実世界のマルチプロセッサシステムにおいて、スケーラブルかつ完全なメモリ一貫性およびイベント順序付けの検証を可能にすること。

提案手法

• 操作が有効な時間間隔としての保留期間を定義し、正確な実行時刻の緩和として機能させる。
• グローバルクロックタイムスタンプに基づき、重複しない保留期間を持つ操作間の部分順序として物理的時刻順序を導入する。
• 物理的時刻順序が従来の論理的時刻順序（例：プロセッサ順序、実行順序）と独立的かつ一貫していることを証明する。
• 可能な実行経路をモデル化するフロントイェールグラフを構築し、それを用いて必須発生関係および可能性のある発生関係を効率的に計算する。
• 割り当て解析を適用し、観測された操作の部分集合からのみ、すべての操作の保留期間を推論することで、観測のオーバーヘッドを低減する。
• 物理的時刻順序を論理的時刻順序と統合し、推論中の候補実行の空間を制約・短縮する。

実験結果

リサーチクエスチョン

• RQ1 マルチプロセッサシステムにおけるグローバルクロックを用いて、論理クロックを越えた一貫性のあるリアルタイムベースの操作部分順序を定義できるか？
• RQ2 操作のための柔軟な時間間隔（保留期間）をどのように活用することで、実実行における操作順序の分析を簡素化できるか？
• RQ3 物理的時刻順序は、完全なメモリ一貫性検証といったNP困難問題の複雑性をどの程度低減できるか？
• RQ4 Co-NP困難かつNP困難なイベント順序付け問題は、保留期間情報の制約下で効率的に解けるか？
• RQ5 物理的時刻順序と論理的時刻順序を統合することで、実行分析のスケーラビリティおよび正確性にどのような影響を与えるか？

主な発見

• 物理的時刻順序が従来の論理的時刻順序と独立的かつ一貫していることが証明され、リアルタイム実行分析の信頼性ある基盤を提供する。
• 保留期間解析により、完全なメモリ一貫性検証の時間計算量が $O(n^2C^p p)$ にまで低減され、NP困難性が顕著に軽減される。
• 従来はCo-NP困難かつNP困難であった2つのイベント順序付け問題が、保留期間情報の制約下では $O(nC^p p)$ 時間で解けるようになった。
• フロントイェールグラフモデルにより、$O(n_f + e_f)$ 時間で必須発生関係および可能性のある発生関係を効率的に計算可能であり、$n_f$ と $e_f$ はフロントイェールグラフのノードおよびエッジ数を表す。
• 割り当て解析により、観測対象の操作の一部の保留期間を観測するだけで、すべての操作の保留期間を推論可能であることが示された。
• 提案されたフレームワークは産業現場でも実際に適用され、実マルチプロセッサ検証タスクにおける実用的妥当性と性能向上を実証した。