view 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 source

<!--
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>