Mercurial > hg > Papers > 2023 > matac-sigos

view slide/slide.html @ 27:f3fea3b5eeb2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
init marp slide
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Thu, 11 May 2023 22:23:30 +0900
parents 466b958a3419
children
line wrap: on
line source






<!DOCTYPE html>
<html>
<head>
   <meta http-equiv="content-type" content="text/html;charset=utf-8">
   <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="Matayoshi Yuto, Sano Yoshiaki, Shinji Kono," >

<!-- style sheet links -->
<link rel="stylesheet" href="s6/themes/projection.css"   media="screen,projection">
<link rel="stylesheet" href="s6/themes/screen.css"       media="screen">
<link rel="stylesheet" href="s6/themes/print.css"        media="print">
<link rel="stylesheet" href="s6/themes/blank.css"        media="screen,projection">

<!-- JS -->
<script src="s6/js/jquery-1.11.3.min.js"></script>
<script src="s6/js/jquery.slideshow.js"></script>
<script src="s6/js/jquery.slideshow.counter.js"></script>
<script src="s6/js/jquery.slideshow.controls.js"></script>
<script src="s6/js/jquery.slideshow.footer.js"></script>
<script src="s6/js/jquery.slideshow.autoplay.js"></script>

<!-- prettify -->
<link rel="stylesheet" href="scripts/prettify.css">
<script src="scripts/prettify.js"></script>

<script>
  $(document).ready( function() {
    Slideshow.init();

    $('code').each(function(_, el) {
      if (!el.classList.contains('noprettyprint')) {
        el.classList.add('prettyprint');
      }
    });
    prettyPrint();
  } );

</script>

<!-- Better Browser Banner for Microsoft Internet Explorer (IE) -->
<!--[if IE]>
<script src="s6/js/jquery.microsoft.js"></script>
<![endif]-->

    

</head>
<body>

<div class="layout">
  <div id="header"></div>
  <div id="footer">
    <div align="right">
      <img src="s6/images/logo.svg" width="200px">
    </div>
  </div>
</div>

<div class="presentation">

  <div class='slide cover'>
    <table width="90%" height="90%" border="0" align="center">
      <tr>
        <td>
          <div align="center">
              <h1><font color="#808db5">GearsOSにおける<br />inodeを用いたファイルシステムの構築</font></h1>
          </div>
        </td>
      </tr>
      <tr>
        <td>
          <div align="left">
              Matayoshi Yuto, Sano Yoshiaki, Shinji Kono,
              琉球大学
            <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
          </div>
        </td>
      </tr>
    </table>
  </div>



<div class='slide'>
  <!-- ここでは大きな目的を述べる -->


<!-- _S9SLIDE_ -->
<h2 id="研究目的">研究目的</h2>

<ul>
  <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある</li>
  <li>信頼性確保の方法として定理証明やモデル検査がある</li>
  <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
  <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li>
</ul>

<!-- ここでは今回やったことの概要を述べる -->



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="inodeを用いたgearsdirectoryの実装">inodeを用いたgearsDirectoryの実装</h2>

<ul>
  <li><span style="color: red; ">今回はUnixのinode仕組みを参考にディレクトリシステムを実装した</span></li>
  <li>GearsOSのディレクトリシステムであるgearsDirectoryについて
    <ul>
      <li>基礎概念
        <ul>
          <li>CbC</li>
          <li>GearsOS</li>
        </ul>
      </li>
      <li>実装</li>
    </ul>
  </li>
</ul>

<!-- ここから基礎概念 -->



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="信頼性の保証を目的としたos">信頼性の保証を目的としたOS</h2>

<ul>
  <li>GearsAgda(Agda)
    <ul>
      <li>形式手法による信頼性の向上</li>
    </ul>
  </li>
  <li>GearsOS(CbC) &lt;- 今回ディレクトリシステムの実装を行なった
    <ul>
      <li>ユーザーレベルタスクマネージメント</li>
    </ul>
  </li>
  <li>x.v6(CbC)
    <ul>
      <li>スタンドアロンOS</li>
    </ul>
  </li>
</ul>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="continuation-based-c">Continuation based C</h2>

<ul>
  <li>Cの下位言語である</li>
  <li>プログラムはCodeGearと呼ばれる処理の単位で記述する</li>
  <li>データはDataGearと呼ばれる単位を用いる</li>
  <li>ノーマルレベルとメタレベルの処理を切り分けることが容易に可能である</li>
  <li>function callの継続の代わりにgotoによる継続を用いる
    <ul>
      <li>呼び出し履歴を持たないことから軽量継続と呼ぶ</li>
    </ul>
  </li>
