\chapter{Continuation based C}
%\label{chap:concept}
\section{Continuation based Cの概要}
Continuation based C \cite{cbc} (以下CbC) は基本的な処理単位を CodeGear として定義し、CodeGea 間で遷移するようにプログラムを記述する C 言語と互換性のある当研究室で開発されたプログラミング言語である。図\ref{fig:codegear}はCodeGear間の継続する際の処理の流れを示している。

\begin{figure}[ht]
     \begin{center}
     \includegraphics[width=150mm]{fig/gotoCodeGear.pdf}
     \end{center}
     \caption{CodeGear間の継続}
    \label{fig:codegear}
\end{figure}

また、プログラムを記述する際、ノーマルレベルの記述と別にメモリ管理、スレッド管理など記述しなければならない処理が存在する。これらをメタ計算と呼ぶ。
CbC の CodeGear 、DataGear にはそれぞれ Meta CodeGear 、Meta DataGear と呼ばれるメタレベルの単位が存在する。これらを用いることによってメタ計算を実現し、 OS の信頼性を保証できる。

現在 CbC は C コンパイラであるGCC\cite{gcc} \cite{nobu-prosym}及びLLVM\cite{llvm} \cite{kaito-lola}をバックエンドとした clang 上で実装されている。
本研究では、このプログラミング言語を用いて xv6 の Filesystemを書き換える。
\section{CodeGear}
CodeGear は CbCにおける基本的な処理単位である。以下のソースコード\ref{cbcexample}は CodeGear の継続の例である。
\newpage
\lstinputlisting[label=cbcexample,  caption=CodeGearの継続の例]{src/cbc_example.cbc}
CodeGear は\_\_code CodeGear名 (引数) の形で記述される。
CodeGear は返り値を持たない為、関数内で処理が終了すると呼び出し元の関数に戻ることがなく別の CodeGear へ遷移する。 
ソースコード\ref{cbcexample}の5行目のgoto cg1(c); や8行目のgoto cg2(c); などがこれにあたる。図\ref{fig:goto}はソースコード\ref{cbcexample}の状態遷移を表している。

\begin{figure}[ht]
     \begin{center}
     \includegraphics[width=100mm]{fig/goto.pdf}
     \end{center}
     \caption{ソースコード\ref{cbcexample} が表しているCodeGearの状態遷移}
    \label{fig:goto}
\end{figure}

また CbC における CodeGear 間の継続にはスタックが使用されず、呼び出し元の環境などを持たない為軽量継続と呼ぶ。
この CbC における CodeGear 間の継続にスタックが使用されない性質は信頼性の高い OS の開発に適している。
\newpage
\section{DataGear}
DataGear は CbCにおけるデータの基本的な単位である。CodeGear は  Input DataGear、Output DataGear を引数に持ち、図\ref{fig:DataGear}で示すように遷移する際に任意のInput DataGearを参照し、Output DataGearを書き出す。

\begin{figure}[ht]
     \begin{center}
     \includegraphics[width=100mm]{fig/DataGear.pdf}
     \end{center}
     \caption{CodeGearとDataGear}
    \label{fig:DataGear}
\end{figure}

\section{Meta CodeGear と Meta DataGear}
Meta Code Gear は図\ref{fig:meta}で示すようにノーマルレベルの Code Gear の直後に遷移され、メタ計算を実行する。

\begin{figure}[ht]
     \begin{center}
     \includegraphics[width=150mm]{fig/meta_cg_dg.pdf}
     \end{center}
     \caption{メタレベルの処理を可視化した CodeGearとDataGear}
    \label{fig:meta}
\end{figure}

Meta Data Gear は CbC の 接続可能な Code Gear、 Data Gear のリストでありData Gear を確保するメモリ空間でもある。
ノーマルレベルからの書き換えやアクセスを防ぐために存在している。GearsOS の Context がこれにあたる。
%\section{Meta DataGear}