【テクニカル・上級編】Coarray Fortranの基本概念とイメージ(Image)の理解 – モダンFortran言語仕様と実践実践マスター

Coarray Fortranの真髄：分散メモリを「言語仕様」でねじ伏せる極限のメモリ配置戦略

我々がスパコンという巨大な計算資源を相手にする際、真っ先に直面するのは「メモリ・ウォール」だ。MPIを用いたメッセージパッシングは、昨今の数万コア規模のHPC環境において依然として強力だが、同期のコストと通信バッファの管理は、物理現象の解法そのものよりも多くの工数を奪う。

Fortran 2008で導入され、2018/2023で磨き抜かれたCoarray Fortran (CAF)は、単なる並列化の糖衣構文ではない。これは、コンパイラが「どのデータがどこにあるか」を型レベルで認識できる、唯一無二の並列プログラミングモデルだ。

CAFにおける「Image」とは、単純なプロセスではない。各Imageは独立したメモリ空間（メモリ・ドメイン）を持ち、`x[p]`という添字表記によって、他Imageのメモリへ直接アクセス（One-sided communication）を試みる。

しかし、ここが罠だ。「書けるから」といって安易に他Imageのデータを読み書きしてはならない。 現代のプロセッサにおいて、リモートメモリへのアクセスは、ローカルキャッシュのミスヒットとは桁違いのレイテンシを伴う。

CAFで最も避けるべきは、ループ内で頻繁に他Imageのデータを `sync all` を挟まずに参照することだ。

! 非推奨：高頻度のリモートアクセスはキャッシュを汚染し、インターコネクトを飽和させる
do i = 1, n
val = global_data[target_image]%array(i) ! 致命的なレイテンシ
end do

代わりに、必要なデータを一度ローカルメモリ（`allocatable`なコ配列の局所領域）にバースト転送し、計算はローカルのキャッシュライン上で完結させるべきだ。これは、Intel MPIやOpenSHMEMが裏で行う挙動を、言語仕様レベルで明示的に制御しているに等しい。

数万コア規模のスパコンでは、プロセス数をむやみに増やすことはメモリ消費と通信オーバーヘッドの観点から得策ではない。現在主流の戦略は、「ノード内はOpenMP（共有メモリ）、ノード間はCAF（分散メモリ）」というハイブリッドモデルだ。

ここで注意すべきは、NUMAノードを跨いだメモリ・アロケーションである。Fortranの `allocate` 命令は、デフォルトでは「最初に触れたスレッド」のノードにメモリを割り当てる（First-touch policy）。

! ノード内並列の定石：初期化も並列で行う
!$omp parallel do
do i = 1, n
local_array(i) = 0.0_dp
end do
!$omp end parallel do

この初期化を怠ると、計算フェーズに入った瞬間にリモートNUMAノードへのアクセスが多発し、性能が30%以上低下することは珍しくない。VTuneやScalascaを用いて、`Remote DRAM Accesses` がスパイクしていないか常に監視すべきだ。

F77時代の `common` ブロックや固定サイズ配列は、現代のコンパイラの最適化能力を著しく阻害する。特に、自動ベクトル化（SIMD）の観点から言えば、データの整列（Alignment）は必須だ。

もしあなたが大規模コードの移植を担当しているなら、以下のルールを徹底してほしい。

1. `common` を排除し、派生型（Derived Type）のコ配列へ移行せよ

2. `contiguous` 属性の活用

配列のポインタ渡しが必要な場合、`contiguous` を明示することで、コンパイラは「データの連続性」を確信し、SIMD命令をフル活用したループ展開を行う。

3. リンク時の挙動：`caf_mpi` ライブラリの直結

多くのコンパイラ（Intel, Cray, GNU）は、CAFのバックエンドにMPIやGASNetを利用している。リンク時に `-lcaf_mpi` 等のライブラリ依存関係を明示する際、コンパイラの最適化レポート（`-qopt-report` 等）を必ず確認し、インライン展開が阻害されていないかをチェックすること。

モダンFortranは、決して古い言語ではない。ハードウェアの進化、特にメモリハイアラキーの複雑化に対して、言語仕様側から「データの場所」を指示できる極めて洗練されたツールだ。

「とりあえず動く」コードから「ハードウェアの限界を引き出す」コードへ昇華させるには、ソースコードの行数ではなく、メモリコントローラのトラフィックと、インターコネクト上のパケット量を想像する力が必要だ。

CAFを使いこなすということは、分散するメモリ空間を一つの巨大な単一アドレス空間として制御する神の視点を持つことと同義である。さあ、次は貴方のコンパイラとプロファイラを戦場へ持ち込み、ボトルネックを徹底的に叩き潰してほしい。