diff Paper/master_paper.tex @ 10:b7abe0e40c22

...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Sat, 23 Dec 2023 16:08:07 +0900
parents 83b783747d1a
children 67b68982e36e
line wrap: on
line diff
--- a/Paper/master_paper.tex	Sat Dec 09 19:20:23 2023 +0900
+++ b/Paper/master_paper.tex	Sat Dec 23 16:08:07 2023 +0900
@@ -121,7 +121,14 @@
 よって,今回はGearsOSにおけるファイルシステムとDBをRedBlackTreeで実装するための
 設計を行う.
 
-\chapter{Continuation based C}
+\chapter{軽量継続を基本とする言語CbC}
+
+\section{処理の単位CodeGear}
+\section{データの単位DataGear}
+\section{ノーマルレベルとメタレベルの切り分け}
+\section{gotoによる軽量継続}
+\section{CodeGearの記述例}
+\section{CbCの現状}
 
 Continuation based C(CbC)\cite{cbcllvm,cbc}は,当研究室で開発しているCの下位言語である.
 CbCでは関数の代わりにCodeGearという単位でプログラミングを行う.
@@ -162,6 +169,13 @@
 
 \chapter{信頼性の保証を目的としたGearsOS}
 
+\section{3種類のGearsOS}
+\section{メタ処理を記述するmetaGear}
+\section{CodeGearの遷移}
+\section{全てのGearを参照するContext}
+\section{GearsOSの記述例}
+\section{GearsOSの現状}
+
 GearsOS\cite{gears,gearsos,cr}は当研究室で開発している,信頼性と拡張性の両立を目的としたOSである.
 GearsOSにはGearという概念があり,実行の単位をCodeGear,データの単位をDataGearと呼ぶ.
 軽量継続を基本とし,stackを持たない代わりに全てをContext経由で実行する.