= Index = [[TitleIndex(CALプログラミング)]] = N体計算 = ここまでの説明を理解することで、最もシンプルなN体計算プログラムを作成できると思う。 具体的にはGRAPEなどと同じように、ホストから粒子の位置と質量をGPUに送り、GPU上で全粒子間で互いに及ぼし合う力を足しあわせて、結果として加速度を得るようなプログラムである。粒子間に働く力がニュートン重力の場合は、[http://galaxy.u-aizu.ac.jp/trac/note/attachment/wiki/CALによるGPUプログラミング/CAL200808.pdf 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); }}} nxとnyはそれぞれ、配列の添字の最大値を指定している。nxが最低次元である。よって、このAPIによりinputResで指定されるメモリ領域は"inputRes[ny][nx]"の大きさをもつ2次元配列データとなる。フォーマットとして、CAL_FORMAT_FLOAT_4を指定しているため、このデータは単精度浮動小数点であり、4つの要素を持つ。具体的には"float inputRes[ny][nx][4]"のような3次元の配列と同等である。ただし、実際のメモリ配列については連続しているとは限らない、下記参照。 こうする理由は、"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の場合、ボードの搭載メモリ量の制限値まで)になる。(この項詳しく調べる必要あり) = ホストとGPUの通信 =