Mercurial > hg > Members > taiki > slides

diff seminar/seminar2012/20130122.html @ 3:fea44bb81877 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
many change
author taiki
date Tue, 10 Dec 2013 15:31:33 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/seminar/seminar2012/20130122.html	Tue Dec 10 15:31:33 2013 +0900
@@ -0,0 +1,181 @@
+<!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 / Jan 22 2013</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>
+        Codesegment, Datasegment を意識した設計にし、メモリ外へのアクセスを制限しセキュリティの向上と、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 へ投げる。
+        </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>論文目次[1/2]</h3>
+        <ul>
+            <li>研究目的/背景</li>
+            <li>CbC<br>
+                CbC で実装することの利点</li>
+            <li>UEFI<br>
+                UEFI でロードすることの利点</li>
+            <li>64bit OS</li>
+            <li>Page Table Entry<br>
+                特権モード/ユーザーモード</li>
+        </article>
+
+        <article>
+        <h3>論文目次[2/2]</h3>
+        <ul>
+            <li>Codesegment <br>
+                Codesegment Manager</li>
+            <li>Datasegment</li>
+                Datasegment Manager</li>
+            <li>Protocol <br>
+                Protocol Manager</li>
+            <li>今後の課題<br>
+                device driver</li>
+        </ul>
+        </article>
+
+        <article>
+        <h3>
+            今週の作業 [ ~ 2013/01/22 ]
+        </h3>
+        <ul>
+            <li>Mach-O loader を書いている最中</li>
+            <li>Linux のメモリ管理を読む</li>
+        </ul>
+        </article>
+
+        <article>
+        <h3>elilo</h3>
+        <p>Linux 用の bootloader。EFI の API を利用して、EFI からメモリの allocate や kernel のロード、kernel の実行などを行う。</p>
+        <ul> elilo の使う filesystem 
+            <li>・Local filesystem</li>
+            <li>・Net filesystem</li>
+            <li>・Ext2 filesystem</li>
+        </ul>
+        <p>今回は Local filesystem を使う。</p>
+        </article>
+
+        <article>
+        <h3>efi application</h3>
+        <ul>
+            <li>0x100000 へロードしboot へ、まだ firmware 上での実行</li>
+            <li>Read, Open, Close</li>
+            <li>realmode / protected mode を経由しなくても直接 boot できる……はず</li>
+        </ul>
+        </article>
+
+        <article>
+        <h3>Linux memory management</h3>
+        <ul> arch/x86/mm 以下の
+            <li>tlb.c</li>
+            <li>init.c / init_64.c</li>
+            <li>pgtable.c</li>
+        </ul>
+        <article>
+
+        <article>
+        <h3>
+            今後やること
+        </h3>
+        <ul>
+            <li>引き続き elilo のソース読む</li>
+            <li>Mach-O / ELF のローダを書く</li>
+            <li>特権/ユーザーモードについて</li>
+        </ul>
+        </article>
+
+        </section>
+
+    </body>
+</html>