offload_transfer

構文

必須の指示節

• offload-parameter

• target ( target-name [ :target-number ] )

オプション指示節

• if-clause

• mandatory

• optional

• signal ( tag )

• status ( statusvarname )

• wait ( tag [, tag, ...] )

引数

必須の指示節

offload-parameter

ホストとターゲット間のプログラム変数とデータのコピーを制御します。 clause (節) は次のいずれかです。

in	ターゲット領域への入力に使用する変数。この値はターゲット領域が完了した後にターゲットからホストにコピーされません。 構文: in ( variable-ref [, variable-ref …] [ modifier[ , modifier… ] ] )
out	ターゲット領域の出力に使用する変数。ホストはこの変数をターゲットにコピーしません。 構文: out ( variable-ref [, variable-ref …] [ modifier[ , modifier… ] ] )
nocopy	以前のターゲットの実行から再利用される値、またはオフロードされたコードセクション内で使用される値を含む変数は、コピーを防ぐために nocopy 節にリストします。 構文: nocopy ( variable-ref [, variable-ref …] [ modifier[ , modifier… ] ] )

in または out 式 (後述の modifier の説明を参照) は、式が記述される文または節の前で評価されます。

宣言からサイズが分かる配列変数は全体でコピーされます。 配列のサブセットを処理する場合、サブセットの開始要素へのポインターと element-count-expr を使用して配列のサブセットを転送します。

この引数の変数は次のとおりです。

variable-ref

次のいずれかです。 C/C++ 識別子。 variable-ref . identifier: この引数の変数には次の構文を使用します。 var : length ( l) var [ 0 : length ] array-slice: 1 つの連続する配列要素のセットを表す配列式です。

modifier

次のいずれかです。 align (expression): expression の値は 2 の累乗でなければなりません。 この修飾子はポインター変数に適用され、インテル® MIC アーキテクチャーで割り当てたポインターデータの最小アライメントに合わせます。 alloc (array-slice): array-slice は、割り当てが必要な配列要素のセットを指定します。 in/out 式で指定されたデータは、ターゲット上に割り当てられた配列の対応する部分に転送されます。詳細は、「部分配列の一部へのメモリー割り当て」を参照してください。 alloc_if (condition): condition は、in 節の割り当て変数に割り当てられているメモリーを割り当てるかどうかを制御するブーリアン論理条件を指定します。 式が TRUE と評価されると、節でリストされている各変数に新しいメモリーが割り当てられます。 条件が FALSE と評価されると、ターゲットにすでに割り当てられている値が再利用されます (データ保持)。 前のオフロードに対して free_if (0) 節を使用し、十分なサイズのメモリーブロックがターゲットの変数に割り当てられていることを確認する必要があります。 この修飾子のデフォルト設定は次のとおりです。 修飾子 デフォルト設定 in true inout true out true nocopy false free_if (condition): in 節の割り当て変数に割り当てたメモリーを解放するかどうかを制御するブーリアン論理条件を指定します。 条件が FALSE と評価されると、リストの各変数に割り当てられたメモリーに対する操作は行われません。 割り当てられたメモリーは後の節で再利用できます (データ保持)。 この修飾子のデフォルト設定は次のとおりです。 修飾子 デフォルト設定 in true inout true out true nocopy false 詳細は、「ポインター変数のメモリー割り当ての管理」を参照してください。 into (var-exp): var-exp は変数式です。 into 修飾子は、ホスト上の 1 つの変数からターゲット上の別の変数へ (またはその逆に) データを転送します。 この節を使用する場合、variable-ref では 1 つの項目のみ指定できます。 この節の引数には次の構文を使用します。 var : length (l) var [ 0 : length ] 詳細は、「1 つの変数から別の変数へのデータの移動」を参照してください。 length ( element-count-expr) element-count-expr は整数式で、ランタイムに計算されます。 次と一緒に使用します。 ポインター変数。 ホストとターゲットのメモリーアドレスが対応していないため、ポインター変数の値はホスト/ターゲットのインターフェイス間でコピーされません。 代わりに、ポインターが指すオブジェクトがターゲットに、またはターゲットからコピーされ、ポインター変数の値が更新されます。 デフォルトでは、単一要素がコピーされます。 element-count-expr を使用して、ポインターが指すデータとして見なすポインター型の要素の数を指定できます。 式の値が 0 または負の場合、ランタイムエラーが発生します。 可変長配列。 element-count-expr は、ホストとターゲット間でコピーする要素の数を指定します。 into (var-exp): var-exp は変数式です。 into 修飾子は、ホスト上の 1 つの変数からターゲット上の変数へ (またはその逆に) データを転送します。 into 修飾子を使用する場合、variable-ref では 1 つの項目のみ指定できます。 この引数の変数には次の構文を使用します。 var : length (l) var [ 0 : length ] 詳細は、「1 つの変数から別の変数へのデータの移動」を参照してください。

