view seminar/seminar2012/20121016.html @ 3:fea44bb81877 default tip

many change
author taiki
date Tue, 10 Dec 2013 15:31:33 +0900
parents
children
line wrap: on
line source

<!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 / Sep 18, 2012</p>
      </article>

      <article class="smaller">
      <h3>研究目的</h3>
      <p>
      本研究では code segment ,datasegment に沿った OS を実装することを目的とする。<br>
      その実装には、本研究室で開発された Continution based C (CbC)を用いる。<br> 
      CbC は C 言語よりも低くアセンブラより高い層で記述できる言語である。C の使用からループ制御や関数コールを取り除いている。これによりスタックの操作やループ、関数呼び出しなどのより低レベルでの最適化をソースコードレベルで行うことができる。<br>
      code segment, data segment を意識した設計にし、メモリ外へのアクセスを制限しセキュリティの向上とプログラマの負担を減らす。<br>
      故障が発生した際に、機能を完全に喪失するのではなく、 可能な範囲で機能が維持されるようにすることを Graceful Degradation という。<br>
      この Graceful Degradation を目指して実装をすすめる。<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' width=450>
        <p>
        code segment のグループに分ける。
        </p>
        <img src='check code.png'>
        <p>
        data segment と code segment の整合性をチェックする。
        </p>
      </article>

      <article>
        <h3>
          今週の作業 [ ~ 2012/10/02 ]
       </h3>
       <ul>
           <li>grub2 での 64bit 起動</li>
       </ul>
       </article>

      <article>
      <h3> grub2 での 64bit 起動[1/2]</h3>
      <p>
      64bit の実行形式は、grub2 では直接起動できない。ELF64 だと GRUB2 が起動に必要なマジックナンバーを読んでくれないので、
      </p>
      <ol>
          <li>二つ実行ファイルを作って elf32 から elf64 を起動</li>
          <li>elf64 に elf32 を 結合する</li>
      </ol>
      <p>
      の二つの方法を試している。<br>
      </p>
      </article>

      <article>
      <h3> grub2 での 64bit 起動[2/2] </h3>
      <p>
      下の図のように、32bit boot 部分と 64bit の kernel 開始前の繋ぎを、メモリの番地で指定しようとしている。<br>
      </p>
      <img src="how_use_memory.png" width=450>
      <p>
      アセンブラの org とかで指定しようとしたが、できなかったので linker script で書く必要がある。リンクしていない他のコードへ、メモリ番地を指定してジャンプする方法を探す必要もある。「ljmpl *」ではメモリの即値指定はできなかったので他の方法を探してみる。要するに試行錯誤中。<br>
      </p>
      </article>

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

    </section>

  </body>
</html>