Mercurial > hg > Papers > 2010 > kent-master
view abstract.tex @ 5:dfb89e32eea1
added gcc.tex, conclusion.tex
and some sources.
writed abstraction.
author | kent <kent@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 08 Feb 2010 00:35:58 +0900 |
parents | 50e23a4b2f40 |
children | 8ef81ff8cb52 |
line wrap: on
line source
%% 要旨 \begin{abstract} %%TODO 本研究室では継続を基本としたプログラミング言語Continuation based C(CbC)を開発している。この言語はCから関数やforループ制御などを除き、同 様の動作は全て継続を用いて実現する事で、Cよりも細かい動作を可能にして いる。 これまでCbCのコンパイラにはmicro-cをベースとしたコンパイラを用いてきた 。また、2008年の研究ではGCCでのCbCコンパイルも可能となった。しかし、 GCCは当初の期待ほどの性能は出ず、未実装の機能もあり、また実装方法の問 題からバグの存在も明らかになった。 そこで本研究ではその問題点の洗い出しと、未実装であった機能の実装を含む その問題点の改善を行った。 この改善により、GCCコンパイラはCbCの機能を完全にサポートし、さらに以前 のバージョンよりも高速化に成功した。またこれまでmicro-cでは対応してい なかった多数のアーキテクチャへの対応が可能となった。実測評価においては micro-cベースのコンパイラと比較し、良好な結果を得られた。 %%%%% %システムの大規模化、複雑化という傾向は現代のソフトウェア開発プロジェク %トにおける特徴の一つである。 %この傾向は社会システムが成長する中で必然的なものとはいえるが、そのため %にシステムの設計や実装において誤りが発生する可能性も応じて高くなり、ソ %フトウェア開発における問題点の一つとして挙げられる。 %また、多くのシステム構築にはソフトウェアとハードウェアの両方が不可欠で %ある。その受け渡しを行う組み込み開発の需要も増加傾向にある。 %ハードウェア記述にはVHDLや..などが使われるが、それらの言語は現代のソフ %トウェア開発でのオブジェクト指向やスタックとは違い、状態遷移を基本とし %ており、方向性がまったく違う。 %これらを統合し。。。でより効率的なシステム開発が可能になると考えられる %。 %当研究室では、コードセグメントと継続を使う言語 Continuation based C を %提案している。 %この言語は上記の問題を解決するため、1) ハードウェアとスタック言語の中間 %2) 状態遷移を言語として直接記述できる 3) アセンブラに変わるコンパイル %ターゲットとして最適 4) 検証をプログラムに組み込める %という特徴を持っている。 %これにより %%Continuation based Cは過去の研究においてGCCやmicro-cへの実装がなされて %いる。 %本研究では実装における問題点の洗い出しとその解決、 %またContinuation based Cを使った例としてTaskManagerの実装を紹介する。 \end{abstract}