| 研究課題/領域番号 |
07458062
|
|---|
| 研究種目 |
基盤研究(B)
|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
雨宮 真人 九州大学, 大学院・システム情報科学研究科, 教授 (90202697)
|
|---|
| 研究分担者 |
鶴田 直之 九州大学, 大学院・システム情報科学研究科, 助手 (60227478)
峰 恒憲 九州大学, 大学院・システム情報科学研究科, 助教授 (30243851)
村上 和彰 九州大学, 大学院・システム情報科学研究科, 助教授 (10200263)
谷口 秀夫 九州大学, 大学院・システム情報科学研究科, 助教授 (70253507)
谷口 倫一郎 九州大学, 大学院・システム情報科学研究科, 教授 (20136550)
|
|---|
| キーワード | 超並列処理 / 宣言型並列言語 / 並列オプジェクト指向 / 細粒度マルチスレッド処理 / 並列化コンパイラ / 超並列マシン / データフロー / メッセージフロー |
|---|
| 研究概要 |
本研究で対象としている宣言型言語はデータフロー意味論にもとづく関数型言語であり、現在そのコンパイラを実用開発中である。今年度の主な実績は、実用コンパイラの開発と超並列実行最適化の研究の二つである。
・実用コンパイラの開発
V言語処理系の第1フェーズに当たる語彙・構文解析部を開発した。構文仕様をFixし、構文解析制御テーブル生成部および語彙・構文解析部を開発した。また、次フェーズのデータフロー解析・中間言語生成部の開発に向けて、機種非依存の中間言語(DVMC)の仕様書を作成した。中間言語生成、中間言語から実行コードへの変換部については、逐次実行マシン(ワークステーション)をターゲットとして、その実装を行なった(実用開発は次年度に本格化する)。
・超並列実行最適化の研究
下のような問題点の解決に向けて研究を行なった。
-高い記述力を支援するため配列などの構造体処理においても細粒度のnon-strictなデータ操作が可能だが、それにより実装時は高い頻度で細粒度通信が生じる。実際の並列計算機の通信コストはかなり高く、そのオーバヘッドの削減は大きな課題である。
-細粒度レベルでの非同期実行を伴うため、プログラムの静的な解析には限界があり、動的な振舞いを把握するためのツールが非常に有効である。
上記に対し、以下のような問題解決法をとった。
-実装においては、マルチスレッド並列実行モデルにもとづく抽象計算機(DVMC)を設定したうえで、実対象並列計算機のアーキテクチャ依存部と非依存部を分けて考えた。また、細粒度通信のオーバヘッド削減のため、message aggregationやcoalescingなどの手法の適用を行なった。この時も構造体non-strict性という独自の特徴に配慮した。
-(株)富士通研の並列処理センターで開放されている分散メモリ型並列計算機AP1000用い、上記の研究結果を盛り込んだ試験実装の予備評価を行なった。その際、予備評価システムにプロファイル可視化ルーチンを埋め込み、実行プロファイルを採集した。
|