</ul>

<p> </p>

<div style="text-align: center;">
  <img src="figs/cgdg.svg" width="1000" />
</div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsoscbc">GearsOS(CbC)</h2>

<ul>
  <li>当研究室にて，信頼性と拡張性の両立を目的として開発している</li>
  <li>CbCで記述されている</li>
  <li>Gearという概念があり，実行の単位をCodeGear，データの単位をDataGearと呼ぶ</li>
  <li>ノーマルレベルとメタレベルの処理を切り分けることが容易にできる</li>
</ul>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsoscbc-1">GearsOS(CbC)</h2>

<h3 id="codegearとmetacodegearの関係">CodeGearとmetaCodeGearの関係</h3>

<ul>
  <li>ノーマルレベルとメタレベルの存在
    <ul>
      <li>CodeGearがDataGearを受け取り，処理後にDataGearを次のCodeGearに渡すという動作をしているように見える</li>
      <li>実際にはデータの整合性の確認や資源管理などのメタレベルの処理が存在し，それらの計算はMetaCodeGearで行われる</li>
    </ul>
  </li>
</ul>

<div style="text-align: center;">
  <img src="../paper/figs/meta_cg_dg.svg" width="1200" />
</div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsoscbc-2">GearsOS(CbC)</h2>

<h3 id="context">Context</h3>

<ul>
  <li>GearsOS上全てのCodeGear，DataGearの参照を持つ</li>
  <li>OS上の処理の実行単位</li>
  <li>Gearの概念ではMetaDataGearに当たる</li>
  <li>ノーマルレベルから直接参照されず，必ずMetaDataGearとしてMetaCodeGearから参照される</li>
</ul>

<!--
### Contextの種類

- OS全体のContextを管理するKernel Context
- ユーザープログラムごとに存在するUser Context
- CPUやGPUごとに存在するCPU Context

-->



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsoscbc-3">GearsOS(CbC)</h2>

<h3 id="codegear遷移の流れ">CodeGear遷移の流れ</h3>

<div style="text-align: center;">
  <img src="figs/context.svg" width="1200" />
</div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="unixのinode">Unixのinode</h2>

<ul>
  <li>UnixのファイルシステムはメタデータにBTreeで構成されたinodeを用いる</li>
</ul>

<h3 id="inode">inode</h3>

<ul>
  <li>ファイルの属性情報が書かれたデータである</li>
  <li>識別番号としてinode numberを持つ</li>
  <li>inodeはファイルシステム始動時にinode領域をディスク上に確保する</li>
</ul>

<!-- ここまで基礎概念 -->

<!-- 実装したものの説明 -->



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsfilesystemにおけるdirectoryの構成">GearsFileSystemにおけるdirectoryの構成</h2>

<ul>
  <li>2つのRedBlackTreeを用いる
    <ol>
      <li>filenameとinode numberのペアを持つindex tree</li>
      <li>inode numberとinodeのポインタのペアを持つinode tree</li>
    </ol>
  </li>
  <li>カレントディレクトリはgearsDirectory-&gt;currentDirectoryに保存される</li>
</ul>

<div style="text-align: center;">
  <img src="figs/inode.svg" width="1000" />
</div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="unix-like-な-interface">Unix Like な interface</h2>

<h3 id="mkdir">mkdir</h3>

