diff seminar2013/0521.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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/seminar2013/0521.html	Tue Jun 04 17:15:27 2013 +0900
@@ -0,0 +1,156 @@
+<!--
+Google IO 2012 HTML5 Slide Template
+
+Authors: Eric Bidelman <ebidel@gmail.com>
+         Luke Mahé <lukem@google.com>
+
+URL: https://code.google.com/p/io-2012-slides
+-->
+<!DOCTYPE html>
+<html>
+<head>
+  <title>Presentation</title>
+  <meta charset="utf-8">
+  <meta http-equiv="X-UA-Compatible" content="chrome=1">
+  <!--<meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=1.0">-->
+  <!--<meta name="viewport" content="width=device-width, initial-scale=1.0">-->
+  <!--This one seems to work all the time, but really small on ipad-->
+  <!--<meta name="viewport" content="initial-scale=0.4">-->
+  <meta name="apple-mobile-web-app-capable" content="yes">
+  <link rel="stylesheet" media="all" href="css/default.css">
+  <link rel="stylesheet" media="only screen and (max-device-width: 480px)" href="../io2012slides/theme/css/phone.css">
+  <base target="_blank"> <!-- This amazingness opens all links in a new tab. -->
+  <script data-main="../io2012slides/js/slides" src="../io2012slides/js/require-1.0.8.min.js"></script>
+</head>
+<body style="opacity: 0">
+
+<slides class="layout-widescreen">
+
+<!--
+  <slide class="logoslide nobackground">
+    <article class="flexbox vcenter">
+      <span><img src="../io2012slides/images/google_developers_logo.png"></span>
+    </article>
+  </slide>
+-->
+
+  <slide class="title-slide segue nobackground">
+    <aside class="gdbar"><img src="../images/concurrent.png"></aside>
+    <!-- The content of this hgroup is replaced programmatically through the slide_config.json. -->
+    <hgroup class="auto-fadein">
+      <h1 data-config-title><!-- populated from slide_config.json --></h1>
+      <h2 data-config-subtitle><!-- populated from slide_config.json --></h2>
+      <p data-config-presenter><!-- populated from slide_config.json --></p>
+    </hgroup>
+  </slide>
+
+  <slide>
+    <hgroup>
+      <h2>研究目的</h2>
+    </hgroup>
+    <article>
+      <ul>
+        <li>ブートが高速で、コンパクトなカーネルを実装する。</li>
+        <li>Codesegment と Datasegment をカーネルに実装するにあたって、メモリ管理の役割とどう合致するのかを検証する。</li>
+        <li>上記を確認したら CbC を用いて、動作が軽く落ちにくいカーネルを実装する。</li>
+        <li>モデル検証に対応し、エラー予測を可能にする</li>
+        <li>カーネルパニックをなくす</li>
+        <li>Mach-O を ELILO でロードし、64bit で動作可能にする</li>
+      </ul>
+    </article>
+  </slide>
+
+  <slide>
+    <hgroup>
+      <h2>ELILO のレジスタの状態</h2>
+    </hgroup>
+    <article>
+    <h4>CR0</h4>
+      <ul>
+        <li>PGbit ON : ページングが enable されている</li>
+        <li>PEbit ON : Protect mode (32 bit mode) が enable</li>
+      </ul>
+    <h4>CR4</h4>
+      <ul>
+        <li>PAEbit ON : ページングが 32bit 以上を使用</li>
+        <li>PSEbit ON : 32bit ページングでの 4Mbyte page を enable</li>
+      </ul>
+    <h4>CR3</h4>
+      <ul>
+        <li>Page directory base にアドレス</li>
+      </ul>
+    <h4>CS</h4>
+      <ul>
+        <li>GDT のセグメントの番号</li>
+        <li>requested privirege level は最大(全権限をもつ)</li>
+      </ul>
+    </article>
+  </slide>
+
+  <slide>
+    <hgroup>
+      <h2>ELILO のレジスタの状態[2]</h2>
+    </hgroup>
+    <article>
+    <h3>現在の状態</h3>
+      <ul>
+        <li>GDT は動いている</li>
+        <li>long mode(compatibility mode/64bit mode)</li>
+        <li>EFI の仕様でレジスタへの書き込みを許してないのではないか</li>
+        <li>4M byte のページテーブル</li>
+        <li>ページングは enable だが、EFI のマニュアルには physical address = virtual address とある</li>
+      </ul>
+    </article>
+  </slide>
+
+
+  <slide>
+    <hgroup>
+      <h2>ELILO で Mach-O するためにするべきこと</h2>
+    </hgroup>
+    <article>
+      <ul>
+        <li>ELILO は x86-64 ように bzImaze と plain loader を持っている</li>
+        <li>Mach-O 用ローダを追加</li>
+        <li>一度使用するローダを登録して、使用するか決める</li>
+        <li>登録したローダを使う</li>
+      </ul>
+    </article>
+  </slide>
+
+  <slide>
+    <hgroup>
+    </hgroup>
+    <article>
+    </article>
+  </slide>
+
+
+  <slide class="logoslide dark nobackground">
+    <article class="flexbox vcenter">
+      <span><img src="../io2012slides/images/google_developers_logo_white.png"></span>
+    </article>
+  </slide>
+
+  <slide class="backdrop"></slide>
+
+</slides>
+
+<script>
+var _gaq = _gaq || [];
+_gaq.push(['_setAccount', 'UA-XXXXXXXX-1']);
+_gaq.push(['_trackPageview']);
+
+(function() {
+  var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
+  ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
+  var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
+})();
+</script>
+
+<!--[if IE]>
+  <script src="http://ajax.googleapis.com/ajax/libs/chrome-frame/1/CFInstall.min.js"></script>
+  <script>CFInstall.check({mode: 'overlay'});</script>
+<![endif]-->
+</body>
+</html>