|
3
|
1 <!DOCTYPE html>
|
|
|
2
|
|
|
3 <!--
|
|
|
4 Google HTML5 slide template
|
|
|
5
|
|
|
6 Authors: Luke Mahé (code)
|
|
|
7 Marcin Wichary (code and design)
|
|
|
8
|
|
|
9 Dominic Mazzoni (browser compatibility)
|
|
|
10 Charles Chen (ChromeVox support)
|
|
|
11
|
|
|
12 URL: http://code.google.com/p/html5slides/
|
|
|
13 -->
|
|
|
14
|
|
|
15 <html>
|
|
|
16 <head>
|
|
|
17 <title>Presentation</title>
|
|
|
18 <link src='../styles.css'>
|
|
|
19 <meta charset='utf-8'>
|
|
|
20 <script
|
|
|
21 src='../slides.js'></script>
|
|
|
22 </head>
|
|
|
23
|
|
|
24 <style>
|
|
|
25 /* Your individual styles here, or just use inline styles if that’s
|
|
|
26 what you want. */
|
|
|
27
|
|
|
28
|
|
|
29 </style>
|
|
|
30 <body style='display: none'>
|
|
|
31
|
|
|
32 <section class='slides layout-regular template-default'>
|
|
|
33
|
|
|
34 <!-- Your slides (<article class='nobackground'>s) go here. Delete or comment out the
|
|
|
35 slides below. -->
|
|
|
36
|
|
|
37 <article>
|
|
|
38 <h1>CbC による OS の実装</h1>
|
|
|
39 <p>Taiki Taira / Jan 22 2013</p>
|
|
|
40 </article>
|
|
|
41
|
|
|
42 <article>
|
|
|
43 <h3>研究目的[1/2]</h3>
|
|
|
44 <p>
|
|
|
45 本研究では code segment ,datasegment に沿った OS を実装することを目的とする。<br>
|
|
|
46 その実装には、本研究室で開発された Continuation based C (CbC)を用いる。<br>
|
|
|
47 CbC は C 言語よりも低くアセンブラより高い層で記述できる言語である。C の仕様からループ制御や関数コールを取り除いている。これによりスタックの操作やループ、関数呼び出しなどのより低レベルでの最適化をソースコードレベルで行うことができる。<br>
|
|
|
48 </p>
|
|
|
49 </article>
|
|
|
50
|
|
|
51 <article>
|
|
|
52 <h3>研究目的[2/2]</h3>
|
|
|
53 <p>
|
|
|
54 Codesegment, Datasegment を意識した設計にし、メモリ外へのアクセスを制限しセキュリティの向上と、malloc/free などのメモリ管理を OS に行わせ、プログラマの負担を減らす。<br>
|
|
|
55 故障が発生した際に、機能を完全に喪失するのではなく、 可能な範囲で機能が維持されるようにすることを Graceful Degradation という。<br>
|
|
|
56 この Graceful Degradation を目指して実装をすすめる。<br>
|
|
|
57 </p>
|
|
|
58 </article>
|
|
|
59
|
|
|
60 <article>
|
|
|
61 <h3>
|
|
|
62 設計[1/3]
|
|
|
63 </h3>
|
|
|
64 <img src='boot_process.png'>
|
|
|
65 <img src='kernel.png'>
|
|
|
66 <p>
|
|
|
67 Datasegment Manager から Codesegment / Task / Datasegment を取り出して、Codesegment Manager へ投げる。
|
|
|
68 </p>
|
|
|
69 </article>
|
|
|
70
|
|
|
71 <article>
|
|
|
72 <h3>
|
|
|
73 設計[2/3] CodeSegment
|
|
|
74 </h3>
|
|
|
75 <img src='CodeSegment.png'>
|
|
|
76 <p>Task で Codesegment に対応している Datasegment を InputDatasegment を通して Codesegment で実行する。
|
|
|
77 <br>OutputDatasegment で Datasegment が正しいか確認する。
|
|
|
78 <br>InputDatasegment と OutputDatasegment を CodeSegment で実行する結果が、Hoare Logic で証明できる？
|
|
|
79 </p>
|
|
|
80 </article>
|
|
|
81
|
|
|
82 <article>
|
|
|
83 <h3>
|
|
|
84 設計[3/3] DataSegment
|
|
|
85 </h3>
|
|
|
86 <img src='DataSegment.png'>
|
|
|
87 <img src='Moving_DS_pointer.png'>
|
|
|
88 </article>
|
|
|
89
|
|
|
90 <article>
|
|
|
91 <h3>
|
|
|
92 設計[3/3] DataSegment
|
|
|
93 </h3>
|
|
|
94 <p>
|
|
|
95 Persistent Datasegment から key を参照してデータを取ってくることが基本になる。
|
|
|
96 <br>PDS からコピーして Datasegment は Temporary Datasegment に。使い終わったら、さらに TDS をコピーして PDS へ戻す。
|
|
|
97 <br>基本的には PDS から Task を参照して、CS と CS に必要な DS をコピーし、CS を CS Manager で実行。
|
|
|
98 </p>
|
|
|
99 </article>
|
|
|
100
|
|
|
101 <article>
|
|
|
102 <h3>論文目次[1/2]</h3>
|
|
|
103 <ul>
|
|
|
104 <li>研究目的/背景</li>
|
|
|
105 <li>CbC<br>
|
|
|
106 CbC で実装することの利点</li>
|
|
|
107 <li>UEFI<br>
|
|
|
108 UEFI でロードすることの利点</li>
|
|
|
109 <li>64bit OS</li>
|
|
|
110 <li>Page Table Entry<br>
|
|
|
111 特権モード/ユーザーモード</li>
|
|
|
112 </article>
|
|
|
113
|
|
|
114 <article>
|
|
|
115 <h3>論文目次[2/2]</h3>
|
|
|
116 <ul>
|
|
|
117 <li>Codesegment <br>
|
|
|
118 Codesegment Manager</li>
|
|
|
119 <li>Datasegment</li>
|
|
|
120 Datasegment Manager</li>
|
|
|
121 <li>Protocol <br>
|
|
|
122 Protocol Manager</li>
|
|
|
123 <li>今後の課題<br>
|
|
|
124 device driver</li>
|
|
|
125 </ul>
|
|
|
126 </article>
|
|
|
127
|
|
|
128 <article>
|
|
|
129 <h3>
|
|
|
130 今週の作業 [ ~ 2013/01/22 ]
|
|
|
131 </h3>
|
|
|
132 <ul>
|
|
|
133 <li>Mach-O loader を書いている最中</li>
|
|
|
134 <li>Linux のメモリ管理を読む</li>
|
|
|
135 </ul>
|
|
|
136 </article>
|
|
|
137
|
|
|
138 <article>
|
|
|
139 <h3>elilo</h3>
|
|
|
140 <p>Linux 用の bootloader。EFI の API を利用して、EFI からメモリの allocate や kernel のロード、kernel の実行などを行う。</p>
|
|
|
141 <ul> elilo の使う filesystem
|
|
|
142 <li>・Local filesystem</li>
|
|
|
143 <li>・Net filesystem</li>
|
|
|
144 <li>・Ext2 filesystem</li>
|
|
|
145 </ul>
|
|
|
146 <p>今回は Local filesystem を使う。</p>
|
|
|
147 </article>
|
|
|
148
|
|
|
149 <article>
|
|
|
150 <h3>efi application</h3>
|
|
|
151 <ul>
|
|
|
152 <li>0x100000 へロードしboot へ、まだ firmware 上での実行</li>
|
|
|
153 <li>Read, Open, Close</li>
|
|
|
154 <li>realmode / protected mode を経由しなくても直接 boot できる……はず</li>
|
|
|
155 </ul>
|
|
|
156 </article>
|
|
|
157
|
|
|
158 <article>
|
|
|
159 <h3>Linux memory management</h3>
|
|
|
160 <ul> arch/x86/mm 以下の
|
|
|
161 <li>tlb.c</li>
|
|
|
162 <li>init.c / init_64.c</li>
|
|
|
163 <li>pgtable.c</li>
|
|
|
164 </ul>
|
|
|
165 <article>
|
|
|
166
|
|
|
167 <article>
|
|
|
168 <h3>
|
|
|
169 今後やること
|
|
|
170 </h3>
|
|
|
171 <ul>
|
|
|
172 <li>引き続き elilo のソース読む</li>
|
|
|
173 <li>Mach-O / ELF のローダを書く</li>
|
|
|
174 <li>特権/ユーザーモードについて</li>
|
|
|
175 </ul>
|
|
|
176 </article>
|
|
|
177
|
|
|
178 </section>
|
|
|
179
|
|
|
180 </body>
|
|
|
181 </html>
|