<div class="language-c highlighter-rouge"><pre class="highlight"><code><span class="n">__code</span> <span class="nf">mkdir</span><span class="p">(</span><span class="k">struct</span> <span class="n">GearsDirectoryImpl</span><span class="o">*</span> <span class="n">gearsDirectory</span><span class="p">,</span> <span class="k">struct</span> <span class="n">Integer</span><span class="o">*</span> <span class="n">name</span><span class="p">,</span> <span class="n">__code</span> <span class="n">next</span><span class="p">(...))</span> <span class="p">{</span>
    <span class="k">struct</span> <span class="n">FTree</span><span class="o">*</span> <span class="n">newDirectory</span> <span class="o">=</span> <span class="n">createFileSystemTree</span><span class="p">(</span><span class="n">context</span><span class="p">,</span> <span class="n">gearsDirectory</span><span class="o">-&gt;</span><span class="n">currentDirectory</span><span class="p">);</span>
    <span class="n">Node</span><span class="o">*</span> <span class="n">inode</span> <span class="o">=</span> <span class="n">new</span> <span class="n">Node</span><span class="p">();</span>
    <span class="n">inode</span><span class="o">-&gt;</span><span class="n">key</span> <span class="o">=</span> <span class="n">gearsDirectory</span><span class="o">-&gt;</span><span class="n">INodeNumber</span><span class="p">;</span>
    <span class="n">inode</span><span class="o">-&gt;</span><span class="n">value</span> <span class="o">=</span> <span class="n">newDirectory</span><span class="p">;</span>
    <span class="k">struct</span> <span class="n">FTree</span><span class="o">*</span> <span class="n">cDirectory</span> <span class="o">=</span> <span class="n">new</span> <span class="n">FTree</span><span class="p">();</span>
    <span class="n">cDirectory</span> <span class="o">=</span> <span class="n">gearsDirectory</span><span class="o">-&gt;</span><span class="n">iNodeTree</span><span class="p">;</span>
    <span class="k">goto</span> <span class="n">cDirectory</span><span class="o">-&gt;</span><span class="n">put</span><span class="p">(</span><span class="n">inode</span><span class="p">,</span> <span class="n">mkdir2</span><span class="p">);</span>
<span class="p">}</span>

<span class="n">__code</span> <span class="nf">mkdir2</span><span class="p">(</span><span class="k">struct</span> <span class="n">GearsDirectoryImpl</span><span class="o">*</span> <span class="n">gearsDirectory</span><span class="p">,</span> <span class="k">struct</span> <span class="n">Integer</span><span class="o">*</span> <span class="n">name</span><span class="p">,</span> <span class="n">__code</span> <span class="n">next</span><span class="p">(...))</span> <span class="p">{</span>
    <span class="n">Node</span><span class="o">*</span> <span class="n">dir</span> <span class="o">=</span> <span class="n">new</span> <span class="n">Node</span><span class="p">();</span>
    <span class="n">dir</span><span class="o">-&gt;</span><span class="n">key</span> <span class="o">=</span> <span class="n">name</span><span class="o">-&gt;</span><span class="n">value</span><span class="p">;</span>
    <span class="n">Integer</span><span class="o">*</span> <span class="n">iNum</span> <span class="o">=</span> <span class="n">new</span> <span class="n">Integer</span><span class="p">();</span>
    <span class="n">iNum</span><span class="o">-&gt;</span><span class="n">value</span> <span class="o">=</span> <span class="n">gearsDirectory</span><span class="o">-&gt;</span><span class="n">INodeNumber</span><span class="p">;</span>
    <span class="n">dir</span><span class="o">-&gt;</span><span class="n">value</span> <span class="o">=</span> <span class="n">iNum</span><span class="p">;</span>
    <span class="n">gearsDirectory</span><span class="o">-&gt;</span><span class="n">INodeNumber</span> <span class="o">=</span> <span class="n">gearsDirectory</span><span class="o">-&gt;</span><span class="n">INodeNumber</span> <span class="o">+</span> <span class="mi">1</span><span class="p">;</span>
    <span class="k">struct</span> <span class="n">FTree</span><span class="o">*</span> <span class="n">cDirectory</span> <span class="o">=</span> <span class="n">new</span> <span class="n">FTree</span><span class="p">();</span>
    <span class="n">cDirectory</span> <span class="o">=</span> <span class="n">gearsDirectory</span><span class="o">-&gt;</span><span class="n">currentDirectory</span><span class="p">;</span>
    <span class="k">goto</span> <span class="n">cDirectory</span><span class="o">-&gt;</span><span class="n">put</span><span class="p">(</span><span class="n">dir</span><span class="p">,</span> <span class="n">next</span><span class="p">(...));</span>
<span class="p">}</span>
</code></pre></div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="unix-like-な-interface-1">Unix Like な interface</h2>

<h3 id="mkdir-1">mkdir</h3>

<div style="text-align: center;">
  <img src="figs/mkdir.svg" width="1100" />
</div>

<!--
## Unix Like な interface

### ls

```c
__code ls(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) {
    Node* dir = new Node();
    dir->key = name->value;
    struct FTree* cDirectory = new FTree();
    cDirectory = gearsDirectory->currentDirectory;
    goto cDirectory->get(dir, ls2);
}

__code ls2(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) {
    printf("%d\n", node->key);
    goto next(...);
}
```

