Mercurial > hg > Members > taiki > slides

comparison seminar/seminar2012/20130115.html @ 3:fea44bb81877 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
many change
author taiki
date Tue, 10 Dec 2013 15:31:33 +0900
parents
children
comparison
equal deleted inserted replaced
2:7f4128b2369a 3:fea44bb81877
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 / Dec 11 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 </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>
103 今週の作業 [ ~ 2013/01/15 ]
104 </h3>
105 <ul>
106 <li>elilo のソース読み</li>
107 <li>Mach-O について調査</li>
108 </ul>
109 </article>
110
111 <article>
112 <h3>elilo[1/2]</h3>
113 <p>Linux 用の bootloader。EFI の API を利用して、EFI からメモリの allocate や kernel のロード、kernel の実行などを行う。</p>
114 </article>
115
116 <article>
117 <h3>elilo[2/2]</h3>
118 <img src="ac_elilo_movement.png"></img>
119 </article>
120
121 <article>
122 <h3>efi application</h3>
123 <ul>
124 <li>hello world の表示</li>
125 <li>64bit 用の実行形式 PE+ で表示できた</li>
126 <li>boot へ、まだ firmware 上での実行</li>
127 <li>realmode / protected mode を経由しなくても直接 boot できる……はず</li>
128 </ul>
129 </article>
130
131 <article>
132 <h3>Mach-O</h3>
133 <pre>
134 #include &lt;mach-o/loader.h&gt;
135 </pre>
136 <p>
137 に Mach-O の構造体やヘッダー、ヘッダーコマンドがあるのでそれを使用する。
138 </p>
139 </article>
140
141 <article>
142 <h3>
143 今後やること
144 </h3>
145 <ul>
146 <li>引き続き elilo のソース読む</li>
147 <li>Mach-O / ELF のローダを書く</li>
148 <li>特権/ユーザーモードについて</li>
149 </ul>
150 </article>
151
152 </section>
153
154 </body>
155 </html>