Computational Reflection in Object-Oriented Concurrent Computing and its Applications

面向对象并发计算中的计算反思及其应用

• 批准号: 01420045
• 负责人: YONEZAWA Akinori
• 金额: $ 7.55万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (A)
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 1991
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-01420045/
• 关键词: object-oriented concurrent computation; reflection; ABCL; R; R2; group wide reflection; discrete event simulation; Rbcl; inheritance abnormally; 並列計算; オブジェクト指向計算; プログラミング言語; 自己反映計算; ソウトウェア; ソフトウェア

1. An Object-oriented Concurrent Language ABCL/R which is able to describe reflective computation was designed and its preliminary implementation has been completed. [1]2. We leaned a new notion called "Group-Wide Reflection" which is the reflective capability for a group of concurrent objects as a whole. [4, 5, 9]3. An Actor-based reflective model and language ACT/R was designed, which have the group-wide reflective capability. [4, 5, 9]4. Various results including correctness of the reflective model have been obtained by analyzing the notion of Group-Wide Reflection. [4, 5, 9]5. A prototype implementation of ACT/R was completed.6. We defined a new reflective notion called "Hybrid Group Reflection" by incorporating the results of our research on Group-Wide Reflection into our language ACT/R. [6, 13, 14]7. In conventional languages, important aspects of parallel computation such as scheduling and shared resource coordination could only be programmed in an ad hoc way. Our research resul … More ts enabled us to model and program such aspects of parallel computation in reflective (user) languages. Using our reflective language, we also showed that controlling and programming such aspects of parallel discrete event simulation can be done in a very succinctly way in the same language as the simulation is written. [13, 14, 11]8. Our implementation of ABCL/R2 on a multi-processor workstation Omuron Luna88k demonstrated the effectiveness of the use of reflective capability in programming parallel discrete event simulation.9. Using examples, we showed that the reflective capability provides an effective means for coping with the inheritance anomaly problem. [6]10. The runtime kernel for an object-oriented concurrent language includes not only its intermediate-code interpreter, method dispatcher, and garbage collector, but also its scheduler and inter-node communication facilities. It is often the case in distributed computing environments that the behavior of the runtime k. emel needs to be adaptive according to its execution environment. For this purpose, we constructed a reflective architecture system called RbCl the almost all runtime facilities of which can be dynamically replaceable with user-defined ones. [8, 11]Other Contributions : - International Workshops -Two of our research members, Satoshi Matsuoka and Takuo Watanabe, organized (as program committee members) the following two international workshops :1. ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming, Ottawa, October 21 1990.2. OOPSLA'90 Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming, Phoenix, October 7, 1991. Less

1.设计了一个描述反射计算的面向对象并发语言ABCL/R，并完成了它的初步实现。[1]2.提出了组范围反射的概念，它是对一组并发对象作为一个整体的反射能力。[4，5，9]3.设计了一个基于Actor的反射模型和ACT/R语言，该模型具有全组范围的反射能力。[4，5，9]4.通过对全组反射概念的分析，得到了包括反射模型正确性在内的各种结果。[4、5、9]5.完成了ACT/R的原型实施。在ACT/R[6，13，14]7.在传统语言中，并行计算的重要方面，如调度和共享资源协调，只能以一种特别的方式编程。我们的研究结果是…更多的TS使我们能够用反射(用户)语言对并行计算的这些方面进行建模和编程。使用我们的反射语言，我们还展示了对并行离散事件仿真的这些方面的控制和编程可以非常简洁地用与编写仿真相同的语言来完成。[13，14，11]8.我们在多处理器工作站O-LUNA88K上实现的ABCL/R2证明了反射能力在并行离散事件模拟编程中的有效性。实例表明，反射能力为处理继承异常问题提供了一种有效的手段。[6]10.面向对象并发语言的运行时内核不仅包括其中间代码解释器、方法分派器和垃圾收集器，而且还包括其调度器和节点间通信设施。通常，在分布式计算环境中，运行时K.Emel的行为需要根据其执行环境进行自适应。为此，我们构建了一个名为RBCL的反射体系结构系统，其几乎所有的运行时工具都可以动态地替换为用户定义的工具。[8，11]其他贡献：-国际研讨会-我们的两名研究成员松冈聪和渡边拓夫(作为计划委员会成员)组织了下列两个国际研讨会：1.ECOOP/OOPSLA‘90面向对象程序设计中的反射和元体系结构研讨会，1990.2，10月21日，渥太华。OOPSLA‘90面向对象程序设计中的反射和元级体系结构研讨会，凤凰城，1991年10月7日。较少

项目成果

Takauo Watanabe and Akinori Yonezawa: "Reflection in an object-oriented concurrent language" In Proceedings of Conference on Object-Oriented Programming Systems,Language.and Applications (OOPSLA'88). 306-315 (1990)

Takauo Watanabe 和 Akinori Yonezawa：“面向对象并发语言中的反思”，收录于面向对象编程系统、语言和应用程序会议记录 (OOPSLA88)。

Takuo Watanabe and Akinori Yonezawa: "Towards concurrent reflective computation model for distribted systems based on actor paradigm" In 6th Annual Conference Proceedings Japan Society of Software Science and Technology. 253-256 (1989)

Takuo Watanabe 和 Akinori Yonezawa：“基于参与者范式的分布式系统的并发反射计算模型”，日本软件科学技术学会第六届年会论文集。

Takuo Watanabe and Akinori Yonezawa: "Reflective computation in object-oriented concurrent systems and its applications" Proceedings of the Fifth International Workshop on Software Specification and Design. 56-58 (1989)

Takuo Watanabe 和 Akinori Yonezawa：“面向对象并发系统中的反射计算及其应用”第五届软件规范与设计国际研讨会论文集。

Satoshi Matsuoka, Ken Wakita, and Akinori Yonezawa: "Synchronization constraints with inheritance : What is not possible - so what is?" Technical Report 90-010, Dept. of Information Science, University of Tokyo. (1990)

Satoshi Matsuoka、Ken Wakita 和 Akinori Yonezawa：“继承的同步约束：什么是不可能的 - 那么什么是？”

Yuuji Ichisugi, Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa: "An object-oriented concurrent reflective for distributed environments" 8th Annual conference Prociety of Software Science and Technology. Japan Society of Software Science and Techno

Yuuji Ichisugi、Satoshi Matsuoka、Takuo Watanabe 和 Akinori Yonezawa：“分布式环境的面向对象并发反射”第八届软件科学与技术年会。