関数型言語Validへの並列オブジェクト指向プログラミング機能の導入

概要

論文の詳細を見る
知識処理など高度の情報処理システムとして、並列協調型処理システムが有望視されている。並列協調処理システムとは、多数の処理体が互いにメッセージをかわして自律的に動作し、協調して問題を解くようなシステムのことである。メッセージ交換に基づくモデルとしてactorモデルが提案されており、またさまざまな並列オブジェクト指向プログラミングが提案されている。我々は前述のようなメッセージフローシステムを実現するには、データフローの概念を基礎におく計算機方式が有効であると考えDatarolアーキテクチャを提案している。データフロー・メカニズムにより処理体間の並列性だけでなく、処理体内の並列性も利用することができる。我々は、現在データフロー用関数型書語Validを用いてプログラムを書き、それをDatarolプロセッサ用のコードにコンパイルしている。本論文では、並列協調型の問題の解決法を記述するため、我々が用いている関数型言語Validに並列オブジェクト指向の概念を導入することについて考察する。
一般社団法人情報処理学会の論文
1990-09-04