[論文レビュー] Unstructured Overlapping Mesh Distribution in Parallel

Matthew G. Knepley, Michael Lange+1 more|arXiv (Cornell University)|Jun 20, 2015

Computer Graphics and Visualization Techniques参考文献 10被引用数 7

ひとこと要約

本稿では、メッシュトポロジーを表すハッセ図（有向無閉路グラフ）を用いて、非構造的で重複するメッシュの並列分散を統一的・抽象的に扱うフレームワークを提示する。メッシュ要素と隣接関係をコーンおよびサポート演算によってモデル化することで、スケーラブルで汎用的なアルゴリズムが可能となり、異種メッシュ間でメッシュ分割、負荷均衡、重複生成、データ分散を実現する。本手法は理論的にも妥当であり、PETScにおける実験的にも効率的であることが確認された。

ABSTRACT

We present a simple mathematical framework and API for parallel mesh and data distribution, load balancing, and overlap generation. It relies on viewing the mesh as a Hasse diagram, abstracting away information such as cell shape, dimension, and coordinates. The high level of abstraction makes our interface both concise and powerful, as the same algorithm applies to any representable mesh, such as hybrid meshes, meshes embedded in higher dimension, and overlapped meshes in parallel. We present evidence, both theoretical and experimental, that the algorithms are scalable and efficient. A working implementation can be found in the latest release of the PETSc libraries.

研究の動機と目的

• 複数のメッシュタイプやデータレイアウトを別々に処理する既存のメッシュ管理ライブラリにおける複雑さと再利用性の欠如を解消すること。
• ハイブリッド、埋め込み、重複メッシュを統一する、汎用的で数学的に根拠のあるメッシュ表現の抽象化を構築すること。
• 多様なメッシュタイプにわたるメッシュ分割、分散、再均衡、重複生成のためのスケーラブルで再利用可能なアルゴリズムを可能にすること。
• スパースな通信構造（例：スターフォレスト）を用いて、データ分散と重複管理を一つの合成可能なフレームワークに統合すること。
• 提案されたアルゴリズムの理論的・実験的スケーラビリティを、生産用HPCライブラリ（PETSc）において示すこと。

提案手法

• メッシュをハッセ図（DAG）として表現し、点をノードとし、被覆関係（covering relation）を有向エッジとする。これにより、細胞の形状、次元、座標といった情報を抽象化する。
• コア演算を定義：cone(p) はインエッジ（先行要素）を、supp(p) はアウトエッジ（後続要素）を表し、それぞれの推移的閉包を cl(p) と st(p) で表す。
• 重複とデータ共有を1方向通信的にスケーラブルに表現するため、スターフォレスト（SF）データ構造を用いる。グローバル番号付けを回避する。
• 重複を生成する際、各プロセスにおける重複点のスターフォレストの閉包を収集することで、推移的閉包が保たれることを保証する。
• 局所的なデータ分散（PetscSFを介して）とメッシュ関係の代数的結合を用いて、グローバルな未知数番号付けを必要としない共有データレイアウトを生成する。
• すべての操作を局所的かつ合成可能に行い、スケーラブルな通信と負荷均衡を実現するため、既存のPETScインfraを活用する。

実験結果

リサーチクエスチョン

• RQ1 ハッセ図に基づく単一の抽象的数学的フレームワークは、多様な非構造的メッシュタイプにわたり、スケーラブルかつ効率的なメッシュ分散を実現できるか？
• RQ2 ローカル操作と最小限の通信のみを用いて、重複生成を正しくかつスケーラブルに行えるか？
• RQ3 データ分散とメッシュ分散を、共通の抽象化の下に統合することで、コードの複雑さを低減し、再利用性を高められるか？
• RQ4 提案されたアルゴリズムのメッシュ分割、負荷均衡、重複生成における理論的および実用的スケーラビリティはどの程度か？
• RQ5 同じアルゴリズムインターフェースをハイブリッド、埋め込み、重複メッシュに一貫して適用できる範囲はどの程度か？

主な発見

• ハッセ図抽象化により、ハイブリッド、埋め込み、重複メッシュを含むすべてのメッシュタイプに対して一貫したインターフェースが可能となり、コードの複雑さが低減され、保守性が向上した。
• 重複生成のための提案されたアルゴリズムは、推移的閉包操作によって局所メッシュの閉包性質を保証するため、証明可能に正しい。
• スケーラブルなパフォーマンスを達成しており、大規模並列システムにおける実験結果から、効率的な通信と負荷均衡が確認された。
• PetscSFによるデータ分散統合により、自由度のグローバル番号付けを必要とせず、効率的な1方向通信が実現された。
• フレームワークは正常に実装され、最新のPETScリリースに統合されており、生産環境での利用が可能であることが実証された。
• 本アプローチにより、PetscSF やセクションマップといった単純なプリミティブから、複雑なデータ分散を自動的かつ合成可能に構築できるようになった。