ACTORモデルによる分散並列型問題解決方式の研究

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

前年度の研究により一応完成している並列オブジェクト指向言語ABCLの基礎になっている並列計算モデルを発展させ、新しいモデルを構成したのが、まず今年度の研究成果の1つである。このモデルでは、各オブジェクトは、3つのモード、活性(active)モード、休止(dounant)モード、および待機モード(uaifing)のうちどれか1つを取ることが可能で、それぞれのモードの導入により到着したメッセージの処理が異なる。これらのモードの導入により、より自然な記述が可能になるとともに、これまで、ABCL言語においてセマンティクスが明確でなかった部分が除去された。この結果、現在(now)型、未来(future)型のメッセージのやりとりが、過去(past型のやりとりに環元できることが簡単に示せることになり、この環元されたメッセージのやりとりに基づく計算モデルから、数学的により精致な意味モデル構成への道が開けた。さらに、以上のような計算モデルの上に、新しい言語ABCL/1を設計した。この言語は、並列プログラミング言語として用いるばかりでなく、並列性を持つ様々なシステムのモデリングやシミュレーションにも適するように考慮されている。この言語の主たる特徴は、メッセージ待機モードにおける到着メッセージの選択的受理の記述、通常のメッセージ送受信モードに加えて新たに導入された速達(expvess)モードなどがある。