| 研究課題/領域番号 |
15500055
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
計算機システム・ネットワーク
|
|---|
| 研究機関 | 関西学院大学 |
|---|
研究代表者 |
石浦 菜岐佐 関西学院大学, 理工学部, 教授 (60193265)
|
|---|
| 研究分担者 |
高橋 和子 関西学院大学, 理工学部, 助教授 (30330400)
巳波 弘佳 関西学院大学, 理工学部, 講師 (40351738)
|
|---|
| 研究期間 (年度) |
2003 – 2004
|
| 研究課題ステータス |
完了 (2004年度)
|
| 配分額 *注記 |
3,700千円 (直接経費: 3,700千円)
2004年度: 1,500千円 (直接経費: 1,500千円)
2003年度: 2,200千円 (直接経費: 2,200千円)
|
|---|
| キーワード | リターゲッタブルコンパイラ / VLIWアーキテクチャ / DSP / カスタムプロセッサ / ASIP Meister / 組込みプロセッサ |
|---|
| 研究概要 |
本研究では、VLIWプロセッサ用リターゲッタブルコンパイラの効率的なコード生成手法の確立を目標に、大阪大学で開発されたプロセッサ合成システムASIP-Meisterに対応したコンパイラの開発と、コード生成アルゴリズムの研究を行った。
コンパイラの開発に関しては、ASIP-MeisterのVLIWプロセッサモデルを分析し、リターゲッタブルなコード生成を行うためにどのような情報が必要かを検討した。これに基づき、仕様記述からコンパイラに必要な情報を抽出し、オペレーションテーブルと呼ばれるデータ構造を構築する処理系を開発した。特に、プロセッサの命令の動作記述からコンパイラに必要な命令パターン群を抽出する方法が課題になったが、設計上の一命令の可制御フィールドに可能な値を代入することにより、コンパイラに必要な複数命令パターンを生成する手法を開発した。また、コードのスケジューリングに必要な命令依存距離をプロセッサ仕様記述から抽出する処理系を実装した。フォワーディングを考慮し、かつRAW、WAR、WAWの全てのデータ依存に対する命令依存距離を求める方法を初めて開発し、実装した。
VLIWプロセッサに対するコード生成アルゴリズムに関しては、シンボリック状態探索による方法と充足可能性判定に基づく厳密解法を基本に検討を進め、マルチサイクルやパイプライン演算器に対応できるように定式化を拡張するとともに、充足可能性判定よりも更に高速に解を求める方法として、準ブール制約充足可能性判定を用いる手法を開発した。
|
