多様な並行オブジェクトモデルをサポートする言語処理系の研究

支持多种并发对象模型的语言处理系统研究

基本信息

批准号：
09780243
负责人：
増原英彦
金额：
$ 1.34万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

项目摘要

本研究の目標は、ネットワーク環境や、ワークステーションクラスタ等を対象とした並列・分散プログラミング言語において見られる、様々な並行オブジェクトのモデルを容易にサポートするような言語処理系の作成であった。この目標に対し、昨年度までに、自己反映計算(リフレクション)を利用することを提案している。この提案では、オブジェクトの排他制御やメソッド探索といった機能を、メタレベルのプログラムによって与えることで、異なった「並行オブジェクトのモデル」を拡張・変更可能にするというものである。この提案にもとづき、本年度は、(1)処理系を試作し、(2)その処理系上で実際にメタレベルプログラミングを行って、拡張性を確めることと、(3)それらのプログラムの実行効率を測り、同時に提案している効率的な実行方式の有効性を調べるという研究を行った。処理系は、東京大学の田浦・大山らが開発した並行オブジェクト指向言語Schematicをベースとして、東京大学の浅井が開発したScheme向け部分計算機を利用したコンパイラを作成した。このコンパイラでは、メタレベルの定義を適切に変換することにより、解釈実行のない効率的なプログラムを生成する。メタレペルプログラミングに関しては、いくつかの単純なアプリケーションとともに、ガード付きメソッドなどの並行オブジェクトの同期モデルを、メタレベルプログラミングによって提供できることを示した。また、効率に関しては、部分計算によるコンパイルによって、従来の(拡張性がない)最適化コンパイラによる実行と比べて1.1〜3倍程度のオーバーヘッドしかかからず、これまでのインタプリタによる実行と比べて約6倍の高速化が得られることが示された。

这项研究的目的是创建一个语言处理系统，该系统可以轻松支持以网络环境和工作站群集的并行和分布式编程语言找到的各种并行对象的模型。为了响应这一目标，我们提议在去年之前使用自我反思计算（反射）。在此提案中，可以通过提供诸如对象的独家控制以及通过仪表级程序搜索方法来扩展和更改不同的“并行对象模型”。基于此提案，今年，（1）原型（1）原型处理系统，（2）实际上在处理系统上执行元级别编程，（3）我们进行了研究以衡量效率并检查效率。我们同时提出的有效执行方法。基于Taura和Tokyo大学的Oyama开发的面向对象的语言示意图，我们使用了由东京大学Asai开发的方案的部分计算机创建了一个编译器。该编译器通过正确转换元级别的定义来生成一个高效的程序，而无需解释和执行。关于Metal -Pel编程以及一些简单的应用，可以通过Meta -Level编程提供金属级别的同步模型，例如带警卫的后卫。在效率方面，与常规（无扩展性）编译器的执行相比，通过部分计算的汇编仅具有1.1至3倍的开销，以及先前的解释器的执行情况。

项目成果

期刊论文数量（10）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Y.Sugita: "On-the-fly Specialization of Reflective Programs Using Dynamic Code Generation Techniques" Proceedings of Workshop on Reflective Programming in C++ and Java. 21-25 (1998)

Y.Sugita：“使用动态代码生成技术的反射程序的动态专业化”C 和 Java 反射编程研讨会论文集。

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

H.Masuhara: "An Overview of ABCL/R3: an Object-Oriented Concurrent Reflective Language" Parallel and Distributed Objects(Post-proceedings of OBPDC'97). 発表予定. (1999)

H.Masuhara：“ABCL/R3 概述：面向对象的并发反射语言”并行和分布式对象（OBPDC97 的后论文集）（1999 年）。

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

H.Masuhara: "Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language" Proceedings of European Conference on Object-Oriented Program-ming(ECOOP'98).Lecture Notes in Computer Science. 1445. 418-439 (1998)

H.Masuhara：“并发反射语言元对象的设计和部分评估”欧洲面向对象编程会议论文集（ECOOP98）。计算机科学讲义。

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

増原, 米澤: "Reasoningを容易にする並列自己反映言語のメタオブジェクトの設計" 日本ソフトウェア科学会全国大会第14回論文集(「コンピュータソフトウェア」誌掲載予定). 433-436 (1997)

Masuhara、Yonezawa：“Design of a meta-object for a parallel self-reflecting language that Favored Reasoning”第14届日本软件学会全国会议论文集（预定发表在《计算机软件》杂志433-）。 436 (1997)