COINS (COmpiler INfraStructure) Workshop 2005

科学技術振興調整費総合研究
並列化コンパイラ向け共通インフラストラクチャの研究
成果報告会資料

2005年3月

法政大学 情報科学部 中田研究室
電気通信大学 電気通信学部情報工学科 渡邊研究室
東京工業大学 大学院情報理工学研究科 佐々研究室
電気通信大学 大学院情報システム学研究科 弓場研究室
株式会社 三菱総合研究所 情報環境研究本部 情報技術研究部

1. 開催日時: 2005年3月3日(木) 10:00 - 12:30
2. 開催場所: 電気通信大学 西9号館 3階 AVホール
3. 資料:
   • 解説
     • 全体概要
       • 概要
         COINSの概要
         
       • 詳細
         coins全体図(英文)
         coinの概要(英文)
         
     • 共通インフラストラクチャの研究
       • 基盤部
         • 概要
           基盤部の概要
           低水準中間表現の概要
           COINSバックエンド部の実装
           
         • 詳細
           基盤部
           共通中間表現の概要
           高水準中間表現の概要
           高水準中間表現の型と意味
           記号表の概要
           LIR: COINSプロジェクトの低水準中間表現
           コンパイラ・ドライバ
           
           • バックエンド
             Coinsリターゲッティングの手引き
             Coinsのレジスタ割当てアルゴリズム
             LIR 内部構造
             Coins LIR解説
             
       • 静的単一代入形式最適化
         • 概要
           静的単一代入形式に基づく最適化に関する研究
           
         • スライド
           静的単一代入形式に基づく最適化に関する研究
           
         • 詳細
           SSA形式 (静的単一代入形式)とは
           SSA形式最適化の例 (条件付き定数伝播)
           SSA形式最適化の例 (共通部分式除去)
           静的単一代入形式最適化システム外部仕様書
           
     • 自動並列化の研究
       • ループ並列化の研究
         • 概要
           基本並列化処理の概要
           
         • スライド
           基本並列化処理
           
         • 詳細
           基本並列化の機能と実現方式
           
       • SMP並列化の研究
         • 概要
           SMP並列化
           
         • 詳細
           粗粒度並列化コンパイラ CoCo
           
       • SIMD並列化の研究
         • 概要
           SIMD並列化
           
         • スライド
           SIMD並列化 (ppt)
           
         • 詳細
           SIMD並列化
           

• プロジェクトURL
  
  http://www.coins-project.org/