処理を実行するプロセッサや、データの割り当てなどを記述する
必要が無い並列プログラミングモデルが存在する。このようなモデ
ルに基づく言語はプログラミングを容易にするが、コンパイル時に
決定しなければならない事項が増し、処理系の負担が増える。コン
パイラの実装上の問題として、並列再帰呼出の自動変換がある。
並列再帰はクイックソート等の分割統治法アルゴリズム等でよく
用いられる手法であるが、これを効率よく実行できるように変換で
きるコンパイラは少ない。
本発表では、この自動変換を効率よく行う手法を考案し、それを
紹介する。
Back