並列オブジェクト協調記述言語Produce/1の実装

概要

論文の詳細を見る
現在の並列オブジェクト指向言語は、オブジェクト間の協調動作を明示的に表現する手段を持っていない。そのため、オブジェクト指向で記述するとシステム全体がどのように動作するのか理解しづらいという問題が指摘されている。我々は、オブジェクト間の協調動作に関わるこのような問題を解決する1つの方法として、「プロデューサモデル」とそれを記述するための言語Produce/1を提案しているが、今回その処理系を開発した。 Produce/1の処理系は、Solaris2.3上で稼働するC++言語(プラスSolaris2.3マルチスレッドライプラリ呼び出し)へのトランスレータであり、C++言語とlex/yaccにより配述されている。アクタモデルでは、各オブジェクト群が「ネットワークトボロジの組み立てのための計算」と「メッセージ通信とそれに関わるオブジェクト内計算」を同じ枠組の中で行っていたため、システム全体の動作が理解しづらくなっていた。それに対し、Produce/1では、これら2つの計算を明確に分離して2階層の並列化を実現し、それぞれをプロデューサ・オブジェクトと俳優オブジェクトに役割分担させている。アクタモデルが「メッセージgoto文しかない計算モデル」だとすると、Produce/1は「メッセージトボロジが構造化された計算モデル」と考えることができる。通常の並列オブジェクト指向言語の処理系ではオブジェクト単位にスレッドを割り付けるのが一般的であるが、Produce/1の処理系では、「ボートメソッドが送信と受信の2つに明確に区分されている」「ネットワークトボロジの組み立てと実際のメッセージ発火が別々になっている」という言語仕様上の特長を生かして、送信/受信ボートメソッド単位にスレッドを割り付けている。そのため、粒度の細かい並列性が実現されている。
一般社団法人情報処理学会の論文
1996-01-26

並列オブジェクト協調記述言語Produce/1の実装

スポンサーリンク

概要

著者

関連論文

スポンサーリンク