view seminar2012/20121120.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 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/20 ]
        </h3>
        <ul>
            <li>UEFI のマニュアルを読む</li>
            <li>EFI のテストコードを実行</li>
        </ul>
        </article>

        <article>
        <h4>UEFI から実行するために必要な実行形式</h4>
        <h3>PE32+ (Portable Executable)</h3>
        <p>
        32bit / 64bit の Windows 上で使用されるファイルのフォーマット。UEFI でも メインのフォーマットになる。<br>
        UEFI で OS をブートする場合は、OS の loader でも UEFI shell から起動できるアプリケーションになる。そのアプリケーションは PE32 / PE32+ になっている必要がある。<br>
        そのアプリケーションは、FAT32/16/12 でフォーマットされたデバイス上の、/EFI/BOOT/BOOT{ARCH}.efi へ置くとブートされる。
        </p> 
        </article>

        <article>
        <h3>EFI Shell</h3>
        <p>
        PE32+(64bit 対応) の文字を表示するだけのテストコードを動かそうとしている。<br>
        残念ながら動かない。起動すると、テストコードがある場所でエラーで落ちる。コードを読みに行って落ちているのでコードそのものに問題がある。
        </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 オプションで自動的に決まる。localhost の部分にはIP アドレスが入る。<br>
        linux のソースコードのトップで gdb を vmlinux シンボルを使って
        </p>
        <pre>
gdb vmlinux
(gdb) target remote localhost:1234
        </pre>
        <p>
        とすると接続できる。<br>
        </p>
        </article>

        <article>
        <h3>KVM の XML に追加</h3>
        <pre>
&lt;qemu:commandline&gt;
&lt;qemu:arg value='-s'/&gt;
&lt;/qemu:commandline&gt;
        </pre>
        <p>
        追加後は再起動必須。
        </p>
        </article>

        <article>
        <h3>VMware Fusion</h3>
        <pre>
debugStub.listen.guest64 = "TRUE"
debugStub.listen.guest64.remote = "TRUE"
monitor.debugOnStartGuest64 = "TRUE"
debugStub.hideBreakpoints = "TRUE"
        </pre>
        <p>
        上を .vmx に追加すると、gdb から 
        </p>
        <pre>
gdb vmlinux
(gdb) target remote localhost:8864
        </pre>
        <p>
        でアクセスできる。
        </p>
        </article>

        <article>
        <h3>
            今後やること
        </h3>
        <ul>
            <li>64 bit mode へ移行、そのままカーネルへ</li>
            <li>EFI での 64bit 起動</li>
            <li>malloc のソース/メモリ管理関係の資料を読む</li>
            <li>elilo のソース読む</li>
            <li>引き続き UEFI のマニュアル読む</li>
        </ul>
        </article>

        </section>

    </body>
</html>