COINSコンパイラ・インフラストラクチャの開発(ソフトウェア論文,<特集>最新コンパイラ技術とCOINSによる実践)
スポンサーリンク
概要
- 論文の詳細を見る
COINSコンパイラ・インフラストラクチャは,コンパイラの研究・開発・教育を容易にする目的で開発したものである.COINSは(1)高水準中間表現と低水準中間表現の2水準の中間表現をもつ,(2)記述言語はJavaで,すべて新規開発した,(3)SSA最適化など最適化の機能が充実している,(4)リターゲッタブルなコード生成系をもつ,(5)並列化の機能を持つ,といった特徴をもっている.開発作業は10箇所以上で分散して行い,3週間に1回程度の全体打ち合わせを持ち進めた.途中いくつかの失敗もあったが,ほぼ当初の目標を達成できた.入力言語はCとFORTRANとして,対象機種はSPARC,x86など,全部で8機種のコンパイラが出来ている.Cコンパイラの目的コードの性能は,GCCのそれに匹敵するものが得られている.COINSシステムはJavaで約26万行の大きさである.本論文では,このインフラストラクチャについて,技術面と開発作業の観点から述べる.
- 日本ソフトウェア科学会の論文
- 2008-01-25
著者
-
渡邊 坦
電気通信大学
-
中田 育男
法政大学情報科学部コンピュータ科学科
-
森 公一郎
エル・エス・アイ ジャパン(株)
-
渡邊 坦
Coinsコンパイラ・インフラストラクチャ協会
-
渡辺 坦
(株)日立製作所システム開発研究所
-
佐々 政孝
東京工業大学大学院情報理工学研究科
-
渡邊 担
電気通信大学情報工学科
-
中田 育男
法政大学情報科学部
-
中田 育男
法政大学情報科学研究科
-
渡辺 坦
(株)日立製作所中央研究所
-
森 公一郎
エル・エス・アイジャパン(株)
-
渡辺 坦
Coinsコンパイラ・インフラストラクチャ協会
関連論文
- SIMDベンチマークの設計と実装(システム性能評価)
- マルチメディアSIMD命令活用のためのデータサイズ推論
- VLIW計算機における効率の良い多重分岐の命令スケジューリング
- 特性の異なるループの融合によるコード最適化
- 非可約な制御フローグラフのための簡潔で高速な支配木と支配辺境の検出算法
- 述語付き命令を持つ計算機における条件変換の静的最適化方式
- 非循環グラフにおける支配関係の簡潔な検出算法
- 機械語の生成を核としたJavaコンパイラシステム
- 印付けと回収を並列に実施するごみ集めについて
- 条件分岐を含むソフトウェアパイプライニング
- ネットワークスイッチのFPGAへの実装とカスタムLSI化
- RISCプロセッサのFPGAへの実装とカスタムLSI化
- RISC向けの高性能中間コードによるマルチプラットホーム実行環境の実現
- 部分冗長コードの多重ループ外への一挙移動方式
- プログラマブルなビジュアルデバッグ支援システム
- 異常検出に対する言語・機種に非依存なオブジェクト最適化
- Javaコンパイラにおける効率的な多次元配列アクセス
- 高速な動的コンパイルが可能なコード生成方式の提案
- 並列度の異なるVLIW計算機ファミリでの命令コード共有方式
- TMDによるコード生成 : SPARCOを例題として(21世紀のコンパイラ道しるべ・・COINSをベースにして,連載4)
- 属性文法に基づくテストプログラム生成器の設計と実装
- 属性文法の系統的デバッグ法
- 双方向CTLによるJava最適化器の生成
- プログラミング言語の最近の動向 (ソフトウェア生産技術) -- (ソフトウェア生産技術)
- 複合バンク機構を考慮した系統的レジスタ割当て方式とその一般化
- VoIPにおける音声品質補償方式の検討
- 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証
- リサーチ9 コンパイラにおける字句解析・構文解析過程の視覚化
- コンパイラにおける構文解析過程の視覚化
- COINSにおける並列化(21世紀のコンパイラ道しるべ・・COINSをベースにして)
- コンパイラ研究の動向について
- 機種非依存中間語ArmCodeを用いたリターゲット型コンパイラの開発と評価
- 条件分岐を考慮したソフトウェアパイプラインにおけるレジスタ割付け
- 静的単一代入形式を用いた最適化(発展編)(最新コンパイラ技術とCOINSによる実践)
- 静的単一代入形式を用いた最適化(導入編)(最新コンパイラ技術とCOINSによる実践)
- 式の出現に基づく大域値番号付け
- コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現
- 疎な要求駆動型データフロー解析
- Java言語上の細粒度マルチスレッドフレームワークにおける問題点の考察
- 条件分岐を含むソフトウェアパイプライニング
- BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- BDDを利用したCプログラムのfield-sensitiveなポインタ解析(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- Array SSAとそれを用いた最適化の実装と評価(プログラム解析,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
- COINSコンパイラ・インフラストラクチャの開発(ソフトウェア論文,最新コンパイラ技術とCOINSによる実践)
- 静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法
- コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その2)(21世紀のコンパイラ道しるべ・・COINSをベースにして,連載6)
- コンパイラ・インフラストラクチャCOINSを用いたSSA最適化(その1)(21世紀のコンパイラ道しるべ・・COINSをベースにして)
- 静的単一代入形式からの逆変換アルゴリズムの比較と評価
- 属性文法の系統的デバッグ法におけるバグ絞り込みの効率化(プログラミングおよびプログラミング言語)
- アセンブリ言語上でのプログラム特化
- リターゲット型コンパイラ向き中間語ArmCodeの開発
- コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 共通的計算機モデルに基づく機器制御用言語el(α)の開発
- 4. ソフトウェアから見た命令セットアーキテクチャ 4.1 コンパイラと命令セットアーキテクチャ (命令セットアーキテクチャ)
- 意味モデルに基づくコード生成方式
- 正則な状態遷移図の全遷移を網羅するテストデータ生成アルゴリズム
- SSA形式によるレジスタ割付
- VLIW計算機における効率の良い多重分岐の命令スケジューリング
- 述語付き命令を持つ計算機における条件変換の静的最適化方式
- 連結生存区間に基づくレジスタ割付け方式の提案
- 連結生存区間に基づくレジスタ割付方式の提案
- 高水準中間表現HIRでの最適化(21世紀のコンパイラ道しるべ・・COINSをベースにして 8)
- LR属性文法に基づいたインクリメンタルな属性評価
- 属性文法に基づくグラフィカルユーザインタフェース生成系とその評価
- 手続き型言語での再帰の除去について
- 手続き型言語での再帰の除去について
- フロー解析に基づく意味的エラー検出方法の研究
- HIRの説明と簡単な言語のフロントエンド(21世紀のコンパイラ道しるべ・・COINSをベースにして,連載2)
- 概要(21世紀のコンパイラ道しるべ : COINSをベースにして)
- 概要
- プログラミング言語 (マイクロコンピュ-タ応用技術) -- (マイクロコンピュ-タシステムのソフトウエア)
- システム記述用プログラム言語MUMPS--会話形簡易デ-タベ-ス言語MUMPSとその用途 (マイコン用高級言語の選び方・使い方--ソフトウェア開発生産性向上へのアプロ-チ) -- (プログラム言語の種類と選定のポイント)
- FORTRAN プログラムの動特性を把握する一手法について
- 連結生存区間に基づくレジスタ割付方式の提案
- 表現能力に富む小さな文法について
- 意味論的メタ言語の形をした計算機言語
- 16ビットマイクロコンピュ-タHD68000用高級言語S-PL/HとFORTRANの開発 (マイクロエレクトロニクス) -- (マイクロコンピュ-タ)
- マイクロコンピュ-タによる会話形簡易デ-タベ-ス言語"Hitachi Micro MUMPS"
- 齋藤鐵男(著), プログラマの数値解析+α, 丸善プラネット(株), 207p., 2,400円+税, ISBN978-4-901689-85-4
- リターゲッタブルコード生成(最新コンパイラ技術とCOINSによる実践)
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- SSA形式を利用したPredicated Execution向け命令スケジューリング手法
- LIRの説明とバックエンドの概要説明(21世紀のコンパイラ道しるべ・・COINSをべースにして)
- LIR : COINSプロジェクトの低水準中間言語
- SSA形式を中間言語とするコンパイラの属性文法による定式化と開発(一般発表)
- 属性文法によるSSA上の最適化器記述
- 属性文法に対するデバッガ
- 循環属性文法に基づく生成系Junについて
- 属性文法に対するデバッグ方式の構想
- 木属性文法とGUI生成系を利用したデバッガの作成
- 異機種分散環境上でのDcamlバイトコードコンパイラの設計と実現
- 異機種分散環境上でのDcamlネイティブコンパイラの設計と実現
- 異機種分散環境上のアプリケーション開発環境Dcamlシステムの構想
- プログラミング言語処理系SqueakのSHARP Zaurusへの移植とその評価
- 低レベル命令セット仮想計算機を利用した混成環境におけるプロセス移送
- 高速実行可能な低レベル命令セット仮想計算機の設計
- 東京工業大学における情報教育(物理と情報)
- 属性文法に対する系統的デバッグ方式
- 属性文法記述に基づくプログラミング環境の生成方式