並列オブジェクト指向プログラム言語の分散型処理系とデバッグ方式の研究

1988 Fiscal Year Annual Research Report

• Project/Area Number: 62460222
• Research Institution: Tokyo Institute of Technology, Faculty of Science
• Principal Investigator: 米澤 明憲 東京工業大学, 理学部, 教授 (00133116)
• Co-Investigator(Kenkyū-buntansha): 柴山 悦哉 東京工業大学, 理学部, 助手 (80162642)
• Keywords: プログラミング言語 / オブジェクト指向計算 / 並列処理 / 言語処理系 / デバッグ

Research Abstract

我々の設計した並列オブジェクト指向言語ABCL/1で記述されたプログラムの実行効率を向上させるために、「共有記憶をもたない多重プロセッサ」いわゆる分散環境上での処理系の試作を行った。この処理系に関する詳細は、発表論文[1]に譲るが、今回の実現では、仮想的な分散マシンを設定し、その分散マシン上の処理系の実現をCommon Lispで記述し、仮想分散マシンの実マシンへの実現は、実マシンに最適な言語で実現するという方式をとった。一般に並列オブジェクト指向言語の処理系を実現する際に、(a)オブジェクトへのネットワーク透過なアクセスの実現、(b)オブジェクトのプロセッサノード間の移動の実現、(c)オブジェクトのガーベジコレクションの実現、などの問題がある我々はこれらの問題に関し、すべてのプロセッサに広がる単一名前空間を仮定し、これをDOOP(Distributed Object-Oriented Pointer)を用いて実現した。特にガーベジコレクションに関しては、DOOPに基づき、Chandy-LamportのDistributed Snapshotの手法を用いた分散型のmark-and-sweep方式による新しい方法を考案した。デバッグ方式に関する我々の研究は、事象間の半順序関係の単純な追跡では、過剰なデバッグ情報から有効な情報を抽出することが困難な場合が多いという認識から出発し、「オブジェクトグループ」という概念を導入した。オブジェクトグループとは、ひとまとまりの仕事を共同で遂行するオブジェクトの集まりで、これによってグループの構成員同士のメッセージのやりとりと、それ以外のメッセージのやりとりの区別が可能となる。この方法を基礎に、従来のインスペクターを拡張したオブジェクトインスペクター、オブジェクトの受信メッセージの履歴情報、およびこれらの情報の呈示方法の改良などにより、比較的強力なデバッグ方式が確立された。詳細は発表論文[2]を参照されたい。

Research Products

• [Publications] 高田敏弘: コンピュータソフトウェア. 6. 17-29 (1989)
• [Publications] Y.Honda: Springer Lecture Notes in Computer Science. 322. 267-282 (1988)
• [Publications] 米澤明憲: 電子情報通信学会論文誌. J71-D. 1415-1422 (1988)