changeset 3:e63174b29b96

fix abstract
author tobaru
date Tue, 07 May 2019 22:42:07 +0900
parents 6ace3dede88e
children 54a8bf3bba7b
files paper/sigos.pdf paper/sigos.tex
diffstat 2 files changed, 11 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
Binary file paper/sigos.pdf has changed
--- 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