annotate seminar/seminar2012/20120703.html @ 3:fea44bb81877 default tip

many change
author taiki
date Tue, 10 Dec 2013 15:31:33 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3
fea44bb81877 many change
taiki
parents:
diff changeset
1 <!DOCTYPE html>
fea44bb81877 many change
taiki
parents:
diff changeset
2
fea44bb81877 many change
taiki
parents:
diff changeset
3 <!--
fea44bb81877 many change
taiki
parents:
diff changeset
4 Google HTML5 slide template
fea44bb81877 many change
taiki
parents:
diff changeset
5
fea44bb81877 many change
taiki
parents:
diff changeset
6 Authors: Luke Mahé (code)
fea44bb81877 many change
taiki
parents:
diff changeset
7 Marcin Wichary (code and design)
fea44bb81877 many change
taiki
parents:
diff changeset
8
fea44bb81877 many change
taiki
parents:
diff changeset
9 Dominic Mazzoni (browser compatibility)
fea44bb81877 many change
taiki
parents:
diff changeset
10 Charles Chen (ChromeVox support)
fea44bb81877 many change
taiki
parents:
diff changeset
11
fea44bb81877 many change
taiki
parents:
diff changeset
12 URL: http://code.google.com/p/html5slides/
fea44bb81877 many change
taiki
parents:
diff changeset
13 -->
fea44bb81877 many change
taiki
parents:
diff changeset
14
fea44bb81877 many change
taiki
parents:
diff changeset
15 <html>
fea44bb81877 many change
taiki
parents:
diff changeset
16 <head>
fea44bb81877 many change
taiki
parents:
diff changeset
17 <title>Presentation</title>
fea44bb81877 many change
taiki
parents:
diff changeset
18 <link src='../styles.css'>
fea44bb81877 many change
taiki
parents:
diff changeset
19 <meta charset='utf-8'>
fea44bb81877 many change
taiki
parents:
diff changeset
20 <script
fea44bb81877 many change
taiki
parents:
diff changeset
21 src='../slides.js'></script>
fea44bb81877 many change
taiki
parents:
diff changeset
22 </head>
fea44bb81877 many change
taiki
parents:
diff changeset
23
fea44bb81877 many change
taiki
parents:
diff changeset
24 <style>
fea44bb81877 many change
taiki
parents:
diff changeset
25 /* Your individual styles here, or just use inline styles if that’s
fea44bb81877 many change
taiki
parents:
diff changeset
26 what you want. */
fea44bb81877 many change
taiki
parents:
diff changeset
27
fea44bb81877 many change
taiki
parents:
diff changeset
28
fea44bb81877 many change
taiki
parents:
diff changeset
29 </style>
fea44bb81877 many change
taiki
parents:
diff changeset
30 <body style='display: none'>
fea44bb81877 many change
taiki
parents:
diff changeset
31
fea44bb81877 many change
taiki
parents:
diff changeset
32 <section class='slides layout-regular template-default'>
fea44bb81877 many change
taiki
parents:
diff changeset
33
fea44bb81877 many change
taiki
parents:
diff changeset
34 <!-- Your slides (<article class='nobackground'>s) go here. Delete or comment out the
fea44bb81877 many change
taiki
parents:
diff changeset
35 slides below. -->
fea44bb81877 many change
taiki
parents:
diff changeset
36
fea44bb81877 many change
taiki
parents:
diff changeset
37 <article>
fea44bb81877 many change
taiki
parents:
diff changeset
38 <h1>CbC による OS の実装(仮)</h1>
fea44bb81877 many change
taiki
parents:
diff changeset
39 <p>Taiki Taira / 03,July,2012</p>
fea44bb81877 many change
taiki
parents:
diff changeset
40 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
41
fea44bb81877 many change
taiki
parents:
diff changeset
42 <article>
fea44bb81877 many change
taiki
parents:
diff changeset
43 <h3>研究目的</h3>
fea44bb81877 many change
taiki
parents:
diff changeset
44 <p>
fea44bb81877 many change
taiki
parents:
diff changeset
45 OS を構成する CPU 等の機器に多少の障害が起きてもすぐに切られることがないようにする。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
46 故障や部品交換等でOSそのものが止まるような箇所をなくす。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
47 CbC で動作し、Cerium の Task Manager をのせる。
fea44bb81877 many change
taiki
parents:
diff changeset
48 code segment, data segment を意識した設計にする。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
49 shared library を減らす。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
50 </p>
fea44bb81877 many change
taiki
parents:
diff changeset
51 <h3>その他現行OSへの不満 </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
52 <p>
fea44bb81877 many change
taiki
parents:
diff changeset
53 CPU 消費によって硬直する、重くなる<br>
fea44bb81877 many change
taiki
parents:
diff changeset
54 起動、停止が遅い<br>
fea44bb81877 many change
taiki
parents:
diff changeset
55 multi task とは<br>
fea44bb81877 many change
taiki
parents:
diff changeset
56 </p>
fea44bb81877 many change
taiki
parents:
diff changeset
57
fea44bb81877 many change
taiki
parents:
diff changeset
58 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
59 <article>
fea44bb81877 many change
taiki
parents:
diff changeset
60 <h3>
fea44bb81877 many change
taiki
parents:
diff changeset
61 設計
fea44bb81877 many change
taiki
parents:
diff changeset
62 </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
63 <img src='../images/boot_process.png'>
fea44bb81877 many change
taiki
parents:
diff changeset
64 <img src='../images/kernel.png'>
fea44bb81877 many change
taiki
parents:
diff changeset
65 <p>
fea44bb81877 many change
taiki
parents:
diff changeset
66 Cerium の Task Mangaer を載せ、OS に渡される処理を並列化する。
fea44bb81877 many change
taiki
parents:
diff changeset
67 </p>
fea44bb81877 many change
taiki
parents:
diff changeset
68 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
69
fea44bb81877 many change
taiki
parents:
diff changeset
70 <article>
fea44bb81877 many change
taiki
parents:
diff changeset
71 <p>compiler を OS に載せるのかどうか<br></p>
fea44bb81877 many change
taiki
parents:
diff changeset
72 <h3>InCompiler </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
73 <ul><b>利点</b>
fea44bb81877 many change
taiki
parents:
diff changeset
74 <li>OSに新しいプログラムを追加しやすい</li>
fea44bb81877 many change
taiki
parents:
diff changeset
75 <li>machine に最適なプログラムになる</li>
fea44bb81877 many change
taiki
parents:
diff changeset
76 <li>プログラムを管理しやすい</li>
fea44bb81877 many change
taiki
parents:
diff changeset
77 </ul>
fea44bb81877 many change
taiki
parents:
diff changeset
78 <ul><b>欠点</b>
fea44bb81877 many change
taiki
parents:
diff changeset
79 <li>サイズによってはメモリに入りきらない</li>
fea44bb81877 many change
taiki
parents:
diff changeset
80 </ul>
fea44bb81877 many change
taiki
parents:
diff changeset
81 <h3>小さいサイズを実装するのが最善</h3>
fea44bb81877 many change
taiki
parents:
diff changeset
82
fea44bb81877 many change
taiki
parents:
diff changeset
83 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
84
fea44bb81877 many change
taiki
parents:
diff changeset
85 <article>
fea44bb81877 many change
taiki
parents:
diff changeset
86 <h3>
fea44bb81877 many change
taiki
parents:
diff changeset
87 今週の作業 [~ 2012/07/03 ]
fea44bb81877 many change
taiki
parents:
diff changeset
88 </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
89 <ul>
fea44bb81877 many change
taiki
parents:
diff changeset
90 <li>grubでソースを動かす</li>
fea44bb81877 many change
taiki
parents:
diff changeset
91 </ul>
fea44bb81877 many change
taiki
parents:
diff changeset
92 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
93
fea44bb81877 many change
taiki
parents:
diff changeset
94 <article>
fea44bb81877 many change
taiki
parents:
diff changeset
95 <p>
fea44bb81877 many change
taiki
parents:
diff changeset
96 Multiboot specifiction version 1.6 を読んで、grub2 でのプログラムの動かし方を学ぶ。
fea44bb81877 many change
taiki
parents:
diff changeset
97 </p>
fea44bb81877 many change
taiki
parents:
diff changeset
98
fea44bb81877 many change
taiki
parents:
diff changeset
99 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
100
fea44bb81877 many change
taiki
parents:
diff changeset
101 <article class='nobackground'>
fea44bb81877 many change
taiki
parents:
diff changeset
102 <h3>
fea44bb81877 many change
taiki
parents:
diff changeset
103 今後やること
fea44bb81877 many change
taiki
parents:
diff changeset
104 </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
105 <ul>
fea44bb81877 many change
taiki
parents:
diff changeset
106 <li>32bit mode から 64bit mode (long mode) へ。</li>
fea44bb81877 many change
taiki
parents:
diff changeset
107 <li>malloc のソース/メモリ管理関係の資料を読む</li>
fea44bb81877 many change
taiki
parents:
diff changeset
108 <li>Task Manager のソースと論文を読む</li>
fea44bb81877 many change
taiki
parents:
diff changeset
109 </ul>
fea44bb81877 many change
taiki
parents:
diff changeset
110 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
111
fea44bb81877 many change
taiki
parents:
diff changeset
112 <article class='nobackground'>
fea44bb81877 many change
taiki
parents:
diff changeset
113 <h1> END </h1>
fea44bb81877 many change
taiki
parents:
diff changeset
114 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
115
fea44bb81877 many change
taiki
parents:
diff changeset
116 <article class='nobackground'>
fea44bb81877 many change
taiki
parents:
diff changeset
117 <h3> Multiboot Specification </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
118 Multiboot Specification で規定された少量の規定を満たせばこの企画に準拠したブートローダー(ex. grub) から起動できる。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
119 Multiboot Specification2 が作られており、grub2 (gurb の最新 grub1.99 )が対応しているため、Multiboot Specification2 に対応させる必要がある。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
120 </p>
fea44bb81877 many change
taiki
parents:
diff changeset
121 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
122
fea44bb81877 many change
taiki
parents:
diff changeset
123 <article class='nobackground'>
fea44bb81877 many change
taiki
parents:
diff changeset
124 <h3> Physical Address Extension (PAE)</h3>
fea44bb81877 many change
taiki
parents:
diff changeset
125 <p>
fea44bb81877 many change
taiki
parents:
diff changeset
126 物理アドレス拡張。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
127 32bit CPU で 4GiB以上のメモリを扱う技術。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
128 AMD の AMD 64 アーキテクチャと Interl 64 アーキテクチャでは PAE のページテーブルエントリ構造を保ったまま512エントリをもった4段のページテーブル構造にすることで仮想アドレス空間を48、物理アドレス空間を52bit まで拡張。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
129 IA-32 の PAE 互換を使用する場合物理アドレス空間の範囲は64bit mode で使った場合と同様。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
130 </p>
fea44bb81877 many change
taiki
parents:
diff changeset
131 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
132
fea44bb81877 many change
taiki
parents:
diff changeset
133 <article class='nobackground'>
fea44bb81877 many change
taiki
parents:
diff changeset
134 <h3> Intel x86 architectures --- Segment Descripter </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
135 <ul>
fea44bb81877 many change
taiki
parents:
diff changeset
136 <li> Interrupt Descriptor Table --- 割り込みの設定に使われる</li>
fea44bb81877 many change
taiki
parents:
diff changeset
137 <li> Global Descripter Table --- すべてのプログラムから共通にアクセスするセグメントを定義する </li>
fea44bb81877 many change
taiki
parents:
diff changeset
138 <li> Local Descriptor Table --- タスク単位に存在する</li>
fea44bb81877 many change
taiki
parents:
diff changeset
139 </ul>
fea44bb81877 many change
taiki
parents:
diff changeset
140 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
141
fea44bb81877 many change
taiki
parents:
diff changeset
142 <article class='nobackground'>
fea44bb81877 many change
taiki
parents:
diff changeset
143 <h3>
fea44bb81877 many change
taiki
parents:
diff changeset
144 Enable long mode
fea44bb81877 many change
taiki
parents:
diff changeset
145 </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
146 <p>最初にCPUのIDを確認し、Long mode が使用可能かチェックする。
fea44bb81877 many change
taiki
parents:
diff changeset
147 <ul>
fea44bb81877 many change
taiki
parents:
diff changeset
148 <li>ページングを不許可にする</li>
fea44bb81877 many change
taiki
parents:
diff changeset
149 <li> CR4 レジスタへ PAE を許可するためのbit をセットする</li>
fea44bb81877 many change
taiki
parents:
diff changeset
150 <li> CR3 を PML4 と一緒にロードする</li>
fea44bb81877 many change
taiki
parents:
diff changeset
151 <li> long mode を MSR の 0xC0000080 の EEER.LME フラグを
fea44bb81877 many change
taiki
parents:
diff changeset
152 セットすることによって許可する</li >
fea44bb81877 many change
taiki
parents:
diff changeset
153 <li></li>
fea44bb81877 many change
taiki
parents:
diff changeset
154 <li>ページングを許可する</li>
fea44bb81877 many change
taiki
parents:
diff changeset
155 </ul>
fea44bb81877 many change
taiki
parents:
diff changeset
156
fea44bb81877 many change
taiki
parents:
diff changeset
157 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
158 <article class='nobackground'>
fea44bb81877 many change
taiki
parents:
diff changeset
159 <h3>
fea44bb81877 many change
taiki
parents:
diff changeset
160 linux kernel 3.3
fea44bb81877 many change
taiki
parents:
diff changeset
161 </h3>
fea44bb81877 many change
taiki
parents:
diff changeset
162 <p>
fea44bb81877 many change
taiki
parents:
diff changeset
163 arch/x86/boot/compressed/head_64.S で protect mode からlong mode へ移行するアセンブラが記述してある。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
164 64bit の GDT (Global Descripter Table) や PAE (Physical Address Extension) などもこのソースで用意している。<br>
fea44bb81877 many change
taiki
parents:
diff changeset
165 </p>
fea44bb81877 many change
taiki
parents:
diff changeset
166
fea44bb81877 many change
taiki
parents:
diff changeset
167 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
168
fea44bb81877 many change
taiki
parents:
diff changeset
169
fea44bb81877 many change
taiki
parents:
diff changeset
170 <article class='nobackground'>
fea44bb81877 many change
taiki
parents:
diff changeset
171 <h2>
fea44bb81877 many change
taiki
parents:
diff changeset
172 END
fea44bb81877 many change
taiki
parents:
diff changeset
173 </h2>
fea44bb81877 many change
taiki
parents:
diff changeset
174 </article>
fea44bb81877 many change
taiki
parents:
diff changeset
175
fea44bb81877 many change
taiki
parents:
diff changeset
176 </section>
fea44bb81877 many change
taiki
parents:
diff changeset
177
fea44bb81877 many change
taiki
parents:
diff changeset
178 </body>
fea44bb81877 many change
taiki
parents:
diff changeset
179 </html>