Mercurial > hg > Papers > 2022 > matac-sigos

changeset 16:e5dbeddc9958

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add memory section
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Tue, 24 May 2022 12:01:23 +0900
parents 687e04e14a2c
children 8b69df665d5d
files slide/slide.html slide/slide.md slide/slide.pdf.html
diffstat 3 files changed, 71 insertions(+), 25 deletions(-) [+]
line wrap: on
line diff
--- a/slide/slide.html	Tue May 24 06:08:00 2022 +0900
+++ b/slide/slide.html	Tue May 24 12:01:23 2022 +0900
@@ -7,10 +7,10 @@
 <html>
 <head>
    <meta http-equiv="content-type" content="text/html;charset=utf-8">
-   <title>GearsOSにおけるinodeを用いたFile systemの実装</title>
+   <title>GearsOSにおける<br />inodeを用いたファイルシステムの構築</title>
 
    <meta name="generator" content="Slide Show (S9) v4.1.0 on Ruby 3.0.3 (2021-11-24) [arm64-darwin21]">
-   <meta name="author"    content="又吉　雄斗" >
+   <meta name="author"    content="Matayoshi Yuto, Shinji Kono" >
 
 <!-- style sheet links -->
 <link rel="stylesheet" href="s6/themes/projection.css"   media="screen,projection">
@@ -70,15 +70,15 @@
       <tr>
         <td>
           <div align="center">
-              <h1><font color="#808db5">GearsOSにおけるinodeを用いたFile systemの実装</font></h1>
+              <h1><font color="#808db5">GearsOSにおける<br />inodeを用いたファイルシステムの構築</font></h1>
           </div>
         </td>
       </tr>
       <tr>
         <td>
           <div align="left">
-              又吉　雄斗
-              並列信頼研
+              Matayoshi Yuto, Shinji Kono
+              琉球大学
             <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
           </div>
         </td>
@@ -102,8 +102,9 @@
   <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
   <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li>
   <li><span style="color: red; ">今回はUnix likeにディレクトリシステムを実装した</span></li>
-  <li>GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる</li>
+  <li>GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる</li>
   <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li>
+  <li>未実装であるメモリマネージャーについて考察する</li>
 </ul>
 
 
@@ -216,9 +217,9 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="unixのfile-system">UnixのFile system</h2>
+<h2 id="unixのファイルシステム">Unixのファイルシステム</h2>
 
-<p>UnixのFile systemはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</p>
+<p>UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</p>
 
 <h3 id="xv6">xv6</h3>
 
@@ -226,7 +227,7 @@
   <li>MITで教育用の目的で開発されたOS</li>
   <li>Unixの基本的な構造を持つ</li>
   <li>当研究室ではxv6のCbCでの書き換え，分析を行なっている</li>
-  <li>File systemではinodeの仕組みが用いられている</li>
+  <li>ファイルシステムではinodeの仕組みが用いられている</li>
 </ul>
 
 <h3 id="inode">inode</h3>
@@ -392,6 +393,24 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
+<h2 id="gearsosにおけるメモリマネージメントシステム">GearsOSにおけるメモリマネージメントシステム</h2>
+
+<ul>
+  <li>現在，GearsOSがメモリの資源を用いる際にはmallocを用いている</li>
+  <li>メモリとディスク上のデータ構造が等しくなる形で実装したい
+    <ul>
+      <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li>
+    </ul>
+  </li>
+  <li>ガベージコレクションはCopying GCを用いる</li>
+</ul>
+
+
+
+</div>
+
+<div class='slide'>
+  <!-- _S9SLIDE_ -->
 <h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2>
 
 <ul>
--- a/slide/slide.md	Tue May 24 06:08:00 2022 +0900
+++ b/slide/slide.md	Tue May 24 12:01:23 2022 +0900
@@ -1,6 +1,6 @@
-title: GearsOSにおけるinodeを用いたFile systemの実装
-author: 又吉　雄斗
-profile: 並列信頼研 
+title: GearsOSにおける<br />inodeを用いたファイルシステムの構築
+author: Matayoshi Yuto, Shinji Kono
+profile: 琉球大学 
 
 
 ## inodeを用いたgearsDirectoryの実装
@@ -10,8 +10,9 @@
 - 当研究室では，信頼性の保証を目的としたGearsOSを開発している
 - GearsOSで未実装の機能であるファイルシステムの実装を目指す
 - <span style="color: red; ">今回はUnix likeにディレクトリシステムを実装した</span>
-- GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる
+- GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる
 - GearsOSのディレクトリシステムであるgearsDirectoryについて説明する
+- 未実装であるメモリマネージャーについて考察する
 
 ## Continuation based C
 
@@ -73,16 +74,16 @@
   <img src="figs/context.svg" width="1200">
 </div>
 
-## UnixのFile system
+## Unixのファイルシステム
 
-UnixのFile systemはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている
+UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている
 
 ### xv6
 
 - MITで教育用の目的で開発されたOS
 - Unixの基本的な構造を持つ
 - 当研究室ではxv6のCbCでの書き換え，分析を行なっている
-- File systemではinodeの仕組みが用いられている
+- ファイルシステムではinodeの仕組みが用いられている
 
 ### inode
 
@@ -209,6 +210,13 @@
   <img src="../paper/figs/nondestructive_tree_modification.png" width="1200">
 </div>
 
+## GearsOSにおけるメモリマネージメントシステム
+
+- 現在，GearsOSはメモリの資源をmallocで用いる
+- メモリとディスク上のデータ構造が等しくなる形で実装したい
+  - 単純なコピーでメモリとディスク間のデータやり取りを行うことができる
+- ガベージコレクションはCopying GCを用いる
+
 ## gearsDirectoryまとめ
 
 - gearsDirectoryの実装について説明した
--- a/slide/slide.pdf.html	Tue May 24 06:08:00 2022 +0900
+++ b/slide/slide.pdf.html	Tue May 24 12:01:23 2022 +0900
@@ -7,10 +7,10 @@
 <html>
 <head>
    <meta http-equiv="content-type" content="text/html;charset=utf-8">
-   <title>GearsOSにおけるinodeを用いたFile systemの実装</title>
+   <title>GearsOSにおける<br />inodeを用いたファイルシステムの構築</title>
 
    <meta name="generator" content="Slide Show (S9) v4.1.0 on Ruby 3.0.3 (2021-11-24) [arm64-darwin21]">
-   <meta name="author"    content="又吉　雄斗" >
+   <meta name="author"    content="Matayoshi Yuto, Shinji Kono" >
 
 <!-- style sheet links -->
 <link rel="stylesheet" href="s6/themes/screen.css"       media="screen">
@@ -55,15 +55,15 @@
       <tr>
         <td>
           <div align="center">
-              <h1><font color="#808db5">GearsOSにおけるinodeを用いたFile systemの実装</font></h1>
+              <h1><font color="#808db5">GearsOSにおける<br />inodeを用いたファイルシステムの構築</font></h1>
           </div>
         </td>
       </tr>
       <tr>
         <td>
           <div align="left">
-               又吉　雄斗
-               並列信頼研
+               Matayoshi Yuto, Shinji Kono
+               琉球大学
             <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
           </div>
         </td>
@@ -86,8 +86,9 @@
   <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
   <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li>
   <li><span style="color: red; ">今回はUnix likeにディレクトリシステムを実装した</span></li>
-  <li>GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる</li>
+  <li>GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる</li>
   <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li>
+  <li>未実装であるメモリマネージャーについて考察する</li>
 </ul>
 
 
@@ -200,9 +201,9 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="unixのfile-system">UnixのFile system</h2>
+<h2 id="unixのファイルシステム">Unixのファイルシステム</h2>
 
-<p>UnixのFile systemはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</p>
+<p>UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</p>
 
 <h3 id="xv6">xv6</h3>
 
@@ -210,7 +211,7 @@
   <li>MITで教育用の目的で開発されたOS</li>
   <li>Unixの基本的な構造を持つ</li>
   <li>当研究室ではxv6のCbCでの書き換え，分析を行なっている</li>
-  <li>File systemではinodeの仕組みが用いられている</li>
+  <li>ファイルシステムではinodeの仕組みが用いられている</li>
 </ul>
 
 <h3 id="inode">inode</h3>
@@ -376,6 +377,24 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
+<h2 id="gearsosにおけるメモリマネージメントシステム">GearsOSにおけるメモリマネージメントシステム</h2>
+
+<ul>
+  <li>現在，GearsOSがメモリの資源を用いる際にはmallocを用いている</li>
+  <li>メモリとディスク上のデータ構造が等しくなる形で実装したい
+    <ul>
+      <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li>
+    </ul>
+  </li>
+  <li>ガベージコレクションはCopying GCを用いる</li>
+</ul>
+
+
+
+</div>
+
+<div class='slide'>
+  <!-- _S9SLIDE_ -->
 <h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2>
 
 <ul>