Mercurial > hg > Members > taiki > slides
view seminar2012/20121113.html @ 3:fea44bb81877 default tip
many change
author | taiki |
---|---|
date | Tue, 10 Dec 2013 15:31:33 +0900 |
parents | dd1c78c6398f |
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 / Nov 13 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> </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> </article> <article> <h3>QEMU</h3> <p> linux kernel を qemu を実行 </p> <pre> qemu-system-x86_64 -s -kernel arch/x86/boot/bzImage -hda disk.img \ -apppend "root=/dev/hda" </pre> <p> port 1234 は qemu の -s オプションで自動的に決まる gdb を vmlinux シンボルを使って </p> <pre> gdb vmlinux (gdb) target remote localhost:1234 </pre> <p> とすると接続できる。 </p> </article> <article> <h3>QEMU</h3> <h4>原因</h4> <ul> そもそも make menuconfig のオプションがおかしい</p> debug オプションが悪い </ul> </article> <article> <h3> 今後やること </h3> <ul> <li>64 bit mode へ移行、そのままカーネルへ</li> <li>EFI での 64bit 起動</li> <li>malloc のソース/メモリ管理関係の資料を読む</li> </ul> </article> </section> </body> </html>