6.2 並列構文のスコープ宣言の規則

自動スコープ宣言では、コンパイラは、並列構文内の変数のスコープを決定する際に、この節で説明されている規則を適用します。

これらの規則は、OpenMP 仕様で暗黙にスコープ宣言される、ワークシェアリング DO または FOR ループのループインデックス変数などの変数には適用されません。

6.2.1 スカラー変数に関するスコープ宣言規則

並列構文内で参照され、暗黙に決まるか事前定義されたスコープを持たないスカラー変数を自動宣言する場合、コンパイラは、変数の使用を次の規則 PS1 - PS3 に対して順番に確認します。

• PS1: 並列領域内で変数を使用しても、その領域を実行するチーム内でスレッドに関するデータ競合状態が発生しない場合、その変数のスコープは SHARED と宣言されます。

• PS2: 並列領域を実行するすべてのスレッドで、変数が同じスレッドによる読み取りの前に常に書き込まれる場合、その変数のスコープは PRIVATE と宣言されます。変数が PRIVATE とスコープ宣言することが可能で、並列領域のあと、書き込みの前に読み取られ、構文が PARALLEL DO か PARALLEL SECTIONS のいずれかである場合、その変数のスコープは、LASTPRIVATE と宣言されます。

• PS3: 変数がコンパイラの認識可能な縮約処理で使用されている場合、その変数のスコープは、その特定の型を持つ REDUCTION と宣言されます。

6.2.2 配列に関するスコープ宣言規則

• PA1: 並列領域内で変数を使用しても、その領域を実行するチーム内でスレッドに関するデータ競合状態が発生しない場合、その配列のスコープは SHARED と宣言されます。