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

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/20121009.html	Tue Dec 10 15:31:33 2013 +0900
@@ -0,0 +1,103 @@
+<!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 16 2012</p>
+      </article>
+
+      <article class="smaller">
+      <h3>研究目的</h3>
+      <p>
+      本研究では code segment ,datasegment に沿った OS を実装することを目的とする。<br>
+      その実装には、本研究室で開発された Continuation based C (CbC)を用いる。<br> 
+      CbC は C 言語よりも低くアセンブラより高い層で記述できる言語である。C の使用からループ制御や関数コールを取り除いている。これによりスタックの操作やループ、関数呼び出しなどのより低レベルでの最適化をソースコードレベルで行うことができる。<br>
+      code segment, data segment を意識した設計にし、メモリ外へのアクセスを制限しセキュリティの向上とプログラマの負担を減らす。<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 がメインで動く。Datasegment Manager から Codesegment / Task / Datasegment を取り出して、Codesegment Manager へ投げる。
+        </p>
+      </article>
+
+      <article>
+        <h3>
+            設計[2/3] CodeSegment
+        </h3>
+        <img src='CodeSegment.png'>
+        <img src='Moving_DS_pointer.png'>
+      </article>
+
+      <article>
+        <h3>
+            設計[2/3] CodeSegment
+        </h3>
+        <img src='DataSegment.png'>
+      </article>
+
+      <article>
+        <h3>
+          今週の作業 [ ~ 2012/10/02 ]
+       </h3>
+       <ul>
+           <li>boot をそのまま書く</li>
+       </ul>
+       </article>
+
+      <article>
+      <article>
+        <h3>
+            今後やること
+        </h3>
+        <ul>
+            <li>grub2/EFI での 64bit 起動</li>
+            <li>malloc のソース/メモリ管理関係の資料を読む</li>
+        </ul>
+      </article>
+
+    </section>
+
+  </body>
+</html>