Mercurial > hg > Members > taiki > slides

<!DOCTYPE html>

<!--
  Google HTML5 slide template

  Authors: Luke Mahé (code)
           Marcin Wichary (code and design)

           Dominic Mazzoni (browser compatibility)
           Charles Chen (ChromeVox support)

  URL: http://code.google.com/p/html5slides/
-->

<html>
  <head>
    <title>Presentation</title>
    <link src='../styles.css'>
    <meta charset='utf-8'>
    <script
        src='../slides.js'></script>
  </head>

  <style>
    /* Your individual styles here, or just use inline styles if that’s
       what you want. */


  </style>
  <body style='display: none'>

      <section class='slides layout-regular template-default'>

      <!-- Your slides (<article class='nobackground'>s) go here. Delete or comment out the
           slides below. -->

      <article>
        <h1>CbC による OS の実装</h1>
        <p>Taiki Taira / September 11, 2012</p>
      </article>

      <article>
      <h3>研究目的</h3>
      <p>
      故障が発生した際に、機能を完全に喪失するのではなく、 可能な範囲で機能が維持されるようにすることを Graceful Degradation という。
      本研究ではそれに沿った構成のOSを実装することを目的とする。
      その実装には、本研究室で開発された Continution based C (CbC)を用いる。
      CbC は C 言語よりも低くアセンブラより高い層で記述できる言語である。C の使用からループ制御や関数コールを取り除いている。これによりスタックの操作やループ、関数呼び出しなどのより低レベルでの最適化をソースコードレベルで行うことができる。
      code segment, data segment を意識した設計にし、メモリ外へのアクセスを制限しセキュリティの向上とプログラマの負担を減らす。<br>
      Cerium の Task Manager をのせる。
      shared library を減らす。<br>
      </p>
      </article>

      <article>
        <h3>
            設計1/2
        </h3>
        <img src='boot_process.png'>
        <img src='kernel.png'>
        <p>
        Cerium の Task Manager を載せ、OS に渡される処理を並列化する。
        </p>
      </article>

      <article>
        <h3>
            設計2/2
        </h3>
        <img src='how_move_CSDS.png'>
        <p>
        code segment のグループに分ける。
        </p>
        <img src='check code.png'>
        <p>
        data segment と code segment の整合性をチェックする。
        </p>
      </article>

      <article>
        <h3>
          今週の作業 [~ 2012/09/11 ]
       </h3>
       <ul>
           <li>EFI についての調査</li>
           <li>VirtualBox</li>
       </ul>
       </article>

       <article>
        <h3>UEFI</h3>
        <p>
        PE32 という実行形式で UEFI image を書く。
        </p>
        <h4>VMware Fusion</h4>
        <ul>
            <li>machinename.vmx </li>
        </ul>
        <p>の中に</p>
        <pre>
firmware = "efi"
        </pre>
        <p>EFI shell が起動</p>
       </article>

      <article>
      <h3>VirtualBox</h3>
      <p>command line で</p>
      <pre>
VirtualBox --debug --startvm Fedora
      </pre>
      <p>GDB のコマンドとかなりずれてる。</p>
      </article>

      <article>
      <h3>Example</h3>
      <ul>
          <li>g:  continue</li>
          <li>t:  single step an instruction</li>
          <li>stop:  stop VM</li>
          <li>dg:  show GDT</li>
          <li>di:  show IDT</li>
          <li>rg:  print VM register</li>
          <li>harakiri:  kill debug process</li>
      </ul>
      </article>

      <article class='nobackground'>
        <h3>
            今後やること
        </h3>
        <ul>
            <li>UEFI からの OS の起動方法について学ぶ。</li>
            <li>qemu からの gdb 利用の仕方を調べる。</li>
            <li>32bit mode から 64bit mode (long mode) へ。</li>
            <li>malloc のソース/メモリ管理関係の資料を読む</li>
        </ul>
      </article>

      <article class='nobackground'>
      <h1> END </h1>
      </article>

    </section>

  </body>
</html>
author	taiki <taiki@cr.ie.u-ryukyu.ac.jp>
date	Mon, 25 Mar 2013 05:14:03 +0900
parents
children