実行環境に動的に適応するソフトウェアの基本機構とそれに基く言語の研究

点击翻译按钮获取中文摘要

現在までの主な成果を以下に示す.(1) 動的適応のための基本機構DASとそれにもとづく言語LEAD++実行環境に動的に適応可能なソフトウェアを実現するための基本機構DASを提案した.基本的なアイデアは,呼び出された時点における実行環境に応じて振舞いを柔軟に変化させることができる適応可能手続きの利用にある.さらにこの機構自身が適応可能手続きを用いて(自己反映的に)実現される.そのため,実行環境の状態にもとづくソフトウェアの機能の一時的な制限やその解除といった柔軟な適応動作を,元のプログラムを修正することなく実現することができる.我々はDASを実現する言語LEAD++を設計・実装し,動的適応可能なソフトウェアの実装を通してDASの有効性を確かめることができた.LEAD++はJava言語へのトランスレータとして実装しており,複数のオペレーティングシステムで稼動する.(2) 部分継続にもとづく移動コード機構 分散システムにおける動的適応を実現するためには,移動コードの技術が有効である.本研究で提案する機構では,部分継続(partial continuation)を具現化(reify)し,それを移動する単位としている.この機構では,プロセス移送(goプリミティブ),遠隔実行,巡回エージェント等の様々なコード移動形態を表現できる.特に巡回エージェントでは,(単純なgoとはちがって)必要な部分継続のみを最初に(具現化して)転送することが可能である.さらに具現化された部分継続を再利用すると,複数回の巡回に際し,継続の移動は最初の1回のみで済むというメリットがある.