Mercurial > hg > Papers > 2022 > ikki-master

changeset 36:f636dbf689e1

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, 14 Feb 2022 16:46:02 +0900
parents 668692d92e6e
children 8efb5398e604
files finalSlide/finalSlide.html finalSlide/finalSlide.md finalSlide/finalSlide.pdf.html
diffstat 3 files changed, 73 insertions(+), 34 deletions(-) [+]
line wrap: on
line diff
--- a/finalSlide/finalSlide.html	Sun Feb 13 23:04:26 2022 +0900
+++ b/finalSlide/finalSlide.html	Mon Feb 14 16:46:02 2022 +0900
@@ -134,7 +134,7 @@
       </li>
     </ul>
   </li>
-  <li>分散フレームワークChrisiteの仕組みを用いることで</li>
+  <li>分散フレームワークChrisiteの仕組みで問題の一部を解決をはかる</li>
 </ul>
 
 
@@ -147,9 +147,9 @@
 <ul>
   <li>Javaで書かれた分散フレームワークである
     <ul>
-      <li>GearsOSと近い, Gearと言うプログラミング概念を持つ</li>
+      <li>GearsOSと似たGearと言うプログラミング概念を持つ</li>
+      <li>規格が決められたプロトコルを持たず、データのみの送受信で通信する</li>
       <li>自立分散を目指した設計となっている</li>
-      <li>規格が決められたプロトコルを持たず、データのみの送信で通信する</li>
     </ul>
   </li>
   <li>通信されるデータを意識しながら分散処理の記述が行える</li>
@@ -161,17 +161,34 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="christieを用いたファイルシステム開発">Christieを用いたファイルシステム開発</h2>
+<h2 id="christie-likeな通信の分散ファイルシステムの提案">Christie likeな通信の分散ファイルシステムの提案</h2>
 <ul>
-  <li>Christieの通信構成をファイルシステムへの適用を行う</li>
-  <li>ファイルは複数のstreamで構成され、データの通信も行う
+  <li>Christieの仕組みを分散ファイルシステムに応用/検証を行いたい
     <ul>
-      <li>これによりファイルのデータ操作をDataGearの単位で行える</li>
+      <li>複数のstreamを持ち、通信を行うファイル構造</li>
+      <li>APIは通信部分を含め3種類で構成される</li>
     </ul>
   </li>
-  <li>CodeGear単位の記述によりAPIはTransactionで提供される</li>
-  <li>将来的に定理支援証明系agdaで信頼性検証を行う</li>
-  <li>Christie baseなファイル通信の評価を行いたい</li>
+  <li>プロトコルを用いないことで、分散ネットワーク内の通信の見通しを確保する</li>
+  <li>簡潔な記述による分散処理構成</li>
+  <li>APIやプロセスの正当性は将来的に定理支援証明系agdaで検証される</li>
+</ul>
+
+
+
+</div>
+
+<div class='slide'>
+  <!-- _S9SLIDE_ -->
+<h2 id="gearsosが持つosレベルなtransactionの検証">GearsOSが持つOSレベルなTransactionの検証</h2>
+<ul>
+  <li>GearsOSはAPIレベルでTransactionな記述が行える
+    <ul>
+      <li>従来のアプリケーションでは、ユーザーレベルで実装される</li>
+      <li>GearsOSのOSレベルで実装されるTransactionの実装検証を行いたい</li>
+    </ul>
+  </li>
+  <li>OSのTransactionが保証されていれば、アプリケーションの信頼性の保証となる</li>
 </ul>
 
 
@@ -182,7 +199,7 @@
   <!-- _S9SLIDE_ -->
 <h2 id="ポスター発表">ポスター発表</h2>
 <ul>
-  <li>GearsOSのファイルシステムの設計と実装
+  <li>GearsOSのChristie likeなファイルシステムの設計と実装
     <ul>
       <li>ファイル構造
         <ul>
--- a/finalSlide/finalSlide.md	Sun Feb 13 23:04:26 2022 +0900
+++ b/finalSlide/finalSlide.md	Mon Feb 14 16:46:02 2022 +0900
@@ -25,27 +25,32 @@
   - 従来ではアプリケーションが持つ機能の一部を取り入れたい
     - Transaction
     - バックアップ
-- 分散フレームワークChrisiteの仕組みを用いることで
+- 分散フレームワークChrisiteの仕組みで問題の一部を解決をはかる
+
 
 ## 分散フレームワークChristie
 - Javaで書かれた分散フレームワークである
-  - GearsOSと近い, Gearと言うプログラミング概念を持つ
+  - GearsOSと似たGearと言うプログラミング概念を持つ
+  - 規格が決められたプロトコルを持たず、データのみの送受信で通信する  
   - 自立分散を目指した設計となっている
-  - 規格が決められたプロトコルを持たず、データのみの送信で通信する
 - 通信されるデータを意識しながら分散処理の記述が行える
 