target ( target-name [ :target-number ])

target-name はターゲットを表します。 インテル® Xeon Phi™ 製品の場合は mic を使用します。

target-number は signal 節と wait 節に必須です。target-number は整数式です。値は次のように解釈されます。

>=0

次の式に応じて、文を特定のターゲット上で実行します。

target = target-number % number_of_targets

例えば、4 つのターゲットを搭載したシステムの場合:

• 2 または 6 を指定すると、ランタイムシステムはターゲット 2 でコードを実行します (2 % 4 と 6 % 4 はどちらも 2 になるため)。

• 1000 を指定すると、ランタイムシステムはターゲット 0 でコードを実行します (1000 % 4 = 0 になるため)。

-1 または値なし

文をランタイムシステムによって選択されたターゲット上で実行します。

<= -1

予約済み。

target-number は signal 節と wait 節に必須です。

ターゲットが利用できない場合、optional 節を一緒に指定しない限り、プログラムは実行に失敗してエラーメッセージを出力します。optional 節は、ターゲットが利用できないときに文をホストで実行します。

オプション指示節

if-clause

ブーリアン式。

式の評価結果	動作
true	文はターゲットで実行されます。
false	文はホストで実行されます。if-clause と signal 節あるいは wait 節を一緒に使用した場合の動作は不定です。

注

この節を使用してオフロードを有効にするかどうかを制御します。関連するオフロード文がすべて有効または無効になるように、関連するプラグマでこの節を適切に使用してください。

mandatory

ターゲットで実行する必要がある場合に指定します。ホストで実行することはできません。

ターゲット・ハードウェアが利用できない場合にプログラムの実行を継続するには、statusvarname 変数を初期化して、このプラグマで status ( statusvarname ) 節を指定します。「説明」セクションで状態変数の初期化方法と設定可能な値について説明します。

optional 節を指定しないと、この節を指定した場合と同じになります。この節を明示的に指定することで、暗黙のデフォルトを明確にすることができます。

optional

ターゲットでの実行を要求しますが、必須ではありません。ターゲットが利用できない場合にホストで実行するように指定します。

ターゲットではなく、ホストで文が実行された理由を確認するには、statusvarname 変数を初期化して、このプラグマで status ( statusvarname ) 節を指定します。「説明」セクションで状態変数の初期化方法と設定可能な値について説明します。

注

mandatory 節はこの節の逆です。そのため、同じプラグマでこの節と一緒に使用しないでください。

signal ( tag )

非同期データ転送または計算処理のハンドルとなります。演算はオフロードで処理され、ホストでプラグマ以降のコードを実行中に out 節によりオフロードから結果が返されます。この節がない場合、オフロード全体と関連するデータ転送は同期して実行されます。ホストは、プラグマが完了するまでそれ以降のコードを実行しません。

tag は、ポインターのサイズ値をベースライン言語で表現したもので、非同期データ転送または計算処理のハンドルとして使用されます。

注

この節を使用する場合、target 節で 0 以上の target-number を指定します。

