Mercurial > hg > Members > taiki > slides
comparison seminar2012/20121106.html @ 0:dd1c78c6398f
add having slides
author | taiki <taiki@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 Mar 2013 05:14:03 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:dd1c78c6398f |
---|---|
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 / Oct 23 2012</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 code segment, data segment を意識した設計にし、メモリ外へのアクセスを制限しセキュリティの向上と、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 <br>Task Manager も必要? | |
69 </p> | |
70 </article> | |
71 | |
72 <article> | |
73 <h3> | |
74 設計[2/3] CodeSegment | |
75 </h3> | |
76 <img src='CodeSegment.png'> | |
77 <p>Task で Codesegment に対応している Datasegment を InputDatasegment を通して Codesegment で実行する。 | |
78 <br>OutputDatasegment で Datasegment が正しいか確認する。 | |
79 <br>InputDatasegment と OutputDatasegment を CodeSegment で実行する結果が、Hoare Logic で証明できる? | |
80 </p> | |
81 </article> | |
82 | |
83 <article> | |
84 <h3> | |
85 設計[3/3] DataSegment | |
86 </h3> | |
87 <img src='DataSegment.png'> | |
88 <img src='Moving_DS_pointer.png'> | |
89 </article> | |
90 | |
91 <article> | |
92 <h3> | |
93 設計[3/3] DataSegment | |
94 </h3> | |
95 <p> | |
96 Persistent Datasegment から key を参照してデータを取ってくることが基本になる。 | |
97 <br>PDS からコピーして Datasegment は Temporary Datasegment に。使い終わったら、さらに TDS をコピーして PDS へ戻す。 | |
98 <br>基本的には PDS から Task を参照して、CS と CS に必要な DS をコピーし、CS を CS Manager で実行。 | |
99 </p> | |
100 </article> | |
101 | |
102 <article> | |
103 <h3> | |
104 今週の作業 [ ~ 2012/11/06 ] | |
105 </h3> | |
106 <ul> | |
107 <li>UEFI のマニュアルを読む</li> | |
108 <li>boot をそのままアセンブラで書く</li> | |
109 </ul> | |
110 </article> | |
111 | |
112 <article> | |
113 <p>UEFI から実行するために必要な実行形式</p> | |
114 <h3>PE32+ (Portable Executable)</h3> | |
115 <p> | |
116 32bit / 64bit の Windows 上で使用されるファイルのフォーマット。UEFI でも メインのフォーマットになる。<br> | |
117 UEFI で OS を boot する場合は、OS の loader でも UEFI shell から起動できるアプリケーションになる。そのアプリケーションは PE32 / PE32+ になっている必要がある。<br> | |
118 その為に binutils のインストールをした。 | |
119 </p> | |
120 <pre> | |
121 | |
122 </pre> | |
123 | |
124 | |
125 </article> | |
126 | |
127 <article> | |
128 <h3>boot loader</h3> | |
129 <p>32 bit までの起動を確認した。grub に近い。</p> | |
130 <ul> | |
131 <li>A20 ゲートを ON に</li> | |
132 <li>32 bit protected mode</li> | |
133 </ul> | |
134 <br> | |
135 <h3>MBR</h3> | |
136 <p>MBR の領域が 512byte しかないので、別の領域へカーネルコードをロードする必要がある。</p> | |
137 </article> | |
138 | |
139 <article> | |
140 <h3> | |
141 今後やること | |
142 </h3> | |
143 <ul> | |
144 <li>64 bit mode へ移行、そのままカーネルへ</li> | |
145 <li>grub2/EFI での 64bit 起動</li> | |
146 <li>malloc のソース/メモリ管理関係の資料を読む</li> | |
147 </ul> | |
148 </article> | |
149 | |
150 </section> | |
151 | |
152 </body> | |
153 </html> |