Papers/2022/matac-thesis: slide/slide.html comparison

comparison slide/slide.html @ 46:8fbd88035545

...

author	matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date	Wed, 02 Feb 2022 20:55:43 +0900
parents	53b74a9cb1ef
children	a56209284c1f

comparison

equal deleted inserted replaced

-:d40d5c4e392f
+:8fbd88035545
 <!DOCTYPE html>
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html;charset=utf-8">
-<title>GearsOSにおけるinodeを用いたFile systemの設計</title>
+<title>GearsOSにおけるinodeを用いたFile systemの実装</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="又吉　雄斗" >
 <!-- style sheet links -->
 <div class='slide cover'>
 <table width="90%" height="90%" border="0" align="center">
 <tr>
 <td>
 <div align="center">
-<h1><font color="#808db5">GearsOSにおけるinodeを用いたFile systemの設計</font></h1>
+<h1><font color="#808db5">GearsOSにおけるinodeを用いたFile systemの実装</font></h1>
 </div>
 </td>
 </tr>
 <tr>
 <td>
 <div align="left">
 又吉　雄斗
-河野研
+並列信頼研
 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
 </div>
 </td>
 </tr>
 </table>
 <li>信頼性確保の方法として定理証明やモデル検査がある</li>
 </ul>
 </li>
 <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
 <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li>
-<li>今回はUnix likeにディレクトリシステムを実装した</li>
+<li><span style="color: red; ">今回はUnix likeにディレクトリシステムを実装した</span></li>
 <li>GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる</li>
 <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li>
 </ul>
 <li>プログラムはCodeGearと呼ばれる処理の単位で記述する</li>
 <li>データはDataGearと呼ばれる単位を用いる</li>
 <li>ノーマルレベルとメタレベルの処理を切り分けることが可能である</li>
 <li>function callの継続の代わりにgotoによる継続を用いる
 <ul>
-<li>function callの継続と区別して軽量継続と呼ぶ</li>
+<li>呼び出し履歴を持たないことから軽量継続と呼ぶ</li>
 </ul>
 </li>
 </ul>
 <div style="text-align: center;">
 <h2 id="gearsos">GearsOS</h2>
 <ul>
 <li>当研究室にて，信頼性と拡張性の両立を目的として開発している</li>
 <li>Gearという概念があり，実行の単位をCodeGear，データの単位をDataGearと呼ぶ</li>
-<li>同様にGearの概念を持つCbC(Continuation based C)で記述されている．</li>
+<li>同様にGearの概念を持つCbC(Continuation based C)で記述されている</li>
 <li>軽量継続を基本とし，stackを持たない代わりに全てを従来OSのプロセスに当たるContext経由で実行する</li>
 <li>ノーマルレベルとメタレベルの処理を切り分けることができる</li>
 <li>OSとして動作するために今後実装しなければならない機能がいくつか残っている</li>
 </ul>
 <div class='slide'>
 <!-- _S9SLIDE_ -->
 <h2 id="unixのfile-system">UnixのFile system</h2>
+<p>UnixのFile systemはinodeのBTreeで構成されており，xv6もその仕組みを用いている</p>
 <h3 id="xv6">xv6</h3>
 <ul>
 <li>MITで教育用の目的で開発されたOS</li>
 <li>Unixの基本的な構造を持つ</li>
 <div class='slide'>
 <!-- _S9SLIDE_ -->
 <h2 id="gearsfilesystemにおけるdirectoryの構成">GearsFileSystemにおけるdirectoryの構成</h2>
 <ul>
-<li>2つのFileSystemTreeを用いる
+<li>2つのRedBlackTreeを用いる
 <ol>
 <li>inode numberとfileのポインタのペアを持つTree</li>
 <li>filenameとinode numberのペアを持つTree</li>
 </ol>
 </li>
-</ul>
+<li>カレントディレクトリはgearsDirectory-&gt;currentDirectoryに保存される</li>
+</ul>
-<div style="text-align: center;">
-<img src="../paper/figs/inode.svg" width="800" />
+<div style="text-align: center;">
+<img src="figs/inode.svg" width="1000" />
 </div>
 </div>
 <h2 id="unix-like-な-interface-1">Unix Like な interface</h2>
 <h3 id="mkdir-1">mkdir</h3>
 <div style="text-align: center;">
-<img src="../paper/figs/mkdir.svg" width="600" />
+<img src="figs/mkdir.svg" width="700" />
 </div>
