Mercurial > hg > Papers > 2010 > kent-master
comparison paper/abstract.tex @ 10:3d9addf62d0b
organized repository.
author | kent <kent@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 16 Feb 2010 14:35:36 +0900 |
parents | abstract.tex@4b2af58b0302 |
children |
comparison
equal
deleted
inserted
replaced
9:ae0a3666f7f9 | 10:3d9addf62d0b |
---|---|
1 %% 要旨 | |
2 \begin{abstract} | |
3 | |
4 本研究室では継続を基本としたプログラミング言語Continuation based | |
5 C(CbC)を開発している。この言語はCから関数やforループ制御などを除き、同 | |
6 様の動作は全て継続を用いて実現する事で、Cよりも細かい動作を可能にして | |
7 いる。 | |
8 | |
9 これまでCbCのコンパイラにはmicro-cをベースとしたコンパイラを用いてきた | |
10 。また2008年の研究ではGCCにて継続制御を実装し、GCCによるCbCのコンパイ | |
11 ルが可能となった。しかしGCCベースコンパイラにはいくつかの制限があり、 | |
12 一部の機能が未実装であった。 | |
13 | |
14 | |
15 本研究ではGCCベースのコンパイラに、未実装であったCbCの機能を実装した。 | |
16 | |
17 この改善により、GCCベースコンパイラはCbCの機能を完全にサポートし、さら | |
18 に以前のバージョンよりも高速化に成功した。加えてGCCベースにしたことに | |
19 より、これまでmicro-cでは対応していなかった多数のアーキテクチャへの対 | |
20 応が可能となった。実測評価においては micro-cベースのコンパイラと比較し | |
21 、良好な結果を得ることができた。 | |
22 | |
23 | |
24 %%%%% | |
25 %システムの大規模化、複雑化という傾向は現代のソフトウェア開発プロジェク | |
26 %トにおける特徴の一つである。 | |
27 %この傾向は社会システムが成長する中で必然的なものとはいえるが、そのため | |
28 %にシステムの設計や実装において誤りが発生する可能性も応じて高くなり、ソ | |
29 %フトウェア開発における問題点の一つとして挙げられる。 | |
30 | |
31 %また、多くのシステム構築にはソフトウェアとハードウェアの両方が不可欠で | |
32 %ある。その受け渡しを行う組み込み開発の需要も増加傾向にある。 | |
33 %ハードウェア記述にはVHDLや..などが使われるが、それらの言語は現代のソフ | |
34 %トウェア開発でのオブジェクト指向やスタックとは違い、状態遷移を基本とし | |
35 %ており、方向性がまったく違う。 | |
36 %これらを統合し。。。でより効率的なシステム開発が可能になると考えられる | |
37 %。 | |
38 | |
39 %当研究室では、コードセグメントと継続を使う言語 Continuation based C を | |
40 %提案している。 | |
41 %この言語は上記の問題を解決するため、1) ハードウェアとスタック言語の中間 | |
42 %2) 状態遷移を言語として直接記述できる 3) アセンブラに変わるコンパイル | |
43 %ターゲットとして最適 4) 検証をプログラムに組み込める | |
44 %という特徴を持っている。 | |
45 %これにより | |
46 %%Continuation based Cは過去の研究においてGCCやmicro-cへの実装がなされて | |
47 %いる。 | |
48 | |
49 %本研究では実装における問題点の洗い出しとその解決、 | |
50 %またContinuation based Cを使った例としてTaskManagerの実装を紹介する。 | |
51 | |
52 | |
53 \end{abstract} | |
54 |