リアルタイム依存解析による実用的な並列命令処理方式の構築

• 研究課題/領域番号: 21700056
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 計算機システム・ネットワーク
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: 佐藤 幸紀 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 助教 (30452113)
• 研究期間 (年度): 2009 – 2011
• 研究課題ステータス: 完了 (2011年度)
• 配分額: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円); 2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2010年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2009年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
• キーワード: データ依存解析 / リアルタイム依存解析 / ループ並列性 / 並列命令処理方式 / ランタイム並列化 / 実行時プロファイリング

研究概要

本研究では、アプリケーションプログラムに対して生産的に高度な並列化を行うことを支援するためにリアルタイムデータ依存解析システムを研究開発し、プログラムに内在する並列性をユーザーに提示する仕組みを構築することを目指した。動的バイナリ変換システムを用いて本システムを構築し、ベンチマークプログラムにより実用性や精度に関する評価を行った。それらの結果、検出したデータ依存関係から生産的に並列な領域を抽出できることを解明した。

研究成果

• [雑誌論文] HPC systems at JAIST and development of dynamic loop monitoring tools toward runtime parallelization (2012)
  • 著者名/発表者名: Yukinori Sato
  • 雑誌名: High Performance Computing on Vector Systems 2011 ページ: 65-78
• [雑誌論文] HPC systems at JAIST and development of dynamic loop monitoring tools toward runtime parallelization (2012)
  • 著者名/発表者名: Yukinori Sato
  • 雑誌名: High Performance Computingon Vector Systems 2on ページ: 65-78
  • DOI: 10.1007/978-3-642-22244-3_5
  • ISBN: 9783642222436, 9783642222443
• [雑誌論文] On-the-fly Detection of Precise Loop Nests across Procedures on a Dynamic Binary Translation System (2011)
  • 著者名/発表者名: Yukinori Sato, Yasushi Inoguchi and Tadao Nakamura
  • 雑誌名: Proceedings of 2011 ACM International Conference on Computing Frontiers ページ: 1-10
  • DOI: 10.1145/2016604.2016634
  • 査読あり
• [雑誌論文] On-the-fly Detection of Precise Loop Nests across Procedures on a Dynamic Binary Translation System (2011)
  • 著者名/発表者名: Yukinori Sato, Yasushi Inoguchi, Tadao Nakamura.
  • 雑誌名: Proceedings of 2011 ACM International Conference on Computing Frontiers
  • 査読あり
• [学会発表] バイナリトランスレーションによるループ反復間のデータ依存解析 (2012)
  • 著者名/発表者名: 佐藤幸紀,井口寧,中村維男
  • 学会等名: 第133回ハイパフォーマンスコンピューティング研究発表会
  • 発表場所: 神戸市
  • 年月日: 2012-03-26
• [学会発表] バイナリトランスレーションによるループ反復間のデータ依存解析 (2012)
  • 著者名/発表者名: 佐藤幸紀, 井口寧, 中村維男
  • 学会等名: 第133回ハイパフォーマンスコンピューテイング研究発表会
  • 発表場所: 神戸市
  • 年月日: 2012-03-26
• [学会発表] Loop-call context treeを用いたランタイムデータフロー解析 (2011)
  • 著者名/発表者名: 佐藤幸紀,井口寧,中村維男
  • 学会等名: 2011年並列/分散/協調処理に関する『鹿児島』サマー・ワークショップ
  • 発表場所: 鹿児島市
  • 年月日: 2011-07-27
• [学会発表] On-the-fly Detection of Precise Loop Nests across Procedures on a Dynamic Binary Translation System (2011)
  • 著者名/発表者名: Yukinori Sato, Yasushi Inoguchi and Tadao Nakamura
  • 学会等名: 2011 ACM International Conference on Computing Frontiers
  • 発表場所: イタリアイスキア
  • 年月日: 2011-05-04
• [学会発表] On-the-fly Detection of Precise Loop Nests across Procedures on a Dynamic Binary Translation System (2011)
  • 著者名/発表者名: Yukinori Sato, Yasushi Inoguchi, Tadao Nakamura.
  • 学会等名: 2011 ACM International Conference on Computing Frontiers
  • 発表場所: イタリア イスキア
  • 年月日: 2011-05-04
• [学会発表] 動的バイナリトランスレーションによるループネスト検出とプログラムチューニング支援への応用 (2010)
  • 著者名/発表者名: 佐藤幸紀,井口寧,中村維男
  • 学会等名: 第18回ハイパフォーマンスコンピューティングとアーキテクチャの評価に関する北海道ワークショップ(HOKKE-18)
  • 発表場所: 北海道大学(北海道)
  • 年月日: 2010-12-16
• [学会発表] HPC systems at JAIST and development of dynamic loop monitoring tools toward runtime parallelization (2010)
  • 著者名/発表者名: Yukinori Sato
  • 学会等名: 13th Teraflop Workshop(招待講演)
  • 発表場所: 東北大学(宮城県)
  • 年月日: 2010-10-21
• [学会発表] HPC systems at JAIST and development of dynamic loop monitoring tools toward runtime parallelization (2010)
  • 著者名/発表者名: Yukinori Sato
  • 学会等名: 13th Teraflop Workshop
  • 発表場所: 東北大学(宮城県)(招待講演)
  • 年月日: 2010-10-21
• [学会発表] Profiling the dynamic behavior of nested loops using the loop-call context tree. WISH : 2nd Workshop on Infrastructures for Software/Hardware co-design (2010)
  • 著者名/発表者名: Yukinori Sato, Tadao Nakamura
  • 学会等名: held in conjunction with 2010 International Symposium on Code Generation and Optimization(CGO)
  • 発表場所: カナダトロント
  • 年月日: 2010-04-25
• [学会発表] Profiling the dynamic behavior of nested loops using the loop-call contexttree (2010)
  • 著者名/発表者名: Yukinori Sato, Tadao Nakamura.
  • 学会等名: 2nd Workshop on Infrastructures for Software/Hardware co-design (WISH), held in conjunction with 2010 International Symposium on Code Generation and Optimization (CGO)
  • 発表場所: カナダ トロント
  • 年月日: 2010-04-25
• [学会発表] Profiling the dynamic behavior of nested loops using the loop-call context tree (2010)
  • 著者名/発表者名: Yukinori Sato, Tadao Nakamura.
  • 学会等名: 2nd Workshop on Infrastructures for Software/Hardware co-design (WISH), held in conjunction with 2010 International Symposium on Code Generation and Optimization (CGO)
  • 発表場所: カナダトロント
  • 年月日: 2010-04-25
• [学会発表] 実行時データ依存解析によるループ階層構造に着目した並列性抽出 (2009)
  • 著者名/発表者名: 佐藤幸紀,中村維男
  • 学会等名: 2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップSWoPP2009
  • 発表場所: 仙台市
  • 年月日: 2009-08-04
• [学会発表] 実行時データ依存解析によるループ階層構造に着目した並列性抽出 (2009)
  • 著者名/発表者名: 佐藤幸紀, 中村維男
  • 学会等名: 並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009)
  • 発表場所: フォレスト仙台(仙台)
  • 年月日: 2009-08-04
• [備考]
  • URL: http://www.jaist.ac.jp/~yukinori