データフローベース高並列プログラミング言語の汎用並列計算機上の実装方式の研究

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

本年度は,データフロー概念にもとづく超並列V言語の実用性を示すため,汎用並列計算機である富士通AP1000や,SUNワークステーションへの効率の良い実装を中心に以下のような研究を遂行した.コンパイラ コンパイラの最適化処理においては並列計算のアーキテクチャ依存部と非依存部を意識的し,最適化のレベルを,対象機種間に共通の最適化/対象機種間でアルゴリズムが共通の最適化/対象機種ごとに異なる最適化,のように切り分け,各レベルでの最適化の研究を行なった.初期フェーズでは宣言的に記述されたソースプログラムからデータ依存関係を抽出しマルチスレッ実行モデルにもとづく中間コードに変換し,後半フェーズで中間コードからターゲット計算機対応のマシンコードに変換する.初期フェーズの処理では機種間共通に施す最適化手法,データフローセマンティクスによって生じる冗長データコピーの削減などを重点的に行なった.プログラミング環境の整備 効率的実行環境を提供するための実行時ルーチンやプログラミング環境の整備を行なった.これらの環境の構築は,従来型の並列言語でも行なわれているが,V言語はデータフローモデルに基づくため,静的なデバグが比較的容易,細粒度の並列性を持つなどの特徴のため従来とは異なる着目点が必要である.V言語プログラムの実行順は,半順序でしか決まらず静的に振舞いを予想することが困難な場合が多い.そのため,実行時情報を利用した細粒度並列実行の可視化可視化環境の構築も行なった.