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