+<!--
+## Unix Like な interface
-</div>
+### ls
-<div class='slide'>
-<!-- _S9SLIDE_ -->
+```c
-<h2 id="unix-like-な-interface-2">Unix Like な interface</h2>
+__code ls(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) {
-<h3 id="ls">ls</h3>
-<pre><code class="language-c">__code ls(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) {
 Node* dir = new Node();
-dir-&gt;key = name-&gt;value;
+dir->key = name->value;
 struct FTree* cDirectory = new FTree();
-cDirectory = gearsDirectory-&gt;currentDirectory;
+cDirectory = gearsDirectory->currentDirectory;
-goto cDirectory-&gt;get(dir, ls2);
+goto cDirectory->get(dir, ls2);
 }
 __code ls2(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) {
-printf("%d\n", node-&gt;key);
+printf("%d\n", node->key);
 goto next(...);
 }
-</code></pre>
+```
+## Unix Like な interface
-</div>
+### ls
-<div class='slide'>
+<div style="text-align: center;">
-<!-- _S9SLIDE_ -->
+<img src="figs/ls.svg" width="1000">
-<h2 id="unix-like-な-interface-3">Unix Like な interface</h2>
+</div>
-<h3 id="ls-1">ls</h3>
+## Unix Like な interface
-<div style="text-align: center;">
+### cd
-<img src="../paper/figs/ls.svg" width="800" />
-</div>
+```c
+__code cd2Child(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) {
-</div>
-<div class='slide'>
-<!-- _S9SLIDE_ -->
-<h2 id="unix-like-な-interface-4">Unix Like な interface</h2>
-<h3 id="cd">cd</h3>
-<pre><code class="language-c">__code cd2Child(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) {
 struct FTree* cDirectory = new FTree();
-cDirectory = gearsDirectory-&gt;currentDirectory;
+cDirectory = gearsDirectory->currentDirectory;
 struct Node* node = new Node();
-node-&gt;key = name-&gt;value;
+node->key = name->value;
-goto cDirectory-&gt;get(node, cd2Child2);
+goto cDirectory->get(node, cd2Child2);
 }
 __code cd2Child2(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) {
 struct FTree* iNodeTree = new FTree();
-iNodeTree = gearsDirectory-&gt;iNodeTree;
+iNodeTree = gearsDirectory->iNodeTree;
-goto iNodeTree-&gt;get(node-&gt;value, cd2Child3);
+goto iNodeTree->get(node->value, cd2Child3);
 }
 __code cd2Child3(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) {
-gearsDirectory-&gt;currentDirectory = node-&gt;value;
+gearsDirectory->currentDirectory = node->value;
 goto next(...);
 }
-</code></pre>
+```
+## Unix Like な interface
-</div>
+### cd
-<div class='slide'>
+<div style="text-align: center;">
-<!-- _S9SLIDE_ -->
+<img src="figs/cd.svg" width="1200">
-<h2 id="unix-like-な-interface-5">Unix Like な interface</h2>
+</div>
-<h3 id="cd-1">cd</h3>
+-->
-<div style="text-align: center;">
-<img src="../paper/figs/cd.svg" width="800" />
 </div>
+<div class='slide'>
+<!-- _S9SLIDE_ -->
-</div>
+<h2 id="gearsdirectoryの非破壊的編集による">GearsDirectoryの非破壊的編集による</h2>
-<div class='slide'>
-<!-- _S9SLIDE_ -->
-<h2 id="gearsdirectoryの非破壊的編集によるバックアップ">GearsDirectoryの非破壊的編集によるバックアップ</h2>
 <ul>
 <li>GearsOSにおける永続データは非破壊的な編集を行う木構造を用いて保存する</li>
 <li>ディレクトリシステム自体にバックアップの機能を搭載することが可能と考える</li>
 </ul>
 </div>
 <div class='slide'>
 <!-- _S9SLIDE_ -->
 <h2 id="gearsfilesystemの今後">GearsFileSystemの今後</h2>
-<h3 id="gearsshell">GearsShell</h3>
-<ul>
-<li>現状のGearsOSはユーザーの入力を受け付けることが出来ず，プログラミングインターフェースの様に機能している．</li>
-<li>gearsFileSystemなどGearsOSの各機能と接続し，今回作成したcdやlsの様なコマンドを受け付けるGearsShellを作成したい．</li>
-</ul>
-<h3 id="gearsdirectory-filename">gearsDirectory filename</h3>
-<ul>
-<li>現状はgearsDirectoryのfilenameはIntegerの構造で管理されている</li>
-<li>filenameは一般的に文字列型であるためIntegerから文字列型に変更する必要がある</li>
-</ul>
-</div>
-<div class='slide'>
-<!-- _S9SLIDE_ -->
-<h2 id="gearsfilesystemの今後-1">GearsFileSystemの今後</h2>
 <h3 id="gearsdirectory-path">gearsDirectory path</h3>
 <ul>
 <li>gearsDirectoryにはpathの機能が実装されていない</li>
 <li>full path指定のlsなどが実装できない状態である</li>
 <li>FileSystemTreeを拡張し，ノードをたどりpathを生成する様な機能を実装する必要がある</li>
 </ul>
+<h3 id="gearsdirectory-filename">gearsDirectory filename</h3>
+<ul>
+<li>現状はgearsDirectoryのfilenameはIntegerの構造で管理されている</li>
+<li>filenameは一般的に文字列型であるためIntegerから文字列型に変更する必要がある</li>
+</ul>
+</div>
+<div class='slide'>
+<!-- _S9SLIDE_ -->
+<h2 id="gearsfilesystemの今後-1">GearsFileSystemの今後</h2>
+<h3 id="gearsdirectory-on-disk">gearsDirectory on disk</h3>
+<ul>
+<li>現状はgearsDirectoryはon memoryで実装されている</li>
+<li>inodeをdisk上に構築する必要がある</li>
+</ul>
+<h3 id="gearsshell">GearsShell</h3>
+<ul>
+<li>現状のGearsOSはユーザーの入力を受け付けることが出来ず，言語フレームワークの様に機能している</li>
+<li>gearsFileSystemなどGearsOSの各機能と接続し，今回作成したcdやlsの様なコマンドを受け付けるGearsShellを作成したい</li>
+</ul>
 <h3 id="ファイルのバックアップ">ファイルのバックアップ</h3>
 <ul>
 <li>レコードのDataをファイルの差分履歴として保持し，日時情報を付け加えることでVersion Control Systemのような機能を持たせることが可能であると考えられる</li>
 </ul>
 </div>
 <div class='slide'>
 <!-- _S9SLIDE_ -->
-<h2 id="まとめ">まとめ</h2>
+<h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2>
 <ul>
 <li>gearsDirectoryの実装について説明した</li>
 <li>RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた</li>
 <li>形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える</li>
 <li>RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，
-Unix Likeに構築することが出来た．</li>
+Unix Likeに構築することが出来た</li>
 </ul>
 </div>

Mercurial > hg > Papers > 2022 > matac-thesis

comparison slide/slide.html @ 46:8fbd88035545