|
12
|
1 \chapter{Continuation based C}
|
|
|
2
|
|
|
3 Continuation based C (CbC)は当研究室で開発しているプログラミング言語であり、OSや組み込みソフトウェアの開発を主な対象としている。
|
|
13
|
4 CbC は C言語の下位の言語であり、構文はほぼC言語と同じものを持つが、よりアセンブラに近い形でプログラムを記述する。
|
|
12
|
5 CbC は CodeSegment と呼ばれる単位で処理を定義し、それらを組み合わせることにでプログラム全体を構成する。
|
|
|
6 データの単位は DataSegment と呼ばれる単位で定義し、それら CodeSegment によって変更していくことでプログラムの実行となる。
|
|
|
7 CbC の処理系には llvm/clang による実装\cite{110009766999} と gcc\cite{weko_82695_1}による実装などが存在する。
|
|
|
8
|
|
13
|
9 % {{{ section: CodeSegment と DataSegment
|
|
12
|
10
|
|
|
11 \section{CodeSegment と DataSegment}
|
|
|
12 本研究室では検証を行ないやすいプログラムの単位として CodeSegment と DataSegment を用いるプラグラミングスタイルを提案している。
|
|
|
13
|
|
|
14 CodeSegment は処理の単位である。
|
|
|
15 入力を受け取り、それに対して処理を行なった後を出力を行なう。
|
|
|
16 また、CodeSegment は他の CodeSegment と組み合わせることが可能である。
|
|
|
17 あるCodeSegment A を CodeSegment B に接続した場合、 A の出力は B の入力となる。
|
|
|
18
|
|
|
19 % TODO: figure (cs A . cs B)
|
|
|
20
|
|
|
21 DataSegment は CodeSegment が扱うデータの単位であり、処理に必要なデータが全て入っている。
|
|
|
22 CodeSegment の入力となる DataSegment は Input DataSegment と呼ばれ、出力は Output DataSegment と呼ばれる。
|
|
|
23 CodeSegment A と CodeSegment B を接続した時、A の Output DataSegment は B の入力 Input DataSegment となる。
|
|
|
24
|
|
|
25 % TODO: figure (cs A --(ds)--> cs B)
|
|
|
26
|
|
13
|
27 % }}}
|
|
12
|
28
|
|
|
29 \section{Continuation based C における CodeSegment と DataSegment}
|
|
13
|
30 最も基本的な CbC のソースコードをリスト\ref{cbc:cs.cbc}に、ソースコードが実行される流れを図\ref{fig:cs.cbc}に示す。
|
|
|
31 Continuation based C における CodeSegment は返り値を持たない関数として表現される。
|
|
|
32 CodeSegment を定義するためには、C言語の関数を定義する構文の返り値の型部分に \verb/__code/ キーワードを指定する。
|
|
|
33 Input DataSegment は関数の引数として定義される。
|
|
|
34 次の CodeSegment へ処理を移す際には \verb/goto/ キーワードの後に CodeSegment 名と Input DataSegment を指定する。
|
|
|
35 処理の移動を軽量継続と呼び、リスト\ref{cbc:cs.cbc}内の \verb/goto cs1(a+b);/ がこれにあたる。
|
|
|
36 この時の \verb/(a+b)/ が次の CodeSegment の Input DataSegment となる Output DataSegment である。
|
|
12
|
37
|
|
13
|
38 % TODO: cs の source(goto 付き)
|
|
|
39 % TODO: cs のfigure(goto 付き)
|
|
|
40
|
|
|
41 % TODO: scheme ref?
|
|
|
42 Scheme などの call/cc といった継続はトップレベルから現在までの位置を環境として保持する。
|
|
|
43 通常環境とは関数の呼び出しスタックの状態である。
|
|
|
44 CbC の軽量継続は呼び出し元の情報を持たないため、スタックを破棄しながら処理を続けていく。
|
|
|
45 よって、リスト\ref{cbc:cs.cbc} のプログラムでは cs0 から cs1 へと継続した後にcs0 へ戻ることはできない。
|
|
|
46
|
|
|
47 % TODO: factorial
|
|
|
48
|
|
12
|
49
|
|
|
50
|
|
|
51 \section{MetaCodeSegment と MetaDataSegment}
|
|
|
52 \section{GearsOS}
|
|
|
53 \section{メタ計算ライブラリ akasha}
|
|
|
54 \section{akasha を用いた赤黒木の実装の検証}
|
|
|
55
|
