プログラム変換技術を活用する高性能科学技術計算向け高生産プログラミング環境

2022年度には、2021度までの作業を受け、メタプログラミング環境におけるログラミング変換を容易に記述するライブラリの充実化をほぼ完了した。具体的には、抽象構文木 (AST) に相当するオブジェクトを操作するための各種メンバ関数の整備を行なった。以上により、利用者が、種々のプログラム変換を定義するメタプログラムを記述する道具立てが整ったと言える。次に、主に手続きのインライン展開を対象とし、いくつかの研究グループと連携して、本フレームワークの評価を行なった。Fortran言語に特徴的な複雑な引数渡しや変数の有効範囲を解釈し、適切にインライン展開を適用できることは、コンパイラ基盤に基づく本フレームワークの特長の一つである。富岳では、アプリケーションの性能向上のために、最適化としてのインライン展開が重要であることがわかっている。本機能によりインライン展開を促進し、富岳向けアプリケーションの開発において大きな効果が期待できることに加え、富岳を含む多様な計算機環境に向けた最適化の実現にもつながる。また、さらに多様なプログラム変換、特に既存の変換を組み合わせて新しい変換を定義する手法の実現性と有効性に関する検討を開始した。

2022年度には、2021度までの作業を受け、メタプログラミング環境におけるログラミング変換を容易に記述するライブラリの充実化をほぼ完了した。具体的には、抽象構文木 (AST) に相当するオブジェクトを操作するための各種メンバ関数の整備を行なった。以上により、利用者が、種々のプログラム変換を定義するメタプログラムを記述する道具立てが整ったと言える。次に、主に手続きのインライン展開を対象とし、いくつかの研究グループと連携して、本フレームワークの評価を行なった。Fortran言語に特徴的な複雑な引数渡しや変数の有効範囲を解釈し、適切にインライン展開を適用できることは、コンパイラ基盤に基づく本フレームワークの特長の一つである。富岳では、アプリケーションの性能向上のために、最適化としてのインライン展開が重要であることがわかっている。本機能によりインライン展開を促進し、富岳向けアプリケーションの開発において大きな効果が期待できることに加え、富岳を含む多様な計算機環境に向けた最適化の実現にもつながる。また、さらに多様なプログラム変換、特に既存の変換を組み合わせて新しい変換を定義する手法の実現性と有効性に関する検討を開始した。