Mercurial > hg > Papers > 2022 > ikki-master

diff finalSlide/finalSlide.html @ 42:01b88c0dd337

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tweak
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Mon, 28 Feb 2022 22:11:26 +0900
parents 3959e0817369
children
line wrap: on
line diff
--- a/finalSlide/finalSlide.html	Thu Feb 17 23:24:09 2022 +0900
+++ b/finalSlide/finalSlide.html	Mon Feb 28 22:11:26 2022 +0900
@@ -121,15 +121,16 @@
   <!-- _S9SLIDE_ -->
 <h2 id="研究目的">研究目的</h2>
 <ul>
-  <li>GearsOSにより信頼性が裏付けられる、分散ファイルシステムの開発/検証を行いたい</li>
-  <li>開発物はGearsOSによるAPIレベルなTransactionが実装される
+  <li>GearsOSにより信頼性が裏付けられる、分散ファイルシステムの開発/検証を行う</li>
+  <li>GearsOSの処理単位であるDataGearでファイルを構成したい</li>
+  <li>将来的にAPIやプロセスは定理支援証明系により整合性の検証が行われる</li>
+  <li>OSレベルでTransactionを持つ
     <ul>
       <li>Transactionとはデータ操作の不可分化による整合性の保護</li>
       <li>従来のアプリでは、ユーザーレベルで実装される</li>
     </ul>
   </li>
   <li>GearsOSが持つTransactionの実用性の検証</li>
-  <li>将来的にAPIやプロセスは定理支援証明系により整合性の検証が行われる</li>
 </ul>
 
 
@@ -140,17 +141,17 @@
   <!-- _S9SLIDE_ -->
 <h2 id="研究目的-1">研究目的</h2>
 <ul>
-  <li>分散フレームワークChristieの仕組みを用いた分散ファイルシステムの提案
+  <li>分散フレームワークChristieの仕組みを用いた分散ファイルシステムの設計/開発
     <ul>
       <li>純粋なデータの送り合いだけで構成されるシンプルな通信</li>
       <li>自律分散ファイルシステムを目指したい
         <ul>
-          <li>ネットワーク上で複数のプロトコルが使われることによる煩雑性を防ぐ</li>
+          <li>ネットワーク通信上で複数のプロトコルが送られることによる煩雑性を防ぐ</li>
         </ul>
       </li>
+      <li>通信のデータの整合性の保護はGearsOSが行う</li>
     </ul>
   </li>
-  <li>GearsOSの処理単位であるDataGearでファイルを構成できる</li>
 </ul>
 
 
@@ -182,7 +183,7 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="スライド発表">スライド発表</h2>
+<h2 id="ポスター発表">ポスター発表</h2>
 <ul>
   <li>GearsOSとChristieの解説
     <ul>
@@ -206,7 +207,7 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="ポスター発表">ポスター発表</h2>
+<h2 id="ポスター発表-1">ポスター発表</h2>
 <ul>
   <li>GearsOSのChristie likeなファイルシステムの設計と実装
     <ul>
