密結合マシン上での関数型言語のデータフロー解析に基づくインプリメント
スポンサーリンク
概要
- 論文の詳細を見る
数学的な関数の概念に基づいた関数型言語は,その参照透明性という性質より,手続き型言語よりもプログラムの意味を静的に捕らえることができ,プログラムに内在する並列性をコンパイラによって容易に抽出することができる.我々は,商用並列マシンをターゲットにした関数型言語のコンパイル手法を開発した.採用した言語はデータフローマシンの高級言語としてNTT武蔵野電気通信研究所で開発されたValidである.ターゲットマシンはSequent SymmetryでIntel社製80486CPUの密結合システムである.コンパイラは,ソースプログラムからデータフローグラフを生成し,互いにデータ依存関係のない関数適用が並列実行となるようグラフを逐次コード化する.生成コードはfork-joinタイプのプロセス生成の概念に沿い,関数適用レベルで並列実行される.本稿では,コンパイル手法について述べ,Sequen Symmetry上で実行し評価した結果を報告する.
- 1992-09-28
著者
関連論文
- Smart Scatter:インターネット/イントラネットの負荷分散機構 : 全体構成と制御部
- 関数型言語の並列実行環境
- PDPモデルに基づく画像理解システム : ICE System(Image CEntered System)
- データフローモデルに基づく超並列V言語とその商用並列計算機上の実装について
- データフロー解析に基づく関数型言語 Valid の並列化コンパイラ
- 超並列V言語とそのマルチスレッド実行方式の概要
- 関数型プログラムの疎/密結合並列計算機上の実行スケジューリング手法
- データフロー解析に基づく関数型言語 Valid の並列化コンパイラ
- 密結合マシン上での関数型言語のデータフロー解析に基づくインプリメント
- データフロー解析による関数型言動の自動並列化コンパイラ
- Datarolマシンへの高階関数及び遅延評価の実装方式
- Datarolプログラムの既存の並列マシン上へのインプリメント
- Datarolグラフで表現された並列プログラムの逐次化
- Datarolマシンの資源管理方式に関する考察
- Datarolマシンの負荷制御方式
- Datarolプロセッサのインスタンススワップ管理と負荷制御について
- 並列計算機KUMP/Dの相互結合網
- 細粒度処理向け並列計算機KUMP/Dの構造体メモリアクセス機構
- マルチメディア指向並列計算機KUMP/Dの構想
- 画像処理用超並列プロセッサAMPにおけるSimplified stream Bufferの実現
- 画像処理用超並列プロセッサAMPにおける連結成分のラベル付けとその評価
- 画像処理用超並列プロセッサAMPのプログラミング言語Valid-Aの拡張について
- 画像処理用超並列プロセッサAMPにおける図形認識法とその評価
- 画像処理用超並列プロセッサAMPとストリーム処理
- 画像処理用超並列プロセッサAMPにおける同期処理について
- 画像処理用超並列プロセッサAMPのプログラミング言語Valid-Aについて
- datarolプロセッサのアーキテクチャについて
- 関数的実行環境下における構造データ処理に関する考察
- priority-controlを用いた並列談話処理モデル
- メッセージフローエージェントのデータフロー実行方式
- 関数型言語Validへの並列オブジェクト指向プログラミング機能の導入
- ニューラルネットワークを用いたLANDSAT画像解析の試み
- 拡張文脈自由文法の並列構文解析
- Dataolマシンの資源管理方式に関する検討 : プロセス状態検出方法と状態変化制御機構
- 並列処理計算機Datarolマシン用プログラム抽出アルゴリズムの計算量
- 遠隔講義支援システムにおける画像処理技術の利用 : 講義撮影カメラの自動制御の試み
- 階層的対象物モデルを利用した画像認識におけるモデルマッチング
- 領域の階層構造を利用した画像認識システムにおけるモデルマッチング
- 画像認識システムにおける例示による対象物モデルの獲得の一手法
- 超並列処理記述言語Vによる画像処理アルゴリズムの記述
- 超並列処理記述言語Vによる画像処理アルゴリズムの記述
- 一般の文脈自由文法に対する効率的な並列構文解析