\contentsline {chapter}{\numberline {第1章}メモリ管理による信頼性の保証}{2}%
\contentsline {chapter}{\numberline {第2章}CbC による Geas OS の開発}{3}%
\contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{3}%
\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{4}%
\contentsline {section}{\numberline {2.3}Context}{4}%
\contentsline {chapter}{\numberline {第3章}Xv6}{8}%
\contentsline {section}{\numberline {3.1}Kernel Space と User Space}{8}%
\contentsline {section}{\numberline {3.2}system call}{8}%
\contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{10}%
\contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{10}%
\contentsline {section}{\numberline {4.2}Paging}{10}%
\contentsline {section}{\numberline {4.3}User Space で Paging をする利点}{10}%
\contentsline {section}{\numberline {4.4}Paging の書き換え}{10}%
\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{11}%
\contentsline {section}{\numberline {5.1}インターフェースの定義}{11}%
\contentsline {section}{\numberline {5.2}インターフェースの実装}{12}%
\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{15}%
\contentsline {section}{\numberline {5.4}dummy による実行}{20}%
\contentsline {chapter}{付録}{20}%