プログラムのメタ情報を利用したソフトウェアの部品化手法の研究

1997 Fiscal Year Annual Research Report

• Project/Area Number: 08458062
• Research Institution: The University of Tokyo
• Principal Investigator: 益田 隆司 東京大学, 大学院・理学系研究科, 教授 (80114130)
• Co-Investigator(Kenkyū-buntansha): 千葉 滋 筑波大学, 電子・情報工学系, 講師 (80282713)
• Keywords: 自己反映計算 / クラスライブラリ / 部品化

Research Abstract

本年度は自己反映言語処理系OpenC++を改良し、その上で効率のよいソフトウェア部品の作成を試みた。まず、今までは構文木をメタプログラムで変形するという、比較的単純な機能しか提供してこなかったが、これまでの経験に基づいてこれを改良し、クラスやメンバーなど、より高い抽象概念を使ってプログラムを変換できるようにした。これによって多くのメタプログラムの記述を短く簡潔することができた。
さらにこのOpenC++を使い、並列処理用のメタプログラムを作成した。これは並列計算機Sun Starfireの上で、並列オブジェクトを使ってプログラムを書けるようにするものである。このような並列オブジェクトは、クラスライブラリの形では提供できないので、従来は部品化できなかった。しかし自己反映計算を使うことで、メタプログラムという部品の形で提供できるようになった。さらにこのメタプログラムをライブラリ化することで、類似の部品を容易に作成できるようにした。また、類似部品を作る際には、不要な機能のために実行効率が不必要に低下すること避けるため、そのような機能を削除することができる。
この他にオペレーティング・システム(OS)のモジュールの部品化についても研究した。OSの場合、部品の故障からシステムを守る保護機構と部品の実行効率の調整が難しく、部品化できないものが多い。我々は、部品を組みこむときに、どんな保護機構でシステムを守るかをユーザが選べるような機構を開発しこの問題に対処した。

Research Products

• [Publications] 光来 健一, 千葉 滋, 益田 隆司: "新規ファイルシステムの開発におけるOSの多段階保護機構の必要性" 1997年 並列/分散/協調処理に関する『火の国』サマー・ワークショップ(SWoPP阿蘇'97)情報処理学会研究会報告. 97-OS-76. 37-42 (1997)
• [Publications] 西村 健, 光来 健一, 千葉 滋, 益田 隆司: "ユーザレベルでの強度設定が可能なプロテクションの実現" 日本ソフトウェア科学会第14回大会論文集. 253-256 (1997)
• [Publications] Shigeru Chiba, et al.: "Weak Protection for Reflective Operating Systems" Lecture Notes in Computer Science. 1357. 62-67 (1998)
• [Publications] 光来 健一, 千葉 滋, 益田 隆司: "拡張可能OSのfail-safe機構" 情報処理学会研究報告. 98-OS-77. 197-202 (1998)