プログラミング言語に透明な分散性を与えるトランスレータの生成系に関する研究

研究为编程语言提供透明去中心化的翻译生成系统

• 批准号: 05780228
• 负责人: 加藤 和彦
• 金额: $ 0.58万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780228/
• 关键词: 遠隔手続き呼び出し; RPC; 分散プロクラミング言語; 分散処理; トランスレータ

研究実施計画に従い、トランスレータの生成系の実装を進めた.本研究の目的は、個々のプログラミング言語に透明な分散性を与えるソースコード・トランスレータを系統的に生成するための生成系を実現することにある.生成されるトランスレータは、透明な分散性をもたない静的に型付けられたプログラミング言語Lがあるとき、Lのポインタ型や関数型を含む任意のデータ型を分散透明に受け渡せるように拡張された言語LDで記述されたプログラムを入力し、Lと分散通信を実現するための実行時ライブラリ呼び出しで書かれたプログラムを生成する.トランスレータ生成系の作成にあたり、まず2つの抽象構文木CAST-LおよびCAST-LDの仕様を、本生成系が適用されるプログラミング言語とは独立に定めた.CAST-LDは言語LDの各構文および各構文に対応する型付け情報を定めたものである.このとき、透明な分散性の導入に関与しない構文は隠蔽され、最後にソースコードを生成するときに再び展開される.CAST-Lは言語Lに対応する抽象構文木である(図参照).LDで記述されたプログラムからCAST-LDで表現された抽象構文木への変換を行うパ-ザの生成は、Yaccなどの既存のパ-ザ生成系を用いることとし、本生成系はパ-ザ仕様記述を簡略化するテンプレートを提供する.CAST-Lで表現された抽象構文木からLプログラムへの変換を行う逆パ-ザも基本的にはユーザが提供することとし、本生成系は逆パ-ザ記述を容易化するテンプレートを提供する.CAST-LDからCAST-Lへ変換するプログラムモジュールは、研究代表者らが既に開発した基本変換アルゴリズムを実装したものである.以上のモジュールを統合してトランスレータ生成系の実装を行った.実装を検証するために言語LをプログラミングPascalとして本トランスレータ生成系を適用し、Pascalに透明な分散性を導入できたことを確認した.

The research and implementation of the project is carried out in the middle of the project, and the production system is installed. The purpose of this study is to develop a system of speech transparency, dispersion, and generation. The generation of a language is based on the following characteristics: transparency, dispersion, static type, speech, L type, relevant type, arbitrary type, dispersion, transparency, reception, dispersion, speech, LD description, entry, L type, dispersion, communication, and generation. The structure of the speech generation system is determined by the structure of the speech generation system, CAST-LD and CAST-LD. CAST-L speech L is related to abstract structure, and CAST-LD speech L is related to abstract structure, and CAST-LD speech L is related to abstract structure. This generation is to simplify the description of the problem and provide the solution.CAST-L performance is to simplify the description of the problem and provide the solution.CAST-L performance is to simplify the description of the problem and provide the solution to the problem.CAST-L performance is to simplify the description of the problem and provide the solution to the problem. CAST-L performance is to simplify the description of the problem and provide the solution to the problem. CAST-L performance is to simplify the description of the problem and provide the solution to the problem. CAST-L performance is to simplify the description of the problem. CAST-L performance is to simplify the description of the problem. CAST-L performance is to simplify the description of the problem and provide the solution to the problem. CAST-L performance is to simplify the description of the problem and provide the solution to the problem. CAST-L performance is to simplify the description of the problem. The research representative started the basic research and development process. The implementation of the system is based on the integration of the above components. Pascal's transparency is confirmed by Pascal's transparency.

项目成果

河野,加藤,益田: "分散透明性を与えるプログラム変換系の生成システムの実現" 日本ソフトウェア科学会第10回大会論文集. 301-304 (1993)

Kono、Kato、Masuda：“提供分布式透明性的程序转换系统生成系统的实现”日本软件学会第十届年会记录 301-304 (1993)。

K.Kono,K.Kato,and T.Masuda: "Smart remote procedure calls:Transparent treatment of remote pointers" Proc.IEEE 14th Int.Conf.on Distributed Computing Systems. (掲載予定). (1994)

K.Kono、K.Kato 和 T.Masuda：“智能远程过程调用：远程指针的透明处理”Proc.IEEE 第 14 届 Int.Conf.on 分布式计算系统（即将出版）。

K.Kato,A.Narita,S.Inohara,and T.Masuda: "Distributed shared repository:Aunified approach to distribution and persistency" Proc.IEEE 13th Int.Conf.on Distributed Computing Systems. 20-29 (1993)

K.Kato、A.Narita、S.Inohara 和 T.Masuda：“分布式共享存储库：分布式和持久性的统一方法”Proc.IEEE 第 13 届 Int.Conf.on 分布式计算系统。

加藤,坂田,益田: "分散共有格納庫への多重名前空間の導入について" 情報処理学会コンピュータシステムシンポジウム論文集. 115-122 (1993)

Kato、Sakata、Masuda：“关于在分布式共享机库中引入多个名称空间”日本计算机系统研讨会信息处理学会会议记录 115-122 (1993)。

K.Katao,A.Ohori,T.Murakami,and T.Masuda: "Distributed C language based ona higher-order remote procedure call technique" JSSST Advances in Software Science and Technology. 5. 119-143 (1993)

K.Katao、A.Ohori、T.Murakami 和 T.Masuda：“基于高阶远程过程调用技术的分布式 C 语言”JSSST 软件科学与技术进展。