Mercurial > hg > Papers > 2020 > tobaru-master
view paper/master_paper.toc @ 11:f7ed2b4874f4
xv6 reference
author | tobaru |
---|---|
date | Tue, 04 Feb 2020 11:16:19 +0900 |
parents | a882e390f9a2 |
children | 9cf9e0b086c7 |
line wrap: on
line source
\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}{7}% \contentsline {section}{\numberline {3.1}Kernel Space と User Space}{7}% \contentsline {section}{\numberline {3.2}system call}{7}% \contentsline {section}{\numberline {3.3}Xv6-rpi}{8}% \contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{9}% \contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{9}% \contentsline {section}{\numberline {4.2}Paging}{9}% \contentsline {section}{\numberline {4.3}User Space で Paging をする利点}{9}% \contentsline {section}{\numberline {4.4}Paging の書き換え}{10}% \contentsline {chapter}{\numberline {第5章}CbC インターフェース}{12}% \contentsline {section}{\numberline {5.1}インターフェースの定義}{12}% \contentsline {section}{\numberline {5.2}インターフェースの実装}{13}% \contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{16}% \contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{21}% \contentsline {chapter}{謝辞}{22}% \contentsline {chapter}{参考文献}{24}% \contentsline {chapter}{付録}{25}%