Mercurial > hg > Papers > 2024 > matac-master
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経由で実行する.