自動並列化機能は、ワークシェアリング構造 ( PARALLEL DO 宣言子) などの OpenMP* のいくつかのコンセプトを取り入れています。ワークシェアリング構造については、「OpenMP* によるプログラミング」を参照してください。ここでは、自動並列化について説明します。
ループは次の条件を満たす場合に並列化できます。
ループがコンパイル時にカウント可能な場合。つまり、ループの実行回数 (ループ反復回数) を表す式が、ループに入る直前に生成されることを意味しています。
FLOW (WRITE の後の READ)、OUTPUT (WRITE の後の WRITE)、または ANTI (READ の後の WRITE) ループ伝播のデータ依存性がない場合。同じメモリーの場所が、ループの異なる反復で参照されるときに、ループ伝播のデータ依存が起こります。コンパイラーの判断で、推測されたループ伝播の依存性がランタイム依存性のテストで解決されると、ループは並列化されることがあります。
コンパイラーは、コンパイル時に定数ではないループ・パラメーターを持つ parallel for ループで、実行するメリットを検証するためにランタイムテストを生成します。
自動パラレライザーの機能性と効率性を強化するコーディング・ガイドラインを次に示します。
自動並列化の処理では、コンパイラーは次のステップを実行します。
データフローの解析: プログラムを通してデータのフローを計算します。
ループの分類: しきい値解析で示されるように、正確さと効率に基づいて並列化のループの候補を決定します。
依存性の解析: 各ループの入れ子で参照における依存性の解析を計算します。
高度な並列化: 依存性のグラフを解析し、並列で実行できるループを決定して、ランタイムの依存性を計算します。
データのパーティショニング: SHARED、PRIVATE、および FIRSTPRIVATE のアクセスのタイプに基づいて、データ参照とパーティションを検査します。
マルチスレッド・コードの生成: ループのパラメーターを修正し、スレッドタスクごとに入口/出口を生成して、スレッド生成と同期化の並列ランタイムルーチンへの呼び出しを生成します。