PIEにおける並列論理型言語FLENGの実行方式

概要

論文の詳細を見る
高並列推論エンジンPIEはゴール書き換えモデルに基づき、論理型言語を高並列に実行する推論マシンである。現在迄のところ、PIEにおける並列実行は、OR並列を主体に検討が進められて来た。従って、現在のPIEのアーキテクチャそのままでは、GHCを始めとする並列AND論理型プログラミング言語を効率良く実行することは難しい。PIEにおいてGHC等を実行する場合、問題になるのは次の2点である。 (1)共有変数への効率的アクセスと負荷分散 (2)ゴール間の実行制御ここではまず上記の(1)についてソフトウェアシミュレーションにより評価、検討を行なうことにする。共有変数については、現在のPIEで用いられている集中型の構造メモリ(SM)を利用することも可能であるが、アクセスの集中等の問題が生じる可能性が大きいので、集中型に代わり分散型のSMを導入する。各SMは、単一化プロセッサ(UP)と対になっており、UPは対となっているSMに高速にアクセスすることができる。シミュレーションの対象とする言語については、GHCでは実行制御等の問題のために、(1)のみに対する評価が明確でなくなるので、ここでは実行制御を持たない並列言語FLENGを対象とすることにする。
一般社団法人情報処理学会の論文
1986-10-01

PIEにおける並列論理型言語FLENGの実行方式

スポンサーリンク

概要

著者

関連論文

スポンサーリンク