annotate seminar2013/0514.html @ 2:7f4128b2369a

update seminar slides
author taiki <taiki@cr.ie.u-ryukyu.ac.jp>
date Tue, 04 Jun 2013 17:15:27 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 <!--
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 Google IO 2012 HTML5 Slide Template
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 Authors: Eric Bidelman <ebidel@gmail.com>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 Luke Mahé <lukem@google.com>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 URL: https://code.google.com/p/io-2012-slides
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 -->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 <!DOCTYPE html>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 <html>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 <head>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 <title>Presentation</title>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 <meta charset="utf-8">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 <meta http-equiv="X-UA-Compatible" content="chrome=1">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 <!--<meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=1.0">-->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 <!--<meta name="viewport" content="width=device-width, initial-scale=1.0">-->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 <!--This one seems to work all the time, but really small on ipad-->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 <!--<meta name="viewport" content="initial-scale=0.4">-->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 <meta name="apple-mobile-web-app-capable" content="yes">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 <link rel="stylesheet" media="all" href="css/default.css">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 <link rel="stylesheet" media="only screen and (max-device-width: 480px)" href="../io2012slides/theme/css/phone.css">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 <base target="_blank"> <!-- This amazingness opens all links in a new tab. -->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 <script data-main="../io2012slides/js/slides" src="../io2012slides/js/require-1.0.8.min.js"></script>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 </head>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 <body style="opacity: 0">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 <slides class="layout-widescreen">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 <!--
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 <slide class="logoslide nobackground">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 <article class="flexbox vcenter">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 <span><img src="../io2012slides/images/google_developers_logo.png"></span>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 </article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 </slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 -->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 <slide class="title-slide segue nobackground">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 <aside class="gdbar"><img src="../images/concurrent.png"></aside>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 <!-- The content of this hgroup is replaced programmatically through the slide_config.json. -->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 <hgroup class="auto-fadein">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 <h1 data-config-title><!-- populated from slide_config.json --></h1>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 <h2 data-config-subtitle><!-- populated from slide_config.json --></h2>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 <p data-config-presenter><!-- populated from slide_config.json --></p>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 </hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 </slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 <slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 <hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 <h2>研究目的</h2>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 </hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 <article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 <ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 <li>ブートが高速で、コンパクトなカーネルを実装する。</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 <li>Codesegment と Datasegment をカーネルに実装するにあたって、メモリ管理の役割とどう合致するのかを検証する。</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 <li>上記を確認したら CbC を用いて、動作が軽く落ちにくいカーネルを実装する。</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 <li>モデル検証に対応し、エラー予測を可能にする</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 <li>カーネルパニックをなくす</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 <li>Mach-O を EFI でロードし、64bit でロードできるようにする</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 </ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 </article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 </slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 <slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 <hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 <h2>今週の作業</h2>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 </hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 <article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 <ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 <li>Qemu を使えるかどうかの調査</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 </ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 </article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 </slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 <slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 <hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 <h2>Qemu [Q]</h2>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 </hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 <article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 <ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 <li>OS X での Qemu は Q として書かれる</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 <li>Qemu で EFI を使うツール OVMF のインストール</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 </ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 </article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 </slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 <slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 <hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 <h2>ELILO で Mach-O</h2>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 </hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 <article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 <ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 <li>ELILO は x86-64 ように bzImaze と plain loader を持っている</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 <li>Mach-O 用ローダを追加</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 <li>一度使用するローダを登録して、使用するか決める</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 <li>登録したローダを使う</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 <li>Makefile を書き換えて Mach-O ローダを使えるように<li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 </ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 </article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 </slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
100
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 <slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 <hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 <h2>これからすること</h2>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 </hgroup>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 <article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 <ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 <li>Linux 3.8.9 を読む</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 <li>メモリ初期化</li>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 </ul>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 </article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 </slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
114
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 <slide class="logoslide dark nobackground">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 <article class="flexbox vcenter">
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 <span><img src="../io2012slides/images/google_developers_logo_white.png"></span>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 </article>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 </slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
120
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 <slide class="backdrop"></slide>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
122
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 </slides>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
124
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 <script>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 var _gaq = _gaq || [];
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
127 _gaq.push(['_setAccount', 'UA-XXXXXXXX-1']);
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 _gaq.push(['_trackPageview']);
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
129
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 (function() {
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
132 ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 })();
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 </script>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
136
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
137 <!--[if IE]>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 <script src="http://ajax.googleapis.com/ajax/libs/chrome-frame/1/CFInstall.min.js"></script>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
139 <script>CFInstall.check({mode: 'overlay'});</script>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 <![endif]-->
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 </body>
7f4128b2369a update seminar slides
taiki <taiki@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 </html>