自律系並列オブジェクト指向計算モデルに関する研究

自主并行面向对象计算模型研究

• 批准号: 07680334
• 负责人: 馬場 敬信
• 金额: $ 1.41万
• 依托单位: Utsunomiya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-07680334/
• 关键词: 並列オブジェクト指向; 計算モデル; 非同期処理

本年度行った研究の実績は次のとおりである。(1)宣言型同期機構の定義とA-NETL言語への組み込み複数メッセージの送受信、実行順序の指定、メソッド起動のロック、起動条件の指定などから成る宣言的な同期機構を定義し、これをA-NETL言語に組み込んだ。同時に設計した仕様に基づいて種々の非同期問題を記述することにより、定義の妥当性を検証した。(2)コンパイラ、OSなどの処理系の試作設計した言語の仕様に沿ってコンパイラを改訂した。同期機構のための実行時処理については、ユーザコードとOSコードにそれぞれ適切と思われる機能分散を行った。基本的には、簡単な処理はユーザコードで、重たい処理はトラップ命令によりOSに制御を移して行う。(3)実験による効果の測定定義した同期機構を用いて、種々の並列問題を記述するとともに、これをA-NETマシンシミュレーション上でシミュレーションすることにより、同期機構の効果を実験的に明らかにした。この結果、本機構によってユーザは非同期的な事象をそのまま自然な形でモデル化できる。その効果はスケーラブルで6〜17才オブジェクトに対して平均で20.6%、65オブジェクトに対して平均46.1%の実行時間の削減になる、などが判明し、同期機構の有効性が実験的に明らかになった。(4)成果の報告本研究の成果については、添付の文献におけるJSPPで発表するとともに、電子情報通信学会英文論文誌(IEICE)に投稿、掲載となった。また、関連する研究成果の報告を添付の文献リストに示すように行った。

今年的研究结果如下。 (1) 定义声明式同步机制并将其合并到A-NETL语言中定义声明式同步机制，包括发送和接收多个消息、指定执行顺序、锁定方法调用、指定调用条件等。合并到A-NETL中语言。通过根据同时设计的规范描述各种异步问题，验证了定义的有效性。 (2)编译器、操作系统等处理系统的原型设计 根据设计语言的规范对编译器进行了修改。关于同步机制的运行时处理，功能被适当地分配在用户代码和操作系统代码之间。基本上，简单的处理是由用户代码执行的，而繁重的处理是通过使用陷阱指令将控制权转移到操作系统来执行的。 (3)通过实验测量效果我们通过使用定义的同步机制描述各种并行问题并在A-NET机器仿真上进行模拟，实验性地阐明了同步机制的效果。因此，该机制允许用户以自然的方式对异步事件进行建模。同步机制的有效性经过实验证明，它具有可扩展性，对于 6 到 17 年之间的对象，执行时间平均减少了 20.6%，对于 65 个对象，执行时间平均减少了 46.1%。 （4）结果报告本研究结果在JSPP上以所附文件的形式提交，并提交并发表在电子信息与通信工程师学会英文期刊（IEICE）上。此外，相关研究成果也已报道，见附后的文献列表。

项目成果

Takanobu Baba: "A NETL: A Languge for Massively Parallel Object-Oriented Computin" Proc. 1995 Programming Models for Massively Paralkel.98-105 (1995)

Takanobu Baba：“NETL：大规模并行面向对象计算的语言”Proc。

Takanobu Baba: "A Declarative Synchnouization Mechanism for Parallil Object-Oriented Computation" IEICE Trans. on Information and Systems. E-78,No.8. 969-981 (1995)

Takanobu Baba：“用于并行面向对象计算的声明式同步机制”IEICE Trans。

Takanobu Baba: "Programing and Debugging for Massive Parallelism: The Case for a Parallel Object-Orieuted Language A-NETL" Proc. Object-Based Paral and Disteib,Computation. (予定). (1996)

Takanobu Baba：“大规模并行编程和调试：并行面向对象语言 A-NETL”Proc。基于对象的 Paral 和 Disteib，计算（计划）。

馬場敬信: "並列オブジェクト指向計算のための宣言型同期機構" 並列処理シンポジウムJSPP'95. 289-265 (1995)

Takanobu Baba：“并行面向对象计算的声明性同步机制”并行处理研讨会 JSPP95 (1995)。

馬場,敬信: "メッセージパッシング型並列マシンに対する性能評価モデルの提案" 電子情報通信学会論文誌D-I. J78-D-I. 903-908 (1995)

Takanobu Baba：“消息传递并行机性能评估模型的提议”IEICE Transactions D-I 903-908 (1995)。