# HG changeset patch
# User tobaru
# Date 1557236527 -32400
# Node ID e63174b29b96e5526360801e5b7fbaf83e58bd9e
# Parent  6ace3dede88ed0e6d7853c6a7495ff327f39c9e6
fix abstract

diff -r 6ace3dede88e -r e63174b29b96 paper/sigos.pdf
Binary file paper/sigos.pdf has changed
diff -r 6ace3dede88e -r e63174b29b96 paper/sigos.tex
--- a/paper/sigos.tex	Tue May 07 21:06:24 2019 +0900
+++ b/paper/sigos.tex	Tue May 07 22:42:07 2019 +0900
@@ -43,9 +43,9 @@
 \author{河野 真治}{Shinji Kono}{IPSJ,JU}
 
 \begin{abstract}
-現代のOSでは, User Space で Page Table による メモリ管理を行えるOSは少ない。
+現代のOSでは, User Space で Page Table Entry による メモリ管理を行えるOSは少ない。
 本研究室ではメタレベルの処理を記述できる CbC と CbC を用いて実装する GearsOS の開発を行っている。
-本論文では、GearsOS に Paging と Segmentation を行える API を実装して User Space からメモリ管理の実装を提案する。
+CbC を用いることでメモリ管理などの資源管理を行えるようになるが、現在の GearsOS でのメモリ管理では単に Page Table Entry をコピーする Fork で実装している。さらに、資源管理を行える CbC で軽量なハードウェアでも動かせるように Arm のバイナリを出力する Xv6 という OS を CbC で書き直して GearsOS を開発する手法も行なっている。本論文ではXv6 を参考に GearsOS にメモリ管理を行う API の実装を提案する。
 
 
 \end{abstract}
@@ -70,17 +70,20 @@
 
 \maketitle
 
-%1
-\section{Con}
-本研究室では、Code Gear と Data Gear という単位でプログラムを記述する CbC と CbC を用いて実装する Gears OS の研究を行っている。Code Gear は並列処理の単位として利用でき, Data Gear はデータそのもので型を持っていて，CbC はメタレベルの処理，並列処理を記述することができる。Data Gear を Paging , Code Gear を Segmentation として
-\\
-サンドバッグ
+
+% 書けるならなぜこれをやっているかを1章に書く
+
+\section{Page Table Entry を User Space で実装する理由}
 
 %2
-\section{GearsOS について}
+\section{Continuation based C}
+
+本研究室では、Code Gear と Data Gear という単位でプログラムを記述する CbC と CbC を用いて実装する Gears OS の研究を行っている。Code Gear は並列処理の単位として利用でき, Data Gear はデータそのもので型を持っていて，CbC はメタレベルの処理，並列処理を記述することができる。
 
 
 
+% Data Gear を Paging , Code Gear を Segmentation として
+
 
 
 %3