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

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

• 批准号: 60210004
• 负责人: 米澤 明憲
• 金额: $ 1.15万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Special Project Research
• 财政年份: 1985
• 资助国家: 日本
• 起止时间: 1985 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-60210004/
• 关键词: オブジェクト指向; 並列計算; モデリング; 分散問題解決; プログラミング言語

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

Before the annual の research に よ り one 応 complete し て い る parallel オ ブ ジ ェ ク ト ABCL to words based に の な っ て い る parallel computing モ デ ル を 発 exhibition さ せ, new し い モ デ ル を constitute し た の が, ま ず our の research の 1 つ で あ る. こ の モ デ ル で は, various オ ブ ジ ェ ク ト は, 3 つ の モ ー ド, active (active) モ ー ド, resting (dounant) モ ー ド, お よ び standby モ ー ド (uaifing) の う ち ど れ か 1 つ を take る こ と が may で, そ れ ぞ れ の モ ー ド の import に よ り to the し た メ ッ セ ー ジ の 処 Richard が different な る. こ れ ら の モ ー ド の import に よ り, よ り natural な account が may に な る と と も に, こ れ ま ABCL で words に お い て セ マ ン テ ィ ク ス が clear で な か っ た part が remove さ れ た. こ の result, now (now), in the future (future) の メ ッ セ ー ジ の や り と り が, in the past (past type の や り と り に ring yuan で き る こ と が Jane 単 に shown せ る こ と に な り, こ の ring yuan さ れ た メ ッ セ ー ジ の や り と り に base づ く computing モ デ ル か ら, mathematics に よ り delicate な mean モ デ ル constitute へ の way Youdaoplaceholder0 opens けた. Youdaoplaceholder0. The above is the calculation of モデ ような on さらに に and the design of the ABCL/1を in the new <s:1> ような language た. は こ の words, parallel プ ロ グ ラ ミ ン グ words と し て in い る ば か り で な く, tied for sexual を つ others 々 な シ ス テ ム の モ デ リ ン グ や シ ミ ュ レ ー シ ョ ン に も optimum す る よ う に consider さ れ て い る. こ の words の main た る, 徴 は, メ ッ セ ー ジ standby モ ー ド に お け る to the メ ッ セ ー ジ の sentaku acceptance の account, usually の メ ッ セ ー ジ sent trusted モ ー ド に plus え て new た に import さ れ た velocity (expvess) モ ー ド な ど が あ る.

项目成果

東工大情報科学科リサーチレポートC-75. (1986)

东京工业大学信息科学研究报告 C-75 (1986)。

東工大情報科学科リサーチレポートC-76. (1986)

东京工业大学信息科学研究报告 C-76 (1986)。