並列計算のための自己反映オブジェクト指向言語処理系

用于并行计算的自反射面向对象语言处理系统

• 批准号: 08780247
• 负责人: 増原 英彦
• 金额: $ 0.64万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08780247/
• 关键词: 自己反映計算; リフレクション; 並列オブジェクト; メタオブジェクトプロトコル; 委譲(delegation); 部分計算

本研究では、自己反映並列オブジェクト指向言語ABCL/R3の言語設計および、インタプリタ処理系の作成を行い、従来のものより、より記述が容易で効率的な実行が可能となる言語処理系作成のための方向付けが得られた。具体的には、以下のとおりである。(1)ABCL/R3の言語設計、特にメタオブジェクトプロトコルに関しては、継承と委譲(delegation)による拡張を念頭に置き、細分化されたメソッド群によって定義を行った。特にこの細分化は、部分計算による実現を前提とすることで、プログラマが利用しすい形で定義することが可能になっている。そのため、報告者らがこれまで設計・実現を行ってきたABCL/R./R2に比べて、メタオブジェクトの拡張に継承機構が利用でき、再利用性を向上させている。また、メタインタプリタ設計に関しては、新しく委譲にもとづいた設計を行った。これによって、インタプリタ実行時にインタプリタ定義を拡張することが可能になり、動的かつ局所的な変更を容易にしている。さらに委譲オブジェクトは、関数定義への変換できるように制限されているため、部分計算を用いたコンバイルを容易にしている。(2)Schemeの並列オブジェクト指向拡張であるSchematicをもとにして、ABCL/R3のインタプリタ処理系を作成した。現在のところ、メタレベルの変更を含めた簡単なサンプルプログラムが動いている。Schematic処理系は、並列環境に対応しているため、ABCL/R3処理系を並列に動作させることは容易であると思われる。また、コンパイル方法については、メタオプジェクトを部分計算した結果を、他のオブジェクトと同様に扱うための枠組が必要であることが分かり、現在はその解決方法を新たな研究課題として検討している。

This study で は and their joint オ ブ ジ ェ ク ト ABCL to words/R3 の words design お よ び, イ ン タ プ リ タ 処 principle is の を い, consummate 従 to の も の よ り, よ り account が easy で な sharper rates may be line が と な る words 処 principle is done の た め の direction pay け が must ら れ た. Specifically, に に, and below, とお である である. (1) design, special に ABCL/R3 の words メ タ オ ブ ジ ェ ク ト プ ロ ト コ ル に masato し て は, 継 bearing 譲 と commission (delegation) に よ る company, zhang thought を に buy き, differentiation さ れ た メ ソ ッ ド group に よ っ て defined line を っ た. Trevor に こ の differentiation は, some calculation に よ る be presently を premise と す る こ と で, プ ロ グ ラ マ が using し す い form definition で す る こ と が may に な っ て い る. そ の た め, reporter ら が こ れ ま で line design, be presently を っ て き た ABCL/r. / R2 に べ て, メ タ オ ブ ジ ェ ク ト の company, zhang に 継 bearing institutions が using で き, recycling を upward さ せ て い る. ま た, メ タ イ ン タ プ リ タ design に masato し て は, new し く committee 譲 に も と づ い た line design を っ た. こ れ に よ っ て, イ ン タ プ リ タ be row に イ ン タ プ リ タ definition を company, zhang す る こ と が may に な り, moving か つ bureau of な - more を easily に し て い る. さ ら に committee 譲 オ ブ ジ ェ ク ト は, masato definition へ の variations in で き る よ う limitations に さ れ て い る た め, some calculation を い た コ ン バ イ ル を easy に し て い る. (2) Scheme の parallel オ ブ ジ ェ ク ト to company, zhang で あ る Schematic を も と に し て, ABCL/R3 の イ ン タ プ リ タ を 処 manage department made し た. Now の と こ ろ, メ タ レ ベ ル の - contains more を め た Jane 単 な サ ン プ ル プ ロ グ ラ ム が dynamic い て い る. Schematic 処 department は, tied for environmental に 応 seaborne し て い る た め, ABCL/R3 処 principle is tied for に を action さ せ る こ と は easy で あ る と think わ れ る. ま た, コ ン パ イ ル method に つ い て は, メ タ オ プ ジ ェ ク ト を part calculation し た results を, he の オ ブ ジ ェ ク ト と with others に Cha う た め の 枠 group が necessary で あ る こ と が points か り, now は そ の solution を new た な research topic と し て beg し 検 て い る.

项目成果

増原英彦: "並列自己反映言語システムの部分計算によるコンパイル技法" 情報処理学会論文誌. 37(7). 1290-1298 (1996)

Hidehiko Masuhara：“使用并行自反射语言系统的部分计算的编译技术”，日本信息处理学会汇刊 37(7) (1996)。

Kenichi Asai: "Partial Evaluation of Call-by-value lambda-calculus with Side-effects" Partial Evaluation and Semantic-Based Program Manipulation (PEPM). (to appear). (1997)

Kenichi Asai：“带有副作用的按值调用 lambda 演算的部分评估”部分评估和基于语义的程序操作 (PEPM)。

hidehiko Mashuhara: "Inplementing Parallel Language Construets Using a Reflective Object-Oriented Language" Proceedings of Reflection'96 Symposium. 79-91 (1996)

hidehiko Mashuhara：“使用反射性面向对象语言实现并行语言构造”Reflection96 研讨会论文集。