Mercurial > hg > Papers > 2022 > ikki-master

changeset 32:fa31358d38f1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tweak slide
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Sat, 12 Feb 2022 19:59:58 +0900
parents 411d86a35dd3
children ab77a291294d
files Paper/images/QueueElement.graffle.graffle Paper/images/QueueElement.pdf finalSlide/finalSlide.html finalSlide/finalSlide.md finalSlide/finalSlide.pdf.html finalSlide/images/QueueElement.graffle.graffle finalSlide/images/QueueElement.pdf poster/.DS_Store
diffstat 8 files changed, 39 insertions(+), 47 deletions(-) [+]
line wrap: on
line diff
Binary file Paper/images/QueueElement.graffle.graffle has changed
Binary file Paper/images/QueueElement.pdf has changed
--- a/finalSlide/finalSlide.html	Sat Feb 12 18:46:33 2022 +0900
+++ b/finalSlide/finalSlide.html	Sat Feb 12 19:59:58 2022 +0900
@@ -101,8 +101,7 @@
     </ul>
   </li>
   <li>自律分散を目指した分散ファイルシステムの設計</li>
-  <li>既存OSファイルシステムの問題解決案の検証</li>
-  <li>GearsOSの記述によるアプリケーション開発例</li>
+  <li>OSレベルのTransactionによるアプリ実装</li>
 </ul>
 
 
@@ -113,7 +112,8 @@
   <!-- _S9SLIDE_ -->
 <h2 id="gearsos">GearsOS</h2>
 <ul>
-  <li><strong>CodeGear</strong>と<strong>DataGear</strong>という単位を用いるOS</li>
+  <li><strong>CodeGear</strong>と<strong>DataGear</strong>という単位を用いるOS開発プロジェクト</li>
+  <li>開発途上段階となる</li>
   <li>OSの信頼性の向上と拡張性を目指している
     <ul>
       <li>OSのプログラムは膨大な量となり、検証は困難である</li>
@@ -136,15 +136,15 @@
   <!-- _S9SLIDE_ -->
 <h2 id="transactionalなファイルシステム">Transactionalなファイルシステム</h2>
 <ul>
-  <li>OSのファイルシステムAPIをTransactionで構成する
+  <li>GearsFSはDataGear単位での操作を行う</li>
+  <li>これによりファイルシステムAPIをTransactionとして実装できる
     <ul>
       <li>従来のOSのファイルシステムは一部を除きTransactionでない</li>
-      <li>Transactionな操作はアプリケーションレベルで実装されている</li>
+      <li>Transactionな操作はアプリケーションレベルで実装される</li>
     </ul>
   </li>
-  <li>一貫性の保護をOSレベルから行いたい</li>
   <li>Transactionは様々な分類のアプリケーションに利用される</li>
-  <li>OSレベルなTransactionによるアプリケーション実装の検証</li>
+  <li>GearsOSによるOSレベルのTransactionアプリケーションの実用検証</li>
 </ul>
 
 
@@ -155,18 +155,15 @@
   <!-- _S9SLIDE_ -->
 <h2 id="gearsosのファイルシステムの設計と実装">GearsOSのファイルシステムの設計と実装</h2>
 <ul>
-  <li>CodeGear/DataGear単位なファイルシステムの設計</li>
-  <li>ファイル操作APIの定義
+  <li>CodeGear/DataGear単位で構成される</li>
+  <li>ファイルは複数のQueueを持つリストとして実装される</li>
+  <li>APIはPut/Take/Peek
     <ul>
-      <li>Put/Take/Peek</li>
+      <li>key アクセスによるデータ参照</li>
+      <li>プロトコルを用いないデータアクセス手法</li>
     </ul>
   </li>
-  <li>key アクセスによるデータ参照
-    <ul>
-      <li>プロトコルを用いないデータアクセス</li>
-      <li>分散フレームワークChristieの仕組みを用いる</li>
-    </ul>
-  </li>
+  <li>分散フレームワークChristieの仕組みを用いる</li>
   <li>将来的にAPIの正当性は定理支援証明系で検証を行う</li>
 </ul>
 
--- a/finalSlide/finalSlide.md	Sat Feb 12 18:46:33 2022 +0900
+++ b/finalSlide/finalSlide.md	Sat Feb 12 19:59:58 2022 +0900
@@ -6,12 +6,11 @@
 
 ## 概要
 - GearsOSの分散ファイルシステムの設計と実装を行った
+  - ファイル構造の設計
   - APIの定義
-  - ファイル構造の設計
   - 遠隔のファイルへのアクセス
 - 自律分散を目指した分散ファイルシステムの設計
-- 既存OSファイルシステムの問題解決案の検証
-- GearsOSの記述によるアプリケーション開発例
+- OSレベルのTransactionによるアプリ実装
 
 ## GearsOS
 - **CodeGear**と**DataGear**という単位を用いるOS開発プロジェクト
@@ -24,19 +23,18 @@
   - 定理支援証明系やモデル検査が用いられる
 
 ## Transactionalなファイルシステム