+## Christie likeな通信の分散ファイルシステムの提案
+- Christieの仕組みを分散ファイルシステムに応用/検証を行いたい
+  - 複数のstreamを持ち、通信を行うファイル構造
+  - APIは通信部分を含め3種類で構成される
+- プロトコルを用いないことで、分散ネットワーク内の通信の見通しを確保する
+- 簡潔な記述による分散処理構成
+- APIやプロセスの正当性は将来的に定理支援証明系agdaで検証される
 
-## Christieを用いたファイルシステム開発
-- Christieの通信構成をファイルシステムへの適用を行う
-- ファイルは複数のstreamで構成され、データの通信も行う
-  - これによりファイルのデータ操作をDataGearの単位で行える
-- CodeGear単位の記述によりAPIはTransactionで提供される
-- 将来的に定理支援証明系agdaで信頼性検証を行う
-- Christie baseなファイル通信の評価を行いたい
-
+## GearsOSが持つOSレベルなTransactionの検証
+- GearsOSはAPIレベルでTransactionな記述が行える
+  - 従来のアプリケーションでは、ユーザーレベルで実装される
+  - GearsOSのOSレベルで実装されるTransactionの実装検証を行いたい
+- OSのTransactionが保証されていれば、アプリケーションの信頼性の保証となる
 
 ## ポスター発表
-- GearsOSのファイルシステムの設計と実装
+- GearsOSのChristie likeなファイルシステムの設計と実装
   - ファイル構造
     - QueueとTreeを用いる
   - ファイルAPI
--- a/finalSlide/finalSlide.pdf.html	Sun Feb 13 23:04:26 2022 +0900
+++ b/finalSlide/finalSlide.pdf.html	Mon Feb 14 16:46:02 2022 +0900
@@ -118,7 +118,7 @@
       </li>
     </ul>
   </li>
-  <li>分散フレームワークChrisiteの仕組みを用いることで</li>
+  <li>分散フレームワークChrisiteの仕組みで問題の一部を解決をはかる</li>
 </ul>
 
 
@@ -131,9 +131,9 @@
 <ul>
   <li>Javaで書かれた分散フレームワークである
     <ul>
-      <li>GearsOSと近い, Gearと言うプログラミング概念を持つ</li>
+      <li>GearsOSと似たGearと言うプログラミング概念を持つ</li>
+      <li>規格が決められたプロトコルを持たず、データのみの送受信で通信する</li>
       <li>自立分散を目指した設計となっている</li>
-      <li>規格が決められたプロトコルを持たず、データのみの送信で通信する</li>
     </ul>
   </li>
   <li>通信されるデータを意識しながら分散処理の記述が行える</li>
@@ -145,17 +145,34 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="christieを用いたファイルシステム開発">Christieを用いたファイルシステム開発</h2>
+<h2 id="christie-likeな通信の分散ファイルシステムの提案">Christie likeな通信の分散ファイルシステムの提案</h2>
 <ul>
-  <li>Christieの通信構成をファイルシステムへの適用を行う</li>
-  <li>ファイルは複数のstreamで構成され、データの通信も行う
+  <li>Christieの仕組みを分散ファイルシステムに応用/検証を行いたい
     <ul>
-      <li>これによりファイルのデータ操作をDataGearの単位で行える</li>
+      <li>複数のstreamを持ち、通信を行うファイル構造</li>
+      <li>APIは通信部分を含め3種類で構成される</li>
     </ul>
   </li>
-  <li>CodeGear単位の記述によりAPIはTransactionで提供される</li>
-  <li>将来的に定理支援証明系agdaで信頼性検証を行う</li>
-  <li>Christie baseなファイル通信の評価を行いたい</li>
+  <li>プロトコルを用いないことで、分散ネットワーク内の通信の見通しを確保する</li>
+  <li>簡潔な記述による分散処理構成</li>
+  <li>APIやプロセスの正当性は将来的に定理支援証明系agdaで検証される</li>
+</ul>
+
+
+
+</div>
+
+<div class='slide'>
+  <!-- _S9SLIDE_ -->
+<h2 id="gearsosが持つosレベルなtransactionの検証">GearsOSが持つOSレベルなTransactionの検証</h2>
+<ul>
+  <li>GearsOSはAPIレベルでTransactionな記述が行える
+    <ul>
+      <li>従来のアプリケーションでは、ユーザーレベルで実装される</li>
+      <li>GearsOSのOSレベルで実装されるTransactionの実装検証を行いたい</li>
+    </ul>
+  </li>
+  <li>OSのTransactionが保証されていれば、アプリケーションの信頼性の保証となる</li>
 </ul>
 
 
@@ -166,7 +183,7 @@
   <!-- _S9SLIDE_ -->
 <h2 id="ポスター発表">ポスター発表</h2>
 <ul>
-  <li>GearsOSのファイルシステムの設計と実装
+  <li>GearsOSのChristie likeなファイルシステムの設計と実装
     <ul>
       <li>ファイル構造
         <ul>