| 研究課題/領域番号 |
60210004
|
|---|
| 研究種目 |
特定研究
|
| 配分区分 | 補助金 |
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
米澤 明憲 東京工業大学, 理, 助教授 (00133116)
|
|---|
| 研究期間 (年度) |
1985
|
| 研究課題ステータス |
完了 (1985年度)
|
| 配分額 *注記 |
1,800千円 (直接経費: 1,800千円)
1985年度: 1,800千円 (直接経費: 1,800千円)
|
|---|
| キーワード | オブジェクト指向 / 並列計算 / モデリング / 分散問題解決 / プログラミング言語 |
|---|
| 研究概要 |
前年度の研究により一応完成している並列オブジェクト指向言語ABCLの基礎になっている並列計算モデルを発展させ、新しいモデルを構成したのが、まず今年度の研究成果の1つである。このモデルでは、各オブジェクトは、3つのモード、活性(active)モード、休止(dounant)モード、および待機モード(uaifing)のうちどれか1つを取ることが可能で、それぞれのモードの導入により到着したメッセージの処理が異なる。これらのモードの導入により、より自然な記述が可能になるとともに、これまで、ABCL言語においてセマンティクスが明確でなかった部分が除去された。この結果、現在(now)型、未来(future)型のメッセージのやりとりが、過去(past型のやりとりに環元できることが簡単に示せることになり、この環元されたメッセージのやりとりに基づく計算モデルから、数学的により精致な意味モデル構成への道が開けた。
さらに、以上のような計算モデルの上に、新しい言語ABCL/1を設計した。この言語は、並列プログラミング言語として用いるばかりでなく、並列性を持つ様々なシステムのモデリングやシミュレーションにも適するように考慮されている。この言語の主たる特徴は、メッセージ待機モードにおける到着メッセージの選択的受理の記述、通常のメッセージ送受信モードに加えて新たに導入された速達(expvess)モードなどがある。
|
