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

1993 年度 実績報告書

• 研究課題/領域番号: 05780228
• 研究機関: 筑波大学
• 研究代表者: 加藤 和彦 筑波大学, 電子・情報工学系, 講師 (90224493)
• キーワード: 遠隔手続き呼び出し / 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に透明な分散性を導入できたことを確認した.

研究成果

• [文献書誌] 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.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)
• [文献書誌] 河野,加藤,益田: "分散透明性を与えるプログラム変換系の生成システムの実現" 日本ソフトウェア科学会第10回大会論文集. 301-304 (1993)
• [文献書誌] 加藤,坂田,益田: "分散共有格納庫への多重名前空間の導入について" 情報処理学会コンピュータシステムシンポジウム論文集. 115-122 (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)