[論文レビュー] IRPF90: a programming environment for high performance computing

Anthony Scemama|ArXiv.org|Sep 28, 2009

Parallel Computing and Optimization Techniques被引用数 3

ひとこと要約

IRPF90 は、関数型プログラミングパラダイムを用いて高性能計算を実現する Fortran 90 のプリプロセッサであり、関数呼び出しに基づく暗黙の {needs/needed by} 関係を用いて計算依存関係を自動で管理する。コードの複雑さを軽減し、保守性を向上させるとともに、パフォーマンスを向上させる。量子モンテカルロアプリケーションにおいて、最適化されたメモリアクセスと重複計算の削減により、1.6倍の高速化が実証された。

ABSTRACT

IRPF90 is a Fortran programming environment which helps the development of large Fortran codes. In Fortran programs, the programmer has to focus on the order of the instructions: before using a variable, the programmer has to be sure that it has already been computed in all possible situations. For large codes, it is common source of error. In IRPF90 most of the order of instructions is handled by the pre-processor, and an automatic mechanism guarantees that every entity is built before being used. This mechanism relies on the {needs/needed by} relations between the entities, which are built automatically. Codes written with IRPF90 execute often faster than Fortran programs, are faster to write and easier to maintain.

研究の動機と目的

• 命令型プログラミングの厳密な制御フローが原因で生じる大規模 Fortran HPC アプリケーションにおける複雑さと保守性の課題に対処する。
• 関数呼び出しに基づく暗黙の依存関係追跡により、計算の順序付けを自動化することで、プログラマーの負担を軽減する。
• 関数型プログラミングの原則を用いて、プログラミング構造を数学的定式化に一致させることで、コードの効率性と再利用性を向上させる。
• パフォーマンスを犠牲にすることなく、標準の HPC ライブラリや Fortran 90 コンパイラとのシームレスな統合を可能にする。
• チェックポイント機能や変数宣言の柔軟性といった高度な機能をサポートし、開発生産性を向上させる。

提案手法

• Python を基盤とするプリプロセッサを用い、IRPF90 ソースファイルを標準の Fortran 90 コードに変換する。
• 関数呼び出しに基づく暗黙の {needs/needed by} 関係を用いて、計算エンティティを依存関係木のノードとしてモデル化する。
• 依存関係木の深さ優先走査により計算を自動的に再順序付けし、使用前にすべての必要なエンティティが計算済みであることを保証する。
• 関数やサブルーチン内に任意の場所でローカル変数を宣言可能とし、プリプロセッサがそれらを標準の Fortran 互換性に合わせて先頭に移動させる。
• IRP_WRITE および IRP_READ などのキーワードを導入し、計算済みエンティティ値をディスクに永続化することで、チェックポイント機能を実装する。
• PROVIDE キーワードを用いて依存関係を明示的に定義し、特に反復処理やパフォーマンスチューニングの場面で有用である。

実験結果

リサーチクエスチョン

• RQ1 暗黙の計算依存関係管理を実行するプリプロセッサが、大規模 Fortran HPC コードの保守性と正しさを向上させられるか。
• RQ2 暗黙の依存関係管理は、科学的アプリケーションにおいてどの程度の重複計算の削減とパフォーマンス向上をもたらすか。
• RQ3 IRPF90 における関数型プログラミングモデルは、従来の命令型プログラミングに比べて、開発生産性とコードの明確さにおいてどのように差が現れるか。
• RQ4 IRPF90 のプリプロセッシングおよび依存関係管理によるランタイムオーバーヘッドは、手動最適化された Fortran コードと比較してどの程度か。
• RQ5 IRPF90 は、パフォーマンスやポータビリティを損なうことなく、チェックポイントやモジュラーなコード再利用といった高度な HPC 機能をサポートできるか。

主な発見

• 量子モンテカルロシミュレーションにおいて、IRPF90 で生成されたコードは、元の Fortran 実装と比較して 1.60 倍の高速化を達成し、CPU 時間は元の 62% にまで低下した。
• パフォーマンス向上の主な要因は、重複計算の削減と時間的局所性の向上であり、平均命令/サイクルは 1.47 から 1.81 に上昇した。
• プリプロセッサによる自動依存関係解消により、手動での順序付けの必要がなくなり、大規模プログラムにおけるコードの複雑さと論理エラーのリスクが低下した。
• 変数宣言を関数内に文脈に応じて配置できるようになり、コードの可読性が向上した。プリプロセッサが自動的に適切な位置に移動させる。
• IRPF90 プリプロセッサは、BLAS や LAPACK、MPI などの HPC ライブラリと完全に互換性を持つ標準の Fortran 90 コードを生成し、ポータビリティと相互運用性を確保した。
• IRP_WRITE および IRP_READ ステートメントを介して、コアロジックを変更せずに、状態の永続的保存と再読み込みが透明に実装された。