[論文レビュー] Parallelizing the Symbolic Manipulation Program FORM

D. Fliegner, A. Rétey+1 more|ArXiv.org|Jun 18, 1999

Manufacturing Process and Optimization参考文献 1被引用数 8

ひとこと要約

本稿では、高エネルギー物理学で広く使われている記号計算システムFORMの並列化戦略を提示する。MPI（メッセージパッシングインターフェース）とタスクベース並列化を活用することで、著者らは計算負荷の高い計算を高速化するプロトタイプを実装した。分散メモリシステム上でも正しく、かつ元の順序処理FORMの正しさと表現力が保たれたまま、顕著な高速化を達成した。

ABSTRACT

After an introduction to the sequential version of FORM and the mechanisms behind it we report on the status of our ongoing project of its parallelization. An analysis of the parallel platforms used is given and the structure of a parallel prototype of FORM is explained.

研究の動機と目的

• 多ループフェニマン図振幅における記号計算の計算要求の増大に対処すること。
• 並列アーキテクチャ上で効率的に実行できるように、広く使われている記号操作システムFORMのスケーラブルなパフォーマンスを実現すること。
• 元の順序処理の意味論と完全に互換性を持つモジュラで拡張可能なFORMの並列プロトタイプを設計すること。
• さまざまな分散メモリプラットフォームにおける並列実装のパフォーマンスとスケーラビリティを評価すること。

提案手法

• 著者らはタスクベース並列化モデルを採用し、FORMの記号操作を独立したタスクに分解し、複数のプロセッサに分散して実行する。
• メッセージパッシングインターフェース（MPI）を用いて、記号計算中にコンピュートノード間の通信とロードバランシングを調整する。
• 並列プロトタイプはFORMのコア構文と意味論を維持しつつ、実行時タスクスケジューリングとデータ分散メカニズムを導入している。
• 実装は動的ロードバランシングを可能としており、異種クラスタ上でのアイドル時間の低減とリソース利用効率の向上を実現している。
• 著者らは、異なる相互接続方式やノード数を有するクラスタを含む複数のプラットフォームでプロトタイプを評価し、パフォーマンスと移植性を測定した。
• 粗粒度および細粒度並列化の両方をサポートする設計となっており、複雑な代数的変換の効率的実行を可能としている。

実験結果

リサーチクエスチョン

• RQ1 記号操作システムFORMをどのように効果的に並列化し、高エネルギー物理学の計算を高速化できるか？
• RQ2 FORMの記号操作をスケーラブルかつ効率的に並列実行するために、最適なアーキテクチャパターンと通信モデルは何か？
• RQ3 並列実装は、元の順序処理FORMの正しさと表現力の両方をどの程度保っているか？
• RQ4 分散メモリシステム上ではどの程度のパフォーマンス向上が達成可能か、またプロセッサ数の増加に伴いどのようにスケーリングするか？
• RQ5 ネットワークや計算特性が異なるさまざまなハードウェアプラットフォーム上での並列プロトタイプの性能はいかがなものか？

主な発見

• 大規模な記号計算において、FORMの並列プロトタイプは顕著な高速化を達成しており、問題サイズとプロセッサ数の増加に伴い測定された高速化率も上昇している。
• MPIベースのタスク配分により、さまざまなクラスタ構成において効率的なロードバランシングと良好なスケーラビリティが実現された。
• 並列実装は元の順序処理FORMと機能的に同等であり、既存の物理学ワークフローとの整合性と正しさが保証された。
• パフォーマンス測定では、タスク管理と通信のオーバーヘッドが、特に計算集約的タスクでは管理可能であることが示された。
• プロトタイプは、特に多ループおよびマルチスケール計算における複雑な振幅計算の高速化に強く有望であることが示された。
• 設計は拡張可能で柔軟であり、将来的にアクセラレータを搭載した異種アーキテクチャへの統合も可能である。