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

基于ACTOR模型的分布式并行问题求解方法研究

基本信息

批准号：
60210004
负责人：
米澤明憲
金额：
$ 1.15万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Special Project Research
财政年份：
1985
资助国家：
日本
起止时间：
1985 至无数据
项目状态：
已结题

项目摘要

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

今年研究的成果之一是开发了一个并行计算模型，该模型是去年通过研究完成的并行面向对象语言ABCL的基础，并构建了一个新模型。在此模型中，每个对象可以处于三种模式之一：主动、dounant 和 uaifing，并且每个对象可以采用三种模式之一：以不同方式处理消息。这些模式的引入允许更自然的描述，并消除了 ABCL 语言中以前不清楚的语义。因此，很容易证明当前类型和未来类型的消息交换可以简化为过去的类型交换，并且基于这种简化的消息交换的计算模型这为数学上更复杂的语义模型结构开辟了道路。，我们基于上述计算模型设计了一种新的语言ABCL/1。该语言被认为不仅适合用作并行编程语言，而且还适合对各种并行系统进行建模和仿真。该语言的主要特点是除了正常消息之外，还可以选择性地选择消息等待模式下的到达消息。发送/接收模式，还有新推出的快递（expvess）模式。