論理型言語向き並列計算機KPRのプロセス管理方式  [in Japanese] Process Management of a Logic Programming Language-Oriented Parallel Machine : KRR  [in Japanese]

KPRは、論理型言語プログラムの実行モデルとして我々が提案した「並列リダクションモデル」に基づいて設計された論理型言語向きマルチプロセッサ・システムである。KPRが対象とする言語はOR並列型の論理型言語であり、論理型言語の持つOR並列性は並列リダクション・モデルのO(Or)プロセスによって自然に実現されるが、AND並列性については、S(Stream)プロセスによって、疑似的に実現される。つまり、Sプロセスでは、節本体のAND関係にあるゴール列を逐次的に処理する。このとき、各ゴールの呼び出し(複数プロセスの起動)に対して一般には複数の解が返されるので、1つのゴール列を処理する過程では、複数プロセスのストリームが生成され、それらが見かけ上並列に実行される。本稿では、KPRのプロセス管理、特に、動的負荷分散方式とその問題点、および動的負荷分散を支援するKPRのハードウェア機構について述べる。