| 研究概要 |
並列処理,特に,不規則な並列性を含む問題の記述を容易とするプログラミング言語の研究,及びその効率良い実行のための言語処理系の実装技術の研究を行っている.既存のオブジェクト指向言語であるJavaがらスレッドに関する仕様を取り除き,代わりに,構造化された並列構文を含む仕様を追加することで並列プログラミングを容易とした,オブジェクト指向言語OPA(an Object-oriented language for PArallel processing)の設計・実装を行った
1. 動的スコープの利用による並列言語の同期・例外処理の階層的構造化
並列処理を階層的に捉えることで,並列処理中の例外に対して,より上位の階層にて対処するという言語設計を行った.
2. 共有メモリ型並列計算機を対象としたコードを生成するコンパイラの開発
並列計算機としては,SGI社製POWER Onyx(12プロセッサ)やSun製のUltra Enterprise 3000(6プロセッサ)をもちいた.
3. オブジェクトのデータの効率的な一貫性制御
更新と読み出しを排他制御する方式としてとしてバージョン番号方式を用いた.synchronizedメソッドのサポートと評価,superによる差分プログラミングのサポートと評価を行った.
4. 適応的オブジェクトによる並列処理のボトルネック解消
実行時メソッド置換は,特に排他制御しながらも高速実行が達成されるように注意して実装を行い,二分探索木をサンプルプログラムとした実行の結果,メソッド置換を用いたプログラムが高速に動作した.また排他制御不要メソッドの検出方法の開発し分散メモリ型並列計算機への本言語の実装の検討を行った.
|
