COINSコンパイラの最適化器の時相論理による生成・検証と最適化器の高度化拡張

2012 年度 研究成果報告書

• 研究課題/領域番号: 22300007
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京工業大学
• 研究代表者: 佐々 政孝 東京工業大学, 大学院・情報理工学研究科, 教授 (20016182)
• 研究分担者: 滝本 宗宏 東京理科大学, 理工学部, 准教授 (00318205)
• 研究期間 (年度): 2010 – 2012
• キーワード: コンパイラ / コード最適化 / 時相論理 / 静的単一代入形式 / 網羅型データフロー 解析 / 要求駆動型データフロー解析 / キャッシュ効率化 / 大域値番号付け

研究概要

COINSコンパイラの低水準中間表現に対し,双方向時相論理であるCTL-FVを用いて最適化のパターンと変換を記述し,そこからモデル検査により,C言語の最適化器を生成した.一方,通常形式上の部分冗長除去(PRE)を静的単一代入形式上で行うように変換する汎用的な手法を開発した.また,PREおよびPREに似た部分無用コード除去法の効率化と効果の向上を行い,PREの応用として,同じ配列を参照するロード命令のキャッシュヒット率を向上させる手法を実現した.

研究成果

• [雑誌論文] 効率的な要求駆動型部分冗長除去 (2013)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 雑誌名: 情報処理学会論文誌:プログラミング 巻: (掲載予定)
  • 査読あり
• [雑誌論文] 配列の次元を考慮した大域ロード命令集約 (2012)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 雑誌名: 信学技報,電子情報通信学会 巻: Vol.112No.164 ページ: SS2012-29,115-119
• [雑誌論文] Demand-driven Partial Dead Code Elimination (2012)
  • 著者名/発表者名: Takimoto, M.
  • 雑誌名: IPSJ Transactions on Programming 巻: Vol.5,No.1 ページ: 9-16
  • 査読あり
• [雑誌論文] Global Load Instruction Aggregation Based on Code Motion, Proc. of IEEE International Symposium on Parallel Architectures, Algorithms and Programming, PAAP'12 (2012)
  • 著者名/発表者名: Sumikawa, Y. and Takimoto, M.
  • 雑誌名: IEEE Computer Society ページ: 149-156
  • 査読あり
• [雑誌論文] A Generalized Method for Realizing Partial Redundancy Elimination for Normal Forms in Static Single Assignment Forms (2011)
  • 著者名/発表者名: Sassa, M., Imahashi, T. and Ito, Y.
  • 雑誌名: Advances in Computer Science and Engineering 巻: Vol.7, No.1 ページ: 1-24
  • 査読あり
• [学会発表] スピルコストを考慮した部分冗長除去 (2013)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 学会等名: 情報処理学会第75回全国大会講演論文集,情報処理学会
  • 発表場所: 仙台
  • 年月日: 2013-03-08
• [学会発表] 質問伝播に基づく大域ロード命令集約 (2013)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 学会等名: 第54回プログラミングシンポジウム,情報処理学会
  • 発表場所: 強羅
  • 年月日: 2013-01-11
• [学会発表] 効率的な要求駆動型部分冗長除去 (2012)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 学会等名: 情報処理学会第74回全国大会講演論文集,情報処理学会
  • 発表場所: 名古屋
  • 年月日: 2012-03-06
• [学会発表] 並列化と実行時コード生成を用いた正規表現マッチングの高速化 (2012)
  • 著者名/発表者名: 新屋良磨,光成滋生,佐々政孝
  • 学会等名: 情報処理学会プログラミングシンポジウム,第53回
  • 発表場所: 湯河原,ポスター発表
  • 年月日: 2012-01-08
• [学会発表] コード移動に基づく大域ロード命令集約 (2011)
  • 著者名/発表者名: 澄川靖信,滝本宗宏
  • 学会等名: 日本ソフトウェア科学会第28回大会講演論文集,日本ソフトウェア科学会
  • 発表場所: 那覇
  • 年月日: 2011-09-29
• [学会発表] 並列化と実行時コード生成を用いた正規表現マッチングの高速化 (2011)
  • 著者名/発表者名: 新屋良磨,光成滋生,佐々政孝
  • 学会等名: 日本ソフトウェア科学会大会論文集,第28回
  • 発表場所: 那覇
  • 年月日: 2011-09-24
• [備考]
  • URL: http://www.is.titech.ac.jp/~sassa/coins-www-ssa/japanese/index.html