| 研究概要 |
本研究では、最新の基礎理論・実装技術に基づき、安全かつ効率の良い分散・並行プログラミング言語を再設計・実装することを目的とする。本年度の成果は以下のとおり。
1.設計する分散言語の核となる部分の計算モデルとして,分散並行線形論理プログラミングについて引き続き研究をすすめ,理論的性質を確立した。
2.オブジェクト指向部分の言語設計をすすめるため,既存の言語Javaやその拡張の中の重要な機能であるパラメトリッククラス,内包クラスの定式化を行い,これらの機能がより単純な機能だけからなる言語上で実現できることを示した.これにより,核となる分散言語上に上記のような高レベルなオブジェクト指向の機能を正しく実現する手法が確立された.
3.並行・分散プログラムの安全性を保証するため,デッドロックフリーダム,すなわち並行・分散プログラム中の特定の通信がいずれ必ず成功することを保証する型システムの一般化を行ない,その型推論アルゴリズムの開発に成功した.この型推論アルゴリズムの開発によって,プログラマは型システムの厳密な理解なしにプログラムが書けるようになり,実際に設計中の言語への本型システムの導入のめどがたった.
4.並行プログラムを並列計算機上で効率よく動作させるための基盤技術として,並行実行の上でボトルネックとなる部分を発見し解消するとともに,効率をえる上で最適なプロセッサ数を推測するための技術を開発した.
5.プログラムの最適化のための基礎技術として,部分評価の高速化の技法について研究を行った.
|