@@ -227,346 +228,6 @@
   <li>まとめと課題</li>
 </ul>
 
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="この先保留">この先保留</h2>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="codegearとdatagear">CodeGearとDataGear</h2>
-<ul>
-  <li>CodeGear
-    <ul>
-      <li>実行Codeの単位</li>
-      <li>入力/出力のDataGearを持つ</li>
-      <li>goto文(jump命令)で遷移する</li>
-      <li>割り込みが行われない(atomicity)</li>
-    </ul>
-  </li>
-  <li>DataGear
-    <ul>
-      <li>変数にあたり、構造体の型を持つ</li>
-    </ul>
-  </li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="codegearとdatagearの関係">CodeGearとDataGearの関係</h2>
-<ul>
-  <li>InputDataGearを受け取って、CodeGearが処理し、OutputDataGearを出力する</li>
-  <li>OutputDataGearは次のCodeGearのInputDataGearとなる</li>
-  <li>CodeGear/DataGearはContextというオブジェクトで管理される</li>
-</ul>
-<div style="text-align: center;">
-  　<img src="images/cg-dg.pdf" alt="cgdgの関係図" width="600" />
-</div>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="研究概要">研究概要</h2>
-<ul>
-  <li>GearsOSの分散ファイルシステムの設計・実装を行った
-    <ul>
-      <li>ファイル構造の設計</li>
-      <li>ファイルAPIの設計</li>
-      <li>複数streamを用いたファイル通信とデバイス保存</li>
-    </ul>
-  </li>
-  <li>最低限のデータを送信することにより通信が行える</li>
-  <li>分散フレームワークChristieの仕組みを利用している</li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="本研究の目的">本研究の目的</h2>
-<ul>
-  <li>分散フレームワークChristieのファイルシステムへの応用
-    <ul>
-      <li>プロトコルを用いず、最低限のデータの送受信で通信を構成する</li>
-      <li>複雑な分散通信の見通しの改善</li>
-      <li>自律分散通信を目指した設計</li>
-    </ul>
-  </li>
-  <li>OSレベルなTransactionによるファイル通信記述の検証
-    <ul>
-      <li>GearsOSではAPIをTransactionとして構成できる</li>
-      <li>従来のファイルシステムはアプリケーションレベルで実装される</li>
-    </ul>
-  </li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="gearsos">GearsOS</h2>
-<ul>
-  <li>OSの信頼性の向上と拡張性を目指している</li>
-  <li>CodeGear/DataGearという単位で記述される</li>
-  <li>ノーマルレベルとメタレベルを分離して記述できる
-    <ul>
-      <li>メタレベル処理を切り替えることで、信頼性検証やデバッグを行う</li>
-      <li>将来的に本研究の成果物も信頼性の検証を行う</li>
-    </ul>
-  </li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="codegearとdatagear-1">CodeGearとDataGear</h2>
-<ul>
-  <li>CodeGear
-    <ul>
-      <li>実行Codeの単位</li>
-      <li>入力/出力のDataGearを持つ</li>
-      <li>goto文(jump命令)で遷移する</li>
-    </ul>
-  </li>
-  <li>DataGear
-    <ul>
-      <li>変数にあたり、構造体の型を持つ</li>
-    </ul>
-  </li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="codegearとdatagearの関係-1">CodeGearとDataGearの関係</h2>
-<ul>
-  <li>InputDataGearを受け取って、CodeGearが処理し、OutputDataGearを出力する</li>
-  <li>OutputDataGearは次のCodeGearのInputDataGearとなる</li>
-  <li>CodeGear/DataGearはContextというオブジェクトで管理される</li>
-</ul>
-<div style="text-align: center;">
-  　<img src="images/cg-dg.pdf" alt="cgdgの関係図" width="600" />
-</div>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="分散フレームワークchristie-1">分散フレームワークChristie</h2>
-<ul>
-  <li>Javaで記述された分散フレームワーク</li>
-  <li>GearsOSと似たGearという概念を持つ</li>
-  <li>CodeGearManagerと言うノードがCodeGear/DataGearを管理する
-    <ul>
-      <li>DataGearはDataGearManagerと言うデータプールに記録される</li>
-    </ul>
-  </li>
-  <li>DataGearをノード間で送り合うことで通信を行う</li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="christieの通信">Christieの通信</h2>
-<ul>
-  <li>LocalDGM
-    <ul>
-      <li>そのノードに対応するデータプール</li>
-      <li>CodeGearはLocalDGMからDataGearを参照する</li>
-    </ul>
-  </li>
-  <li>RemoteDGM
-    <ul>
-      <li>他のノードのLocalDGMに対応するproxy</li>
-      <li>RemoteDGMに書き込むと対応したLocalDGMに送信される</li>
-    </ul>
-  </li>
-  <li>DataGearManagerの仕組みをGearsOSのファイルに利用する</li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="remotedgmによる通信">RemoteDGMによる通信</h2>
-<ul>
-  <li>任意の相手のRemoteDGMを作成することで接続が形成される</li>
-  <li>RemoteDGMに書き込むと相手のLocalDGMに書き込みが行われる</li>
-</ul>
-<div style="text-align: center;">
-　<img src="images/Remote_DataGearManager.pdf" alt="RemoteDGMの関係図" width="550" />
-</div>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="ポスター発表概要">ポスター発表概要</h2>
-<ul>
-  <li>Christieの仕組みを用いたファイルシステム設計/実装の解説
-    <ul>
-      <li>QueueとTreeを用いたファイル構造</li>
-      <li>ファイルAPI
-        <ul>
-          <li>Put/Take/Peek</li>
-        </ul>
-      </li>
-      <li>複数socketを用いたファイル通信の構成</li>
-      <li>WordCount例題</li>
-    </ul>
-  </li>
-  <li>まとめと課題</li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="まとめ">まとめ</h2>
-<ul>
-  <li>GearsOSの通信を含めたファイルシステムの設計・開発を行った
-    <ul>
-      <li>DataGear単位によるファイル操作</li>
-      <li>複数のstreamを用いた通信の設計
-        <ul>
-          <li>現時点では単一streamによる通信のみ開発済み</li>
-        </ul>
-      </li>
-    </ul>
-  </li>
-  <li>課題
-    <ul>
-      <li>WordCount例題の再現</li>
-      <li>API/プロセスの信頼性や性能の調査</li>
-    </ul>
-  </li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="gearsosのファイルシステム">GearsOSのファイルシステム</h2>
-<ul>
-  <li>ファイルデータの最小単位はDataGearとなる</li>
-  <li>ファイルデータとなるDataGearはQueueに格納される</li>
-  <li>APIはPut/Take/Peekの三つで操作する</li>
-</ul>
-<div style="text-align: center;">
-  　<img src="images/QueueElement.pdf" alt="Queue" width="800" />
-</div>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="gearsosにおけるファイル">GearsOSにおけるファイル</h2>
-<ul>
-  <li>ファイルは複数のQueueを持つ赤黒木である</li>
-  <li>Queueはkeyでアクセスされる</li>
-  <li>Queueはstreamの役割を持つ</li>
-</ul>
-
-<div style="text-align: center;">
-  　<img src="images/newGearsFile.pdf" alt="Queue" width="400" />
-</div>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="ファイルによる通信の構成">ファイルによる通信の構成</h2>
-<ul>
-  <li>GearsOSのファイルは通信も担当する</li>
-  <li>通信先のファイルのproxyを生成し通信する</li>
-  <li>proxyに対してデータを書き込むことで通信が行われる</li>
-  <li>WordCount例題を通して設計を行った</li>
-</ul>
-<div style="text-align: center;">
-  <img src="images/slideGearsWC.pdf" alt="Queue" width="500" />
-</div>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="gearsosの分散ファイルシステム">GearsOSの分散ファイルシステム</h2>
-<ul>
-  <li>GearsOSのファイルは通信の役割も持つ</li>
-  <li>遠隔上のファイルに対応するproxyを作成して通信を行う
-    <ul>
-      <li>対象ファイルとproxyはsocketで接続される</li>
-      <li>proxyの操作はLocalなファイルと相違なく行える</li>
-    </ul>
-  </li>
-  <li>記録デバイスへの保存も同様な仕組みで行う</li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
-<h2 id="gearsfsの展望">GearsFSの展望</h2>
-<ul>
-  <li>ノードの配線を担当するTopologyManagerの実装
-    <ul>
-      <li>参加表明したノードを任意の形のTopologyへ配線する</li>
-    </ul>
-  </li>
-  <li>将来的にAPIと通信プロセスは定理支援証明系Agdaで検証を行う</li>
-  <li>複数streamにより制御を行う分散ファイル通信の検証</li>
-  <li>GearsOSによるOSレベルTransactionの信頼性/実用性調査
-    <ul>
-      <li>従来ではアプリケーションレベルにより実装される</li>
-    </ul>
-  </li>
-</ul>
-
 </div>