| 研究課題/領域番号 |
25280019
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
大堀 淳 東北大学, 電気通信研究所, 教授 (60252532)
|
|---|
| 研究分担者 |
上野 雄大 東北大学, 電気通信研究所, 助教 (60551554)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2018-03-31
|
| キーワード | SML# / コンパイラ / 実装方式 / 最適化 / コード分析 |
|---|
| 研究実績の概要 |
本研究の目的を達成する上での具体的な目標は以下の通りである．(1) 効率よいコード生成システム．不要なクロージャ生成を抑止し，効率良いコードを生成可能にする最適化方式の開発，および，汎用のコード生成システムであるLLVMバックエンドの開発する． (2)コンパイラの高速化技術．関数型言語で書かれたコンパイラの特性の分析を通じて，コンパイル時間の大幅な短縮を実現する技術を開発する． (3)実行時コード分析．コード位置情報を抽象化し，コンパイラが行う各中間言語の変換過程を，意味と型ばかりでなく，抽象的なコード位置情報をも保存する変換として洗練することによって，実行コード分析の枠組みを構築する． (4) ソースコード分析と可視化．ソースコード間の依存関係を表現する方式を構築し，大規模システムのソース構造の可視化ツール等の基礎なるソースコード分析の枠組みを構築する．
これら課題の中で，平成２６年度は主に，(1)に関しては，昨年度の成果を受け継ぎ，LLVMバックエンドを完成させＳＭＬ＃2.0.0版として世界にリリースすると共に，LLVMの汎用のコード生成システムの機能を活かせば種々のアーキテクチャに対応可能との洞察を実証すべく，あらに６４ビットアーキテクチャ向けのバックエンドの試作に取り組み，コンパイラをコンパイルし実際に動作す６４ビットシステムの試作に成功した．また，(2),(3)コンパイラの外部関数の並列実行に関する性能評価，さらに，(4)ソースコード可視化ツールを完成させることに成功した．特に(1), (4)の項目は，当初の予定以上の進展を見た．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
上項目に記載のとおり，当初計画より早くLLVMバックエンドを完成させそれを含むコンパイラをリリースすることができ，さらに計画を拡張し６４ビットアーキテクチャ向けのコンパイラの試作に成功し，また，可視化ツールを完成させることができ，全体として，想定以上の進捗を達成していると言える．
|
| 今後の研究の推進方策 |
今後，これらの研究を一層加速する．平成２７年度は，具体的には，以下の研究を遂行する．(1) ３２ビット及び６４ビットを含むマルチターゲット対応のLLVMバックエンドを完成させる．さらに，研究の進展に伴い研究スコープを拡大し，コンパイラの中間言語を系統的に取り扱う基礎理論の構築を行う．
(2) 前年度の分析結果である外部関数呼び出しの際の性能低下問題の原因を分析し，コンパイルアルゴリズムの見直しを含めた再設計・最適化を試みる．
(3) SML#のプロファイラの試作を行う．
(4) ソースコード可視化ツールをSML＃コンパイラへ組み込む．
(5) SML#の特長を生かした実用システムとしてWEBアプリケーションをターゲットとし，宣言的な記述によりWEBアプリケーション開発環境の理論と実装の研究を新たに開始する．本項目は結果実現しているSML＃コンパイラを，産業界と連携して実用システム開発に適用する段階となったことを受けた新たな研究項目である．この研究の追加によって，本研究の成果の実証，さらにそれらの社会展開に道を拓くものと考える．
|
| 次年度使用額が生じた理由 |
本年度は，ほぼ予定通りの予算執行ができ，次年度使用額は僅か223円である．
|
| 次年度使用額の使用計画 |
次年度に，223円を消耗品等の経費に当て，有効に使用する予定である．
|
