Distributed Implementation and Debugging Schemes for a Object-Oriented Concurrent Programming Language

面向对象并发编程语言的分布式实现与调试方案

• 批准号: 62460222
• 负责人: YONEZAWA Akinori
• 金额: $ 3.9万
• 依托单位: Tokyo Institute of Technology, Faculty of Science
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (B)
• 财政年份: 1988
• 资助国家: 日本
• 起止时间: 1988 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-62460222/
• 关键词: Programming Languages; Object-Oriented Computing; Parallel Processing; Language Implementation; デバッグ; オブジェクト指向; 並列プログラミング; 分散型処理系; ガーベジコレクション; オブジェクトグループ

We designed a virtual distributed system for an object-oriented concurrent language ABCL/1 which consists of the virtual front-end processor and a pool of virtual node processors. Each object is implemented as a virtual stack machine which is executed on a virtual node processor. The language processor translate source code into the virtual stack machine code. Also, a noble distributed garbage collection scheme is presented which is used in our implementation. The scheme employs the Distributed Snapshot technique. A debugging method for Concurrent Object-Oriented Systems is developed. Our method is based upon a new notion called Object Groups. An Object Group is a collection of objects which forms a natural unit for performing collective tasks. The language constructs which specify and use Object Groups have been introduced into an object-oriented concurrent language ABCL/1.

针对面向对象并发语言ABCL/1，设计了一个由虚拟前端处理器和虚拟节点处理器池组成的虚拟分布式系统。每个对象都被实现为在虚拟节点处理器上执行的虚拟堆栈机。语言处理器将源代码翻译成虚拟堆栈机器码。此外，本文还提出了一种分布式垃圾回收方案，并在实际应用中得到了应用。该方案采用分布式快照技术。提出了一种面向对象并发系统的调试方法。我们的方法基于一个称为对象组的新概念。对象组是对象的集合，它构成了执行集体任务的自然单元。在面向对象的并发语言ABCL/1中引入了指定和使用对象组的语言结构。

项目成果

Y.Honda: Springer Lecture Notes in Computer Science. 322. 267-282 (1988)

Y.Honda：施普林格计算机科学讲义。

TAKADA, Toshihiro: "An Implementation of an Object-Oriented Programming Language in Distributed Environments" Computer Software. 6. 17-29 (1989)

TAKADA, Toshihiro：“分布式环境中面向对象编程语言的实现”计算机软件。

YONEZAWA, Akinori: "Parallel Processing Description in an Object-Oriented Concurrent Language ABCL/1" Trans. IEICE, Part D.J71-D. 1415-1422 (1988)

YONEZAWA、Akinori：“面向对象的并发语言 ABCL/1 中的并行处理描述”Trans。

高田敏弘: コンピュータソフトウェア. 6. 17-29 (1989)

高田俊弘：计算机软件。6. 17-29 (1989)

HONDA, Yasuaki: "Debugging Concurrent Systems Based on Object Groups" Springer Lecture Notes in Computer Science. 322. 267-282 (1988)

HONDA, Yasuaki：“基于对象组调试并发系统”Springer 计算机科学讲座笔记。