status ( statusvarname )

オフロード構造の実行状態を特定します。statusvarname 変数には、実行状態を示す値が含まれます。「説明」セクションで状態変数の初期化方法と設定可能な値について説明します。

optional 節と一緒に使用し、ターゲットが利用できない場合、ターゲットで実行される文は代わりにホストで実行されます。

mandatory 節と一緒に使用し、ターゲットが利用できない場合、ターゲットで実行される文は無視され、プログラムは実行を継続します。文が無視されたり、ホストで実行された理由を確認するには、この変数の値を調べます。

wait ( tag [, tag, ...] )

開始した非同期データ転送または非同期計算を待つ場合に指定します。

tag は、ポインターのサイズ値をベースライン言語で表現したものです。signal 節と同じ表現の値が使用され、開始した非同期処理 (非同期データ転送または非同期計算) のハンドルとして使用されます。

注

この節を使用する場合、target 節で 0 以上の target-number を指定します。

シグナルが開始される前にシグナルを照会すると、未定義の動作を引き起こし、アプリケーションはランタイムアボートします。例えば、target:1 で開始されたシグナルを target:0 で照会すると、シグナルは target:1 で開始されているため、target:0 に関連付けられたシグナルはなく、アプリケーションはランタイムアボートします。

説明

このプラグマは、非同期データ転送を開始し、同期データ転送を開始して完了します。

プラグマに続く文は、ターゲットが利用可能な場合、ターゲットで実行されます。ターゲットが利用できない場合、optional、mandatory、および status (statusvarname ) 節により文の実行方法が決定されます。

statusvarname 状態変数を初期化するには、OFFLOAD_STATUS_INIT(statusvarname) マクロを使用します。状態変数の値は offload.h で定義されています。設定可能な値は次のとおりです。

例

このプラグマの使用方法を次に示します。

次の例は、2 つの異なるプラグマを使用して、ターゲットとホストからデータを非同期に受け取ります。offload_target プラグマはデータ転送を開始し、offload_transfer プラグマはデータ転送が完了するのを待機します。

01   const int N = 4086;
02   float *f1, *f2;
03   f1 = (float *)memalign(64, N*sizeof(float)); 
04   f2 = (float *)memalign(64, N*sizeof(float));
...

10   // ホストは入力同期として f1 を送信
11   // 出力は f2 にあるが直ちに必要ではない
12   #pragma offload target (mic:0) signal(f2) \
13                          in(  f1 : length(N) ) \
14                          nocopy( f2 : length(N) ) signal(f2)
15   {
16        foo(N, f1, f2);
17   }
..
20   #pragma offload_transfer (mic:0) wait(f2) \
                     out( f2 : length(N) alloc_if(0) free_if(1))
21   
22   // ホストは f2 の結果を使用可能
23 

次の例は、オフロードの入力をダブルバッファーにしています。

#pragma offload_attribute(push, target(mic))
int count = 25000000;
int iter = 10;
float *in1, *out1;
float *in2, *out2;
#pragma offload_attribute(pop)


void do_async_in()
{
      int i;
      #pragma offload_transfer target(mic:0) in(in1: length(count) alloc_if(0) free_if(0) ) signal(in1)
      for (i=0; i<iter; i++)
      {
            if (i%2 == 0) {
                  #pragma offload_transfer target(mic:0) if(i!=iter-1) in(in2 : length(count) alloc_if(0) free_if(0) ) signal(in2)
                  #pragma offload target(mic:0) nocopy(in1) wait(in1) out(out1: length(count) alloc_if(0) free_if(0) )
                  compute(in1, out1);
            } else {
                  #pragma offload_transfer target(mic:0) if(i!=iter-1) in(in1: length(count) alloc_if(0) free_if(0) ) signal(in1)
                  #pragma offload target(mic:0) nocopy(in2) wait(in2) out(out2 : length(count) alloc_if(0) free_if(0) )
                  compute(in2, out2);
            }
      }
}