Mercurial > hg > Members > taiki > slides
diff seminar2012/20121106.html @ 0:dd1c78c6398f
add having slides
author | taiki <taiki@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 Mar 2013 05:14:03 +0900 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/seminar2012/20121106.html Mon Mar 25 05:14:03 2013 +0900 @@ -0,0 +1,153 @@ +<!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 / Oct 23 2012</p> + </article> + + <article> + <h3>研究目的[1/2]</h3> + <p> + 本研究では code segment ,datasegment に沿った OS を実装することを目的とする。<br> + その実装には、本研究室で開発された Continuation based C (CbC)を用いる。<br> + CbC は C 言語よりも低くアセンブラより高い層で記述できる言語である。C の仕様からループ制御や関数コールを取り除いている。これによりスタックの操作やループ、関数呼び出しなどのより低レベルでの最適化をソースコードレベルで行うことができる。<br> + </p> + </article> + + <article> + <h3>研究目的[2/2]</h3> + <p> + code segment, data segment を意識した設計にし、メモリ外へのアクセスを制限しセキュリティの向上と、malloc/free などのメモリ管理を OS に行わせ、プログラマの負担を減らす。<br> + 故障が発生した際に、機能を完全に喪失するのではなく、 可能な範囲で機能が維持されるようにすることを Graceful Degradation という。<br> + この Graceful Degradation を目指して実装をすすめる。<br> + </p> + </article> + + <article> + <h3> + 設計[1/3] + </h3> + <img src='boot_process.png'> + <img src='kernel.png'> + <p> + Datasegment Manager から Codesegment / Task / Datasegment を取り出して、Codesegment Manager へ投げる。 + <br>Task Manager も必要? + </p> + </article> + + <article> + <h3> + 設計[2/3] CodeSegment + </h3> + <img src='CodeSegment.png'> + <p>Task で Codesegment に対応している Datasegment を InputDatasegment を通して Codesegment で実行する。 + <br>OutputDatasegment で Datasegment が正しいか確認する。 + <br>InputDatasegment と OutputDatasegment を CodeSegment で実行する結果が、Hoare Logic で証明できる? + </p> + </article> + + <article> + <h3> + 設計[3/3] DataSegment + </h3> + <img src='DataSegment.png'> + <img src='Moving_DS_pointer.png'> + </article> + + <article> + <h3> + 設計[3/3] DataSegment + </h3> + <p> + Persistent Datasegment から key を参照してデータを取ってくることが基本になる。 + <br>PDS からコピーして Datasegment は Temporary Datasegment に。使い終わったら、さらに TDS をコピーして PDS へ戻す。 + <br>基本的には PDS から Task を参照して、CS と CS に必要な DS をコピーし、CS を CS Manager で実行。 + </p> + </article> + + <article> + <h3> + 今週の作業 [ ~ 2012/11/06 ] + </h3> + <ul> + <li>UEFI のマニュアルを読む</li> + <li>boot をそのままアセンブラで書く</li> + </ul> + </article> + + <article> + <p>UEFI から実行するために必要な実行形式</p> + <h3>PE32+ (Portable Executable)</h3> + <p> + 32bit / 64bit の Windows 上で使用されるファイルのフォーマット。UEFI でも メインのフォーマットになる。<br> + UEFI で OS を boot する場合は、OS の loader でも UEFI shell から起動できるアプリケーションになる。そのアプリケーションは PE32 / PE32+ になっている必要がある。<br> + その為に binutils のインストールをした。 + </p> + <pre> + + </pre> + + + </article> + + <article> + <h3>boot loader</h3> + <p>32 bit までの起動を確認した。grub に近い。</p> + <ul> + <li>A20 ゲートを ON に</li> + <li>32 bit protected mode</li> + </ul> + <br> + <h3>MBR</h3> + <p>MBR の領域が 512byte しかないので、別の領域へカーネルコードをロードする必要がある。</p> + </article> + + <article> + <h3> + 今後やること + </h3> + <ul> + <li>64 bit mode へ移行、そのままカーネルへ</li> + <li>grub2/EFI での 64bit 起動</li> + <li>malloc のソース/メモリ管理関係の資料を読む</li> + </ul> + </article> + + </section> + + </body> +</html>