annotate paper/master_paper.toc @ 18:afc36230cf4f

slide chapter3,4
author tobaru
date Fri, 07 Feb 2020 20:06:13 +0900
parents 6afd90dba6db
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
14
3952ffd84dfe context, etc
tobaru
parents: 13
diff changeset
1 \contentsline {chapter}{\numberline {第1章}OS の信頼性の保障}{2}%
17
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
2 \contentsline {chapter}{\numberline {第2章}CbC による Geas OS の開発}{4}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
3 \contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{4}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
4 \contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{5}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
5 \contentsline {section}{\numberline {2.3}Context}{5}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
6 \contentsline {chapter}{\numberline {第3章}Xv6}{8}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
7 \contentsline {section}{\numberline {3.1}Kernel Space と User Space}{8}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
8 \contentsline {section}{\numberline {3.2}system call}{8}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
9 \contentsline {section}{\numberline {3.3}Xv6-rpi}{9}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
10 \contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{10}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
11 \contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{10}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
12 \contentsline {section}{\numberline {4.2}Paging}{10}%
18
afc36230cf4f slide chapter3,4
tobaru
parents: 17
diff changeset
13 \contentsline {section}{\numberline {4.3}CbCXv6 での Paging}{10}%
17
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
14 \contentsline {section}{\numberline {4.4}Paging の書き換え}{11}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
15 \contentsline {chapter}{\numberline {第5章}CbC インターフェース}{13}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
16 \contentsline {section}{\numberline {5.1}インターフェースの定義}{13}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
17 \contentsline {section}{\numberline {5.2}インターフェースの実装}{14}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
18 \contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{18}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
19 \contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{22}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
20 \contentsline {chapter}{\numberline {第6章}評価}{25}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
21 \contentsline {chapter}{\numberline {第7章}まとめ}{26}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
22 \contentsline {section}{\numberline {7.1}今後の書き換え方針}{26}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
23 \contentsline {chapter}{謝辞}{26}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
24 \contentsline {chapter}{参考文献}{28}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
25 \contentsline {chapter}{発表履歴}{29}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
26 \contentsline {chapter}{付録}{30}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
27 \contentsline {chapter}{\numberline {付 録A }ソースコード一覧}{31}%
6afd90dba6db slide chapter1
tobaru
parents: 14
diff changeset
28 \contentsline {section}{\numberline {A-1}インターフェース内の private メソッドの実装}{31}%