## Unix Like な interface

### ls

<div style="text-align: center;">
  <img src="figs/ls.svg" width="1000">
</div>

## Unix Like な interface

### cd

```c
__code cd2Child(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) {
    struct FTree* cDirectory = new FTree();
    cDirectory = gearsDirectory->currentDirectory;
    struct Node* node = new Node();
    node->key = name->value;
    goto cDirectory->get(node, cd2Child2);
}

__code cd2Child2(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) {
    struct FTree* iNodeTree = new FTree();
    iNodeTree = gearsDirectory->iNodeTree;
    goto iNodeTree->get(node->value, cd2Child3);
}

__code cd2Child3(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) {
    gearsDirectory->currentDirectory = node->value;
    goto next(...);
}
```

## Unix Like な interface

### cd

<div style="text-align: center;">
  <img src="figs/cd.svg" width="1200">
</div>

-->

<!-- 課題 -->



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsdirectoryにおける非破壊編集ツリー">GearsDirectoryにおける非破壊編集ツリー</h2>

<ul>
  <li>GearsOSにおける永続データは非破壊的な編集を行う木構造を用いて保存する</li>
  <li>ディレクトリシステム自体にバックアップの機能を搭載することが可能と考える</li>
</ul>

<div style="text-align: center;">
  <img src="../paper/figs/nondestructive_tree_modification.png" width="1200" />
</div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsosにおけるメモリマネージメントシステム">GearsOSにおけるメモリマネージメントシステム</h2>

<ul>
  <li>メモリとディスク上のデータ構造が等しくなる形で実装したい
    <ul>
      <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li>
      <li>メモリとディスクのデータアクセスの形式を統一することができる</li>
    </ul>
  </li>
</ul>

<div style="text-align: center;">
  <img src="figs/disk-memory.svg" width="900" />
</div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsosにおけるメモリマネージメントシステム-1">GearsOSにおけるメモリマネージメントシステム</h2>

<ul>
  <li>メモリとディスク上のデータ構造が等しくなる形で実装したい
    <ul>
      <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li>
      <li>メモリとディスクのアドレスの差はoffsetを変換することによって吸収する</li>
      <li>メモリとディスクのデータアクセスの形式を統一することができる</li>
    </ul>
  </li>
</ul>

<div style="text-align: center;">
  <img src="figs/data-access.svg" width="900" />
</div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsosにおけるメモリマネージメントシステム-2">GearsOSにおけるメモリマネージメントシステム</h2>

<ul>
  <li>ガベージコレクションはCopying GCを用いる</li>
</ul>

<div style="text-align: center;">
  <img src="figs/copying-gc.svg" width="900" />
</div>



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsfilesystemの今後">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>

<!--
## GearsFileSystemの今後

### gearsDirectory on disk

- 現状はgearsDirectoryはon memoryで実装されている
- inodeをdisk上に構築する必要がある

### GearsShell

- 現状のGearsOSはユーザーの入力を受け付けることが出来ず，言語フレームワークの様に機能している
- gearsFileSystemなどGearsOSの各機能と接続し，今回作成したcdやlsの様なコマンドを受け付けるGearsShellを作成したい

### ファイルのバックアップ

- レコードのDataをファイルの差分履歴として保持し，日時情報を付け加えることでVersion Control Systemのような機能を持たせることが可能であると考えられる
-->



</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2>

<ul>
  <li>gearsDirectoryの実装について説明した
    <ul>
      <li>RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た</li>
      <li>RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた</li>
      <li>形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える</li>
    </ul>
  </li>
  <li>メモリマネージメントシステムについて考察した</li>
</ul>

<!-- 

メモ書き

- [x] GearsAgdaの話入れて，どこに対する実装なのかはっきりさせる
- [x]「CbCでinodeファイルシステムを実装した」ことをはっきりさせる
- [ ] 実装部分と未実装部分をはっきりさせる
- [x] x.v6の話いらない？ -> 研究会で知らない人多分いないからいらない
- [ ] 仮想記憶との関係　これは図にできそう
- [x] まず大きな目的を述べる．その後，今回やったことを述べる


この流れがいいだろう

大きな研究目的　-> 今回の研究 -> 今回の研究に関する基礎概念
-> 実装したもの -> 実装したものの至らない点 -> 今後実装するものの紹介と考察
  
-->

</div>


</div><!-- presentation -->
</body>
</html>