関数型プログラムの疎/密結合並列計算機上の実行スケジューリング手法
スポンサーリンク
概要
- 論文の詳細を見る
関数型言語は参照透明性という性質を持つため,コンバイラによる並列性の抽出が容易である.本研究では,関数型言語を関数適用レベルで並列実装する手法を提案する.コンバイラは,ソースプログラムからデータフロー解析に基づくコントロールフローグラフを生成し,互いにデータ依存関係のない関数適用が並列実行となるよう,グラフに基づきコードをスケジュールする.我々は既に関数型言語Validを密結合並列計算機Sequent Symmetryへ実装し実行効率を評価した.今回は,疎結合並列計算機AP1000への本手法の応用を試みる.
- 1993-08-19
著者
関連論文
- 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による画像処理アルゴリズムの記述
- 一般の文脈自由文法に対する効率的な並列構文解析