-- OSのファイルシステムAPIをTransactionで構成する
+- GearsFSはDataGear単位での操作を行う
+- これによりファイルシステムAPIをTransactionとして実装できる
   - 従来のOSのファイルシステムは一部を除きTransactionでない
-  - Transactionな操作はアプリケーションレベルで実装されている
-- 一貫性の保護をOSレベルから行いたい
+  - Transactionな操作はアプリケーションレベルで実装される
 - Transactionは様々な分類のアプリケーションに利用される
-- OSレベルなTransactionによるアプリケーション実装の検証
-
+- GearsOSによるOSレベルなTransactionによるアプリケーションの検証
 
-## GearsOSのファイルシステムの設計と実装
-- CodeGear/DataGear単位なファイルシステムの設計
-- ファイル操作APIの定義
-  - Put/Take/Peek
-- key アクセスによるデータ参照
-  - プロトコルを用いないデータアクセス
-  - 分散フレームワークChristieの仕組みを用いる
+## 自律分散を目指した分散ファイルシステム
+- CodeGear/DataGear単位で構成される
+- ファイルは複数のQueueを持つリストとして実装される
+- APIはPut/Take/Peek
+  - key アクセスによるデータ参照
+  - プロトコルを用いないデータアクセス手法
+- 分散フレームワークChristieの仕組みを用いる
 - 将来的にAPIの正当性は定理支援証明系で検証を行う
--- a/finalSlide/finalSlide.pdf.html	Sat Feb 12 18:46:33 2022 +0900
+++ b/finalSlide/finalSlide.pdf.html	Sat Feb 12 19:59:58 2022 +0900
@@ -85,8 +85,7 @@
     </ul>
   </li>
   <li>自律分散を目指した分散ファイルシステムの設計</li>
-  <li>既存OSファイルシステムの問題解決案の検証</li>
-  <li>GearsOSの記述によるアプリケーション開発例</li>
+  <li>OSレベルのTransactionによるアプリ実装</li>
 </ul>
 
 
@@ -97,7 +96,8 @@
   <!-- _S9SLIDE_ -->
 <h2 id="gearsos">GearsOS</h2>
 <ul>
-  <li><strong>CodeGear</strong>と<strong>DataGear</strong>という単位を用いるOS</li>
+  <li><strong>CodeGear</strong>と<strong>DataGear</strong>という単位を用いるOS開発プロジェクト</li>
+  <li>開発途上段階となる</li>
   <li>OSの信頼性の向上と拡張性を目指している
     <ul>
       <li>OSのプログラムは膨大な量となり、検証は困難である</li>
@@ -120,15 +120,15 @@
   <!-- _S9SLIDE_ -->
 <h2 id="transactionalなファイルシステム">Transactionalなファイルシステム</h2>
 <ul>
-  <li>OSのファイルシステムAPIをTransactionで構成する
+  <li>GearsFSはDataGear単位での操作を行う</li>
+  <li>これによりファイルシステムAPIをTransactionとして実装できる
     <ul>
       <li>従来のOSのファイルシステムは一部を除きTransactionでない</li>
-      <li>Transactionな操作はアプリケーションレベルで実装されている</li>
+      <li>Transactionな操作はアプリケーションレベルで実装される</li>
     </ul>
   </li>
-  <li>一貫性の保護をOSレベルから行いたい</li>
   <li>Transactionは様々な分類のアプリケーションに利用される</li>
-  <li>OSレベルなTransactionによるアプリケーション実装の検証</li>
+  <li>GearsOSによるOSレベルのTransactionアプリケーションの実用検証</li>
 </ul>
 
 
@@ -139,18 +139,15 @@
   <!-- _S9SLIDE_ -->
 <h2 id="gearsosのファイルシステムの設計と実装">GearsOSのファイルシステムの設計と実装</h2>
 <ul>
-  <li>CodeGear/DataGear単位なファイルシステムの設計</li>
-  <li>ファイル操作APIの定義
+  <li>CodeGear/DataGear単位で構成される</li>
+  <li>ファイルは複数のQueueを持つリストとして実装される</li>
+  <li>APIはPut/Take/Peek
     <ul>
-      <li>Put/Take/Peek</li>
+      <li>key アクセスによるデータ参照</li>
+      <li>プロトコルを用いないデータアクセス手法</li>
     </ul>
   </li>
-  <li>key アクセスによるデータ参照
-    <ul>
-      <li>プロトコルを用いないデータアクセス</li>
-      <li>分散フレームワークChristieの仕組みを用いる</li>
-    </ul>
-  </li>
+  <li>分散フレームワークChristieの仕組みを用いる</li>
   <li>将来的にAPIの正当性は定理支援証明系で検証を行う</li>
 </ul>
 
Binary file finalSlide/images/QueueElement.graffle.graffle has changed
Binary file finalSlide/images/QueueElement.pdf has changed
Binary file poster/.DS_Store has changed