書換え計算モデル論に基づく宣言型言語の並列性の解析および制御

点击翻译按钮获取中文摘要

先行研究で設計・実装を行なってきた宣言型言語(以下Lと呼ぶ)を、超並座計算環境下で稼動させるための評価・検討を行なった。この結果、次の2つの言語(以下L1とL2よぶ)の形で検討が進んでいる。言語L1は並列処理そのものの制御を目指して設計されている。この言語は関数・論理型言語をガード付き条件付き項書換え系として捉えることで得られた言語である。L1の計算機構は、この項書換え系を用いた条件付きナローイングである。この計算機構は計算の複雑度が高く、並列的な実装の考察に適さないので、これを形式的推論体系での推論として実装する。この推論体系は等式の列を対象とし6つの推論規則を持つ。これらの推論規則により、決定的な計算を優先して行なえるようになっている。こうすることで、プロセス数の爆発的な増加を避けることができる。現在は、L1の設計と推論体系の定義が終了した段階である。言語L2は、並列粒度の制御を十分に抽象度の高いアルゴリズムのレベルで行なおうとするものである、L2は基本的には関数型言語であるが、これに命令型言語の機能を付加して拡張している。粒度の制御は、各関数毎、アルゴリズム毎に明示的に記述できる。また並列して動作するプロセス間の同期は、要求駆動とデータ駆動の両方によって行なうことができるように設計している。L1と同様に、言語処理系を作るためにはL2の操作的な計算モデルを設計する必要がある。我々は、その操作的計算モデルを14個の推論規則を持った形式的体系で定義し、L2では並列計算がどのように行なわれるかを具体的に示した。