Mercurial > hg > Papers > 2022 > soto-sigos

comparison Paper/tex/cbc.tex @ 0:14a0e409d574

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ADD fast commit
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Sun, 24 Apr 2022 23:13:44 +0900
parents
children 9f6cb9166d06
comparison
equal deleted inserted replaced
-1:000000000000 0:14a0e409d574
1 \section{Continuation based C}
2 Continuation based C\cite{kaito-lola} (以下 CbC) は CodeGear を処理の単位、
3 DataGear をデータの単位として記述するプログラミング言語である。
4 CbC は C 言語とほぼ同じ構文を持つが、よりアセンブラに近い記述になる。
5
6 CbC では検証しやすいプログラムの単位として DataGear と CodeGear という
7 単位を用いるプログラミングスタイルを提案している。
8
9 DataGear は CodeGear で扱うデータの単位であり、処理に必要なデータである。
10 CodeGear の入力となる DataGear を Input DataGear と呼び、
11 出力は Output DataGear と呼ぶ。
12
13 CodeGear はプログラムの処理そのもので、図 \ref{fig:cgdg}で示しているように任意の数の
14 Input DataGear を参照し、処理が完了すると任意の数の Output DataGear に書き込む。
15
16 CodeGear 間の移動は継続を用いて行われる。継続は関数呼び出しとは異なり、呼び出し
17 た後に元のコードに戻らず、次の CodeGear へ継続を行う。
18 これは、関数型プログラミングでは末尾関数呼び出しを行うことに相当する。
19 \begin{figure}[htpb]
20 \begin{center}
21 \scalebox{0.3}{\includegraphics{fig/cgdg.pdf}}
22 \end{center}
23 \caption{CodeGear と DataGear}
24 \label{fig:cgdg}
25 \end{figure}
26
27 また、プログラムの記述する際は、ノーマルレベルの計算の他に、メモリ管理、スレッド管理、資源管理等を記述しなければならない処理が存在する。
28 これらの計算はノーマルレベルの計算と区別してメタ計算と呼ぶ。
29
30 メタ計算は OS の機能を通して処理することが多く、信頼性の高い記述が求められる。
31 そのため、 CbC ではメタ計算を分離するために Meta CodeGear、 Meta DataGear を定義している
32
33 Meta CodeGear は CbC 上でのメタ計算で、通常の CodeGear を実行する際に必要なメタ計算を分離するための単位である。
34 図 \ref{fig:meta-cgdg} のように CodeGear を実行する前後や DataGear の大枠として Meta Gear が存在している。
35
36 \begin{figure}[htpb]
37 \begin{center}
38 \scalebox{0.3}{\includegraphics{fig/meta-cg-dg.pdf}}
39 \end{center}
40 \caption{メタ計算を可視化した CodeGear と DataGear}
41 \label{fig:meta-cgdg}
42 \end{figure}
43