密結合マルチプロセッサ上でのFGHC処理系の実現  [in Japanese] Implementing FGHC System on Tight-coupled Multiprocessor  [in Japanese]

本研究では密結合マルチプロセッサBalance 8000上でFGHCの処理系を作成し,その上でいくつかの評価プログラムを実行して性能評価を行なった。Balance 8000は32ビットマイクロプロセッサNS32032を要素プロセッサとして最大12台までバスにより結合できる。FGHC(Flat GHC)はGHCのサブセットであり,ガードにユーザ定義の述語が書けないという制約がある。それに加えて,本研究で実現したFGHC処理系では,実現を簡単にするため以下のような制約を加えている。・節の呼出しは上から下に逐次的に行なわれる。・受動部の実行は左から右に逐次的に行なわれる。