統一的中間表現を用いた自動並列化コンパイラの実装 : ソースコードから統一的中間表現への変換
スポンサーリンク
概要
- 論文の詳細を見る
従来の自動並列化コンパイラで一般的に用いられる中間表現は, タスク間の依存関係のみを表現するのみが多く, データの分割配置ならびに転送の最適化手法において重要なデータフローの情報が明示的に表現されていない. そのためこれらの最適化手法は中間表現から遊離した形で処理されることが多く, これは一貫性のとれた並列化・最適化を難しくしている. 本研究で実装している自動並列化コンパイラ Narafrase では, データフロー情報を明示的に表現する中間表現 DPG を統一的中間表現, すなわち全並列化・最適化手法の共通の中間表現とし, 一貫性のとれた並列化・最適化の実現を図る. 本稿では,ソースコードから DPG への変換パスの実装について報告する.
- 社団法人情報処理学会の論文
- 1998-01-23
著者
-
城 和貴
和歌山大学システム工学部
-
山下 雅史
広島大学工学部第二類(電気系)
-
中西 恒夫
奈良先端科学技術大学院大学情報科学研究科
-
田中 栄治
広島大学大学院工学研究科
-
山下 雅史
広島大学工学部第二類
-
山下 雅史
九州大学
関連論文
- 有限視野を持つ群ロボットのための一点収束アルゴリズムとその誤差に対する強度の評価
- 視野に制約のあるロボットによる一点集合と合意の問題
- 単方向リングネットワークでの一様なランダム化自己安定相互排除
- 分散システムにおける資源割り当てアルゴリズム(計算量理論)
- 双方向リングネットワーク上での自己安定2:相互排除(計算機構とアルゴリズム)
- 拡張された分散$k$-相互排除(計算量理論)
- 拡張された分散κ-相互排除
- 自動並列化コンパイラの統一的中間表現とインターフェースを用いたコード変換の実装
- 分枝限定法を用いたプログラム分割の下界に対する考察
- 統一的中間表現を用いた自動並列化コンパイラの実装 : ソースコードから統一的中間表現への変換
- プロダクト・ライン開発方法論に学ぶ整理と再利用 製品のシリーズ展開を考えよう (特集 要求仕様のまとめ方からソフトウェアの品質確保まで トラブらない,バグらない 組み込み製品開発技報)
- ドメイン特化型開発における自動化テストプロセスの提案 (ディペンダブルコンピューティング)
- ドメイン特化型開発における自動化テストプロセスの提案 (コンピュータシステム)
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- システムLSI設計人材養成実践プログラムQUBEにおけるETSSの活用
- 配列参照パターンによるプログラム並列化・最適化支援
- 変数オリエンティッドなデータ依存関係モデルの提案
- 変数オリエンティッドなデータ依存関係モデルの提案
- 並列化支援のためのデータ依存の3次元視覚化
- Visual Debugger における履歴情報の保存と利用
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- 分散共有メモリの形式的仕様記述について
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- 多角形を捜索するために必要な捜索者数について
- Cooperative Control Algorithms for Anonymous Mobile Robots
- ニューロコンピュータAN1における組合せ最適化問題の解法と問題点
- 目的コードサイズ縮小のための短形式命令サブセットの最適構成
- 目的コードサイズ縮小のための短形式命令サブセットの最適構成
- ソフトウエアシミュレーションによるシステムLSI設計・検証ツールの評価
- FPGAによるゲノムシーケンス解析専用プロセッサの設計
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (ディペンダブルコンピューティング)
- 放送による車載機器向けソフトウェア差分更新方式 (ディペンダブルコンピューティング)
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (コンピュータシステム)
- 放送による車載機器向けソフトウェア差分更新方式 (コンピュータシステム)
- 世界規模分散ファイルシステムSKINNY
- リングネットワークにおける一様な自己安定 k-相互排除システム
- リングネットワークにおける一様な自己安定k-相互排除システム
- 自己安定相互排除アルゴリズムの実験的評価とその改良
- リングの方向付け問題を有限状態数で解く自己安定アルゴリズム(アルゴリズムと計算量理論)
- 剰余区間演算の誤差削減方法 : (データフロー依存解析への応用)
- 多項式における剰余区間演算誤差削減のための演算規則
- 2000-ARC-139-8 剰余区間演算規則とその応用例
- CDP^2アルゴリズム : データ分割グラフ上での統合的データ・プログラム分割アルゴリズム
- HDPG:階層データ分割グラフ
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- 辞書式コード圧縮支援機構の遺伝的アルゴリズムによる最適化
- 2000-ARC-139-24 コードサイズを縮小する組込み向けプロセッサと目的コードの協調生成
- 広域ネットワーク向きファイルキャッシュプロトコルの実験的評価
- 汎用OSのアプリケーション特化の半自動化
- 汎用OSのアプリケーション特化の半自動化
- 特定用途のための汎用OSのサイズ縮小に関する考察
- 特定用途のための汎用OSのサイズ縮小に関する考察
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- 放送による車載機器向けソフトウェア差分更新方式
- 放送による車載機器向けソフトウェア差分更新方式
- $k$-コータリのgraph-nondominatednessについて (アルゴリズムと計算の理論)
- 分散相互排除システムの可用度を改善するコーラム再割当アルゴリズム(計算理論とその応用)
- 分散相互排除システムの可用度を改善するコーラム再割当アルゴリズム
- グラフ上の相互排除のためのNDコータリ
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 移動計算機を含むPeer-to-Peer情報共有環境における位置管理方式(マルチメディアコミュニケーションシステム)
- 移動計算機環境における位置情報管理システムの設計と構築
- 移動計算機環境における位置情報管理システムの設計と構築
- WAN向きファイルキャッシュプロトコルSCAUPの提案とその正当性の検証
- オブジェクト指向に基づくスカラ拡張の適用条件のクラス化
- オブジェクト指向の枠組によるループ並列化記述
- 組み込みシステムにおけるオンチップ/オフチップメモリアーキテクチャを対象とした省電力ページングアルゴリズム
- 組み込みシステムにおけるオンチップ/オフチップメモリアーキテクチャを対象とした省電力ページングアルゴリズム
- 組み込みシステムを対象としたメモリ管理
- 組み込みシステムを対象としたメモリ管理
- PDPTA'98
- ATMスイッチにおける三段階スケジューリング法の提案とその評価
- ATMスイッチにおける三段階スケジューリング法の提案とその評価
- ATMスイッチにおける三段階スケジューリング法の提案とその評価(並列・分散)
- 無線環境に適した移動計算機位置情報管理機構の評価
- 無線環境に適した移動計算機位置情報管理機構の評価
- 多重バス結合並列プロセッサのための最適時間ソーティングアルゴリズム (並列処理)
- ループ最小並列実行時間算出の一手法
- 剰余区間演算 : データフロー解析のための数学的ツール
- データ分割配置を考慮するループディストリビューション
- ループによって運ばれる依存を有するループの並列実行時間の見積り
- 整数計画問題としてのループ並列実行時間の下限算出問題
- A Combined Data and Program Partitioning Algorithm for Distributed Memory Multiprocessors
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組み込み用マイクロカーネルOS lambda
- 組み込み用マイクロカーネルOS lambda
- 周期性を有する配列参照パターンの解析手法について
- セル位置情報に基づくアドホックネットワークルーティングの評価