权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Efficient Implementation of Concurrent Object-Oriented Languages for General Purpose MIMD Parallel Computers.

通用 MIMD 并行计算机的并发面向对象语言的高效实现。

基本信息

批准号：
05558026
负责人：
YONEZAWA Akinori
金额：
$ 13.12万
依托单位：
University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Developmental Scientific Research (B)
财政年份：
1993
资助国家：
日本
起止时间：
1993 至 1995
项目状态：
已结题

项目摘要

The goal of our research is to develop a highly efficient languages processor (i.e., compiler and runtime system) for concurrent object-oriented languages on general purpose MIMD parallel machines, demonstrating the viability of the concurrent object-oriented paradigm in the practical setting. After three-year research effort, our goal has been basically achieved and furthermore, much good results have been obtained in designing a new efficient debugging scheme for multi-thread parallel programs. The concrete research achievements are in order.(1) A new concurrent object-oriented language called ABCL/f was designed. In the normal style of programming in this language, a mutable data structure is represented as a concurrent object where its access is only allowed through its associated methods which are invoked mutually exclusively [Ref 7].(2) By simplifying ABCL/f, we newly designed a language called Schematic. This language can be viewed as an concurrent object-oriented extension of the Scheme languages which is a very popular dialect of Lisp. [Ref14](3) We designed an abstract machine called StackThreads amd highly efficient techniques for implementing StackThreads were developed. [Ref 1,2,8](4) Based on the implementation of StackThread, we implemented a language processor for ABCL/f where good performance numbers were obtained.(5) A new garbage collection scheme was disigned and implemented and its performance was measured. This scheme was incorporated in our language processor mentioned in (4). [10,11](6) We designed a new debugging scheme which supports replay and tracing, requiring a small amount of logging information even where a large number of threads are active in a program. This scheme has been implemented. [Ref 15](7) In ABCL/f, we developed programs for (a) predicting RNA secondary structures and (b) finite element method application and N-body problem applications [9,12,13].

我们研究的目标是开发一个高效的语言处理器（即，编译器和运行时系统）的通用MIMD并行机上的并发面向对象语言，展示了可行性的并发面向对象的范例在实际设置。经过三年的研究，我们的目标已基本实现，并在设计一种新的高效的多线程并行程序调试方案方面取得了良好的效果。具体研究成果井然有序。(1)设计了一种新的并发面向对象语言ABCL/f。在这种语言的正常编程风格中，可变数据结构被表示为并发对象，仅允许通过互斥调用的相关方法访问[Ref 7]。(2)通过简化ABCL/f，我们新设计了一种名为Schematic的语言。这种语言可以被看作是Scheme语言的并发面向对象扩展，Scheme语言是Lisp的一种非常流行的方言。（3）设计了一个抽象机器StackThreads，并开发了高效的实现StackThreads的技术。[Ref（4）在StackThread实现的基础上，实现了ABCL/f语言处理器，取得了良好的性能指标。(5)设计并实现了一种新的垃圾收集方案，并对其性能进行了测试。这个方案被纳入我们的语言处理器（4）中提到。[10（6）设计了一种新的调试方案，该方案支持重放和跟踪，即使在程序中有大量线程活动的情况下，也只需要少量的日志信息。这一计划已经实施。[Ref 15]（7）在ABCL/f中，我们开发了用于（a）预测RNA二级结构和（B）有限元方法应用和N体问题应用的程序[9，12，13]。