3
|
1 \contentsline {chapter}{\numberline {第1章}メモリ管理による信頼性の保証}{2}%
|
6
|
2 \contentsline {chapter}{\numberline {第2章}CbC による Geas OS の開発}{3}%
|
3
|
3 \contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{3}%
|
|
4 \contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{4}%
|
4
|
5 \contentsline {section}{\numberline {2.3}Context}{4}%
|
9
|
6 \contentsline {chapter}{\numberline {第3章}Xv6}{7}%
|
|
7 \contentsline {section}{\numberline {3.1}Kernel Space と User Space}{7}%
|
|
8 \contentsline {section}{\numberline {3.2}system call}{7}%
|
10
|
9 \contentsline {section}{\numberline {3.3}Xv6-rpi}{8}%
|
9
|
10 \contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{9}%
|
|
11 \contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{9}%
|
|
12 \contentsline {section}{\numberline {4.2}Paging}{9}%
|
|
13 \contentsline {section}{\numberline {4.3}User Space で Paging をする利点}{9}%
|
11
|
14 \contentsline {section}{\numberline {4.4}Paging の書き換え}{10}%
|
|
15 \contentsline {chapter}{\numberline {第5章}CbC インターフェース}{12}%
|
|
16 \contentsline {section}{\numberline {5.1}インターフェースの定義}{12}%
|
|
17 \contentsline {section}{\numberline {5.2}インターフェースの実装}{13}%
|
12
|
18 \contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{17}%
|
11
|
19 \contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{21}%
|
13
|
20 \contentsline {chapter}{\numberline {第6章}評価}{24}%
|
|
21 \contentsline {chapter}{\numberline {第7章}まとめ}{25}%
|
|
22 \contentsline {section}{\numberline {7.1}今後の書き換え方針}{25}%
|
|
23 \contentsline {chapter}{謝辞}{25}%
|
|
24 \contentsline {chapter}{参考文献}{27}%
|
|
25 \contentsline {chapter}{発表履歴}{28}%
|
|
26 \contentsline {chapter}{付録}{29}%
|
|
27 \contentsline {chapter}{\numberline {付 録A }ソースコード一覧}{30}%
|
|
28 \contentsline {section}{\numberline {A-1}インターフェース内の private メソッドの実装}{30}%
|