wiki:CALプログラミング(4)

Version 19 (modified by nakasato, 16 years ago) (diff)

--

Index

N体計算

ここまでの説明を理解することで、最もシンプルなN体計算プログラムを作成できると思う。

具体的にはGRAPEなどと同じように、ホストから粒子の位置と質量をGPUに送り、GPU上で全粒子間で互いに及ぼし合う力を足しあわせて、結果として加速度を得るようなプログラムである。粒子間に働く力がニュートン重力の場合は、CAL200808.pdf (60ページ以降)で説明しているIL kernelプログラムとなる。ループの部分のみを再掲すると、以下のようなものである。

 1  whileloop
 2    ige r88.x___, r100.x, r77.x
 3    break_logicalnz r88.x
 4    sample_resource(0)_sampler(0) r0, r2
 5    sub r5.xyz, r0.xyz, r4.xyz
 6    dp4 r6, r5, r5
 7    rsq r7, r6
 9    mul r8, r7, r7.xyz1
10    mul r8, r8, r7.xyz1
11    mul r9, r8, r5.xyz1
12    mad r3, r9, r0.w, r3
13    add r2.x___, r2.x, l1.x
14    iadd r100.x___, r100.x, l0.z
15    umod r101.x, r100.x, r77.y
16    if_logicalz r101.x
17      add r2.0y, r2.0y, l1.x
18    endif
19  endloop

2粒子間の重力の計算をおこなっている部分は5-12行である。データ構造の定義の詳細についてはファイルを参照のこと。

このILプログラムは、基本構造は(3)と同じであるが、ポインタ変数(ここではr2.xy)の処理が異なる。なぜかというと、粒子の座標が格納されているid = 0のリソースは2次元のメモリとして指定、確保されているからである。具体的には、ホスト側のプログラムで以下のようにメモリの確保をおこなった:

  calResAllocLocal2D(&inputRes, device, nx, ny,  CAL_FORMAT_FLOAT_4, 0);

こうする理由は、"calResAllocLocal1D"により1次元のメモリとして確保した場合、その次元の最大値は8192までという制限があるためである。よって、上のILプログラムの場合には、1粒子のデータとして4要素のfloatと変数を使っているので、1次元メモリで単純にN体計算を実装すると8192粒子までの粒子しか扱うことができない。これでは実用的な価値がなく、実際にベンチマークテストをしてみると、この粒子数ではRV770の性能を引き出すことができない。

2次元配列

2次元のメモリからデータを読み出すには、(3)では無視してきた読み込みポインタのy成分を適切にアップデートすればよい。上のILプログラムでは、13-18行の部分でその処理をおこなっている。

繰り返しになるが、読み込みポインタとデータの対応関係は:

v0.xy = {0.0, 0.0} ---> res0[0][0]
v0.xy = {1.0, 0.0} ---> res0[0][1]
v0.xy = {2.0, 0.0} ---> res0[0][2]
 ...
v0.xy = {0.0, 1.0} ---> res0[1][0]
v0.xy = {1.0, 1.0} ---> res0[1][1]
v0.xy = {2.0, 1.0} ---> res0[2][1]
 ...

のようになっている。

それを踏まえて13-18行をC言語に翻訳してみると、処理内容が理解できると思う:

  r2.x = r2.x + l1.x;
  r100.x = r100.x + l0.z;
  if (r100.x % r77.y == 0) {
    r2.x = 0.0;
    r2.y = r2.y + l1.x;
  }

変数の意味と定数の値はそれぞれ以下のとおり:

r2.xy 配列読み込みのポインタ
!l1.x 浮動小数点定数 1.0
r100.x ループカウンター 整数
!l0.z 整数定数 1
r77.y 整数定数 配列の最下位次元の大きさ 256

r77.yの意味について補足すると、256になるのは、id = 0のメモリが"res0[256][256]"として宣言されているからである。

よってILプログラムのこの部分は、2次元配列のポインタ演算をおこなっているのと同等である。細かく説明すると、r2.x(1次元目の添え字に対応)が0から1ずつ増えていき、256に等しくなったたら、それを0にクリアし、r2.y(2次元目の添え字に対応)をインクリメントしている。 この13-18行を基にすることで、任意のサイズの2次元配列のランダムアクセスが可能であることがわかると思う。このILプログラムの場合、アクセスパターンが一定でありバースト的なため、GPUの内部構造に(特にキャッシュ機構)に適しており、非常に高速に動作する。一方、もしランダムアクセスを実装すると、メモリ読み込みのレイテンシーがパフォーマンスの問題となる可能性がある。

"calResAllocLocal2D"または"calResAllocRemote2D"で確保した場合でも、それぞれの次元でのサイズの最大値は8192と思われる。よって、ひとつのメモリ領域に割り当て可能な最大メモリ量は、256M個のfloat変数(またはLocalの場合、ボードの搭載メモリ量の制限値まで)になる。(この項詳しく調べる必要あり)