\chapter{メモリ管理による信頼性の保証}
メモリ管理は OS の信頼性の基本であるが, 現代の OS では, User Space で Page Table Entry によるメモリ管理を行える OS は少ない. これは User レベルの操作で Page Table が書き換えられたり，別の Page にアクセスするのを防ぐためだと考えられる．しかし，User Space でメモリ管理を行えるようにすることで, Page のバリデーションをチェックしたり，サンドボックスによる信頼性の保証を行えるようになる．また，適切な記述をすれば最適なメモリ管理にも繋がる．
\par 
 本研究室で開発したメタレベルの記述ができる CbC という言語を用いて, OS の信頼性の基本であるメモリ管理を行える OS を実装することで, OS の信頼性を保証したい.
既存の Gears OS でのメモリ管理では単に Page Table Entry をコピーする Fork を実装
しているが, さらに資源管理を行える CbC で軽量なハードウェアでも動かせるように Arm のバイナリを 出力する Xv6 を参考に GearsOS にメモリ管理を行う API を考察する.