線形論理プログラミングHACLに基づく型つき並列オブジェクト指向言語の実装

Research Project

Project/Area Number	07780232
Research Category	Grant-in-Aid for Encouragement of Young Scientists (A)
Allocation Type	Single-year Grants
Research Field	計算機科学
Research Institution	The University of Tokyo
Principal Investigator	小林直樹東京大学, 大学院・理学系研究科, 助手 (00262155)
Project Period (FY)	1995
Project Status	Completed (Fiscal Year 1995)
Budget Amount *help	¥1,200,000 (Direct Cost: ¥1,200,000) Fiscal Year 1995: ¥1,200,000 (Direct Cost: ¥1,200,000)
Keywords	並列計算 / 並列言語 / 並列オブジェクト指向 / 静的解析
Research Abstract	本年度はまず、すでに我々が提案していた線形論理に基づく並列計算の枠組であるACLを高階に拡張したHACLを提案し、その意味論・型システム等を与え、静的に型づけされた(HACLで書かれた)並列プログラムが実行時に型エラーを起こさない等の基本的な性質を証明した。また、それに基づいたインタプリタの処理系を作成して、HACLの特徴の一つである(多相型をもった)高階プロセスが非常に有効であることをプログラミングを通して確認した。さらに、HACLの上に、インヘリタンスをはじめとする種々の機能を備えた並列オブジェクト指向言語を実現でき、かつそのようにして実現された並列オブジェクト指向言語で書かれたプログラムがHACLの型システムをとおして型推論・型チェックが行なえることを示した。その副産物として、型推論をとおして並列オブジェクトのメソッドのディスパッチが定数コストで行なえるようにコンパイルできることも示した。これらの結果に基づいて実際に、並列オブジェクト指向言語のプログラムからHACLへのトランスレータのプロトタイプも作成した。また、HACLを含めた非同期通信に基づく並列言語の効率のよい実現のために、エフェクト解析の手法を応用した並列プログラムの通信に関する解析を行なう方法を提案し、HACLを通した定式化・基本的な性質の証明・解析システムのプロトタイプの実装を行なった。将来的にはこの静的解析システムをコンパイラに組み込み、並列プログラムの最適化コンパイルに役立てる予定である。上記理論的側面の研究と並行してHACLに基づいた処理系の実装を進めており、現在シングルCPUのワークステーション用のコンパイラのプロトタイプがほぼ完成した状況である。