Mercurial > hg > Papers > 2017 > mitsuki-sigos
changeset 10:52b6be8721f8
Update
| author | one |
|---|---|
| date | Sat, 22 Apr 2017 16:51:51 +0900 |
| parents | 9df52fe5b3d7 |
| children | 20b0ecfe114e |
| files | paper/sigos.tex |
| diffstat | 1 files changed, 2 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/sigos.tex Sat Apr 22 16:44:02 2017 +0900 +++ b/paper/sigos.tex Sat Apr 22 16:51:51 2017 +0900 @@ -66,6 +66,8 @@ % 和文概要 \begin{abstract} + 現代の OS では拡張性と信頼性を両立させることが要求されている。 + 信頼性をノーマルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に Gears OS を設計中である。 Gears OS は Continuation based C によってアプリケーションとOSそのものを記述する。 OS の下ではプログラムの記述は通常の処理の他に、メモリ管理、スレッドの待ち合わせやネットワークの管理、エラーハンドリング等の記述しなければならない処理が存在する。 これらの計算をメタ計算と呼ぶ。