Mercurial > hg > Papers > 2022 > ikki-master

changeset 40:cb0c76ff9de1

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 Thu, 17 Feb 2022 00:51:16 +0900
parents f78096cb1f69
children 3959e0817369
files finalSlide/finalSlide.html finalSlide/finalSlide.md finalSlide/finalSlide.pdf.html poster/ikki-poster.graffle/data.plist
diffstat 4 files changed, 36 insertions(+), 41 deletions(-) [+]
line wrap: on
line diff
--- a/finalSlide/finalSlide.html	Wed Feb 16 01:12:38 2022 +0900
+++ b/finalSlide/finalSlide.html	Thu Feb 17 00:51:16 2022 +0900
@@ -121,11 +121,7 @@
   <li>ファイルシステムも同様にGear単位で操作を行う</li>
   <li>従来ではアプリケーションが持つ機能の一部を取り入れたい
     <ul>
-      <li>Transaction
-        <ul>
-          <li>データ操作の整合性保護が施された処理</li>
-        </ul>
-      </li>
+      <li>Transaction</li>
       <li>バックアップ</li>
     </ul>
   </li>
@@ -161,9 +157,9 @@
 <ul>
   <li>Christieの仕組みを用いた分散ファイルシステムを設計/検証したい
     <ul>
-      <li>ファイルデータとなるDataGearを追いながらプロセスが記述できる</li>
-      <li>データのみの送受信による通信でネットワークの見通しを確保する</li>
-      <li>自律分散なファイルシステムを目指す</li>
+      <li>データのみの送受信により通信が構成される</li>
+      <li>分散ネットワーク全体の見通しの確保がのぞめる</li>
+      <li>自律分散なファイルシステムを目指したい</li>
     </ul>
   </li>
   <li>APIやプロセスの正当性は将来的に定理支援証明系agdaで検証される</li>
@@ -175,15 +171,16 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="gearsosが持つosレベルなtransactionの実装検証">GearsOSが持つOSレベルなTransactionの実装検証</h2>
+<h2 id="gearsosが持つosレベルなtransactionを用いた実装">GearsOSが持つOSレベルなTransactionを用いた実装</h2>
 <ul>
   <li>GearsOSはAPIレベルでTransactionな記述が行える
     <ul>
+      <li>Transactionとはデータ操作の不可分化による整合性の保護</li>
       <li>従来のアプリケーションでは、ユーザーレベルで実装される</li>
+      <li>アプリケーションの土台となるOSが信頼性を保証したい</li>
     </ul>
   </li>
-  <li>API自体のTransactionが保証されていれば、アプリケーションの信頼性保証が容易になる</li>
-  <li>GearsOSのAPIレベルで実装されるTransactionの実装と検証を行う</li>
+  <li>APIにTransactionが実装されたアプリケーションの開発/検証</li>
 </ul>
 
 
--- a/finalSlide/finalSlide.md	Wed Feb 16 01:12:38 2022 +0900
+++ b/finalSlide/finalSlide.md	Thu Feb 17 00:51:16 2022 +0900
@@ -21,7 +21,6 @@
 - ファイルシステムも同様にGear単位で操作を行う
 - 従来ではアプリケーションが持つ機能の一部を取り入れたい
   - Transaction
-    - データ操作の整合性保護が施された処理
   - バックアップ
 - 分散フレームワークChristieの仕組みを用いたい
 
@@ -35,17 +34,19 @@
 
 ## Christie likeな通信の分散ファイルシステムの提案
 - Christieの仕組みを用いた分散ファイルシステムを設計/検証したい
-  - ファイルデータとなるDataGearを追いながらプロセスが記述できる
-  - データのみの送受信による通信でネットワークの見通しを確保する
-  - 自律分散なファイルシステムを目指す
+  - データのみの送受信により通信が構成される
+  - 分散ネットワーク全体の見通しの確保がのぞめる
+  - 自律分散なファイルシステムを目指したい
 - APIやプロセスの正当性は将来的に定理支援証明系agdaで検証される
 
 
-## GearsOSが持つOSレベルなTransactionの実装検証
+## GearsOSが持つOSレベルなTransactionを用いた実装
 - GearsOSはAPIレベルでTransactionな記述が行える
+  - Transactionとはデータ操作の不可分化による整合性の保護
   - 従来のアプリケーションでは、ユーザーレベルで実装される
-- API自体のTransactionが保証されていれば、アプリケーションの信頼性保証が容易になる
-- GearsOSのAPIレベルで実装されるTransactionの実装と検証を行う
+  - アプリケーションの土台となるOSが信頼性を保証したい
+- APIにTransactionが実装されたアプリケーションの開発/検証
+
 
 ## ポスター発表
 - GearsOSのChristie likeなファイルシステムの設計と実装
--- a/finalSlide/finalSlide.pdf.html	Wed Feb 16 01:12:38 2022 +0900
+++ b/finalSlide/finalSlide.pdf.html	Thu Feb 17 00:51:16 2022 +0900
@@ -105,11 +105,7 @@
   <li>ファイルシステムも同様にGear単位で操作を行う</li>
   <li>従来ではアプリケーションが持つ機能の一部を取り入れたい
     <ul>
-      <li>Transaction
-        <ul>
-          <li>データ操作の整合性保護が施された処理</li>
-        </ul>
-      </li>
+      <li>Transaction</li>
       <li>バックアップ</li>
     </ul>
   </li>
@@ -145,9 +141,9 @@
 <ul>
   <li>Christieの仕組みを用いた分散ファイルシステムを設計/検証したい
     <ul>
-      <li>ファイルデータとなるDataGearを追いながらプロセスが記述できる</li>
-      <li>データのみの送受信による通信でネットワークの見通しを確保する</li>
-      <li>自律分散なファイルシステムを目指す</li>
+      <li>データのみの送受信により通信が構成される</li>
+      <li>分散ネットワーク全体の見通しの確保がのぞめる</li>
+      <li>自律分散なファイルシステムを目指したい</li>
     </ul>
   </li>
   <li>APIやプロセスの正当性は将来的に定理支援証明系agdaで検証される</li>
@@ -159,15 +155,16 @@
 
 <div class='slide'>
   <!-- _S9SLIDE_ -->
-<h2 id="gearsosが持つosレベルなtransactionの実装検証">GearsOSが持つOSレベルなTransactionの実装検証</h2>
+<h2 id="gearsosが持つosレベルなtransactionを用いた実装">GearsOSが持つOSレベルなTransactionを用いた実装</h2>
 <ul>
   <li>GearsOSはAPIレベルでTransactionな記述が行える
     <ul>
+      <li>Transactionとはデータ操作の不可分化による整合性の保護</li>
       <li>従来のアプリケーションでは、ユーザーレベルで実装される</li>
+      <li>アプリケーションの土台となるOSが信頼性を保証したい</li>
     </ul>
   </li>
-  <li>API自体のTransactionが保証されていれば、アプリケーションの信頼性保証が容易になる</li>
-  <li>GearsOSのAPIレベルで実装されるTransactionの実装と検証を行う</li>
+  <li>APIにTransactionが実装されたアプリケーションの開発/検証</li>
 </ul>
 
 
--- a/poster/ikki-poster.graffle/data.plist	Wed Feb 16 01:12:38 2022 +0900
+++ b/poster/ikki-poster.graffle/data.plist	Thu Feb 17 00:51:16 2022 +0900
@@ -108,7 +108,7 @@
 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
 
 \f0\fs60 \cf0 \'81\'45socket\'82\'d6\'82\'ccDataGear\'8f\'91\'82\'ab\'8d\'9e\'82\'dd/\'8e\'e6\'82\'e8\'8f\'6f\'82\'b5\'82\'cdQueue\'82\'d6\'82\'ccPut/TakeAPI\'82\'cc\'8f\'88\'97\'9d\'82\'c9\'91\'67\'82\'dd\'8d\'9e\'82\'dc\'82\'ea\'82\'e9\
-\'81\'45read/writeAPI\'82\'f0\'8e\'67\'82\'a4\'82\'b1\'82\'c6\'82\'c5\'83\'6d\'81\'5b\'83\'68\'82\'be\'82\'af\'82\'c5\'82\'c8\'82\'ad\'8e\'9d\'91\'b1\'83\'66\'83\'6f\'83\'43\'83\'58\'82\'d6\'82\'cc\'95\'db\'91\'b6\'82\'e0\'93\'af\'97\'6c\'82\'c9\'8d\'73\'82\'a6\'82\'e9}</string>
+\'81\'45\'8e\'9d\'91\'b1\'90\'ab\'83\'66\'83\'6f\'83\'43\'83\'58(SSD, HDD\'82\'c8\'82\'c7)\'82\'d6\'82\'cc\'93\'c7\'82\'dd\'8f\'91\'82\'ab\'82\'e0\'93\'af\'97\'6c\'82\'c9proxy\'82\'f0\'8d\'ec\'90\'ac\'82\'b7\'82\'e9\'82\'b1\'82\'c6\'82\'c5\'8d\'73\'82\'a4\'82\'b1\'82\'c6\'82\'aa\'82\'c5\'82\'ab\'82\'e9}</string>
 						<key>VerticalPad</key>
 						<real>1</real>
 					</dict>
@@ -474,11 +474,11 @@
 
 \f0\fs60 \cf0 \'81\'45GearsOS\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cdChristie\'82\'ccDataGearManager\'82\'cc\'8e\'64\'91\'67\'82\'dd\'82\'f0\'8e\'67\'82\'a4\
    - \'95\'a1\'90\'94\'82\'ccQueue\'82\'f0\'8e\'9d\'82\'c2\'90\'d4\'8d\'95\'96\'d8\'82\'c6\'82\'b5\'82\'c4\'8e\'c0\'91\'95\'82\'b3\'82\'ea\'82\'e9\
-   - Queue\'82\'cdmain\'82\'c5\'83\'66\'81\'5b\'83\'5e\'82\'f0\'95\'db\'8e\'9d\'82\'b7\'82\'e9\'82\'e0\'82\'cc\'82\'c9\'89\'c1\'82\'a6\'81\'41mainQueue\'82\'ccInput/OutputStream\'81\'41\'92\'ca\'90\'4d\'90\'a7\'8c\'e4\'82\'c9\'8e\'67\'82\'ed\'82\'ea\'82\'e9\'94\'43\'88\'d3\'82\'ccStream\'82\'c6\'82\'c8\'82\'e9\
-   - Queue\'82\'cd\'82\'bb\'82\'ea\'82\'bc\'82\'eakey\'82\'f0\'8e\'9d\'82\'bf\'81\'41key\'82\'c5\'83\'41\'83\'4e\'83\'5a\'83\'58\'82\'aa\'8d\'73\'82\'ed\'82\'ea\'82\'e9\
-   - \'82\'bb\'82\'cc\'82\'bd\'82\'df\'81\'41API\'8c\'c4\'82\'d1\'8f\'6f\'82\'b5\'82\'cd\'91\'80\'8d\'ec\'82\'f0\'8d\'73\'82\'a4Queue\'82\'cc\'8e\'77\'92\'e8\'82\'f0\'82\'b7\'82\'e9\
+   - Queue\'82\'cdstream\'82\'c5\'82\'a0\'82\'e8\'81\'41\'8a\'65\'81\'58\'82\'c5\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'66\'81\'5b\'83\'5e\'82\'ccInput/Output\'82\'e2\'81\'41\'92\'ca\'90\'4d\'90\'a7\'8c\'e4\'83\'74\'83\'89\'83\'4f\'82\'cc\'8e\'f3\'82\'af\'8e\'e6\'82\'e8\'82\'c8\'82\'c7\'82\'cc\'96\'f0\'8a\'84\'82\'f0\'8e\'9d\'82\'c2\
+   - Queue\'82\'cd\'82\'bb\'82\'ea\'82\'bc\'82\'eakey name\'82\'f0\'8e\'9d\'82\'bf\'81\'41key\'82\'c5\'83\'41\'83\'4e\'83\'5a\'83\'58\'82\'aa\'8d\'73\'82\'ed\'82\'ea\'82\'e9\
+   - \'93\'c1\'92\'e8\'82\'cckey\'82\'c9\'91\'ce\'82\'b5\'82\'c4\'83\'66\'81\'5b\'83\'5e\'8f\'91\'82\'ab\'8d\'9e\'82\'de\'82\'b1\'82\'c6\'82\'c5\'8f\'88\'97\'9d\'82\'aa\'8d\'5c\'90\'ac\'82\'b3\'82\'ea\'82\'e9\
 \'81\'45\'92\'ca\'90\'4d\'82\'f0\'8d\'73\'82\'a4\'8f\'ea\'8d\'87\'81\'41\'82\'bb\'82\'cc\'83\'74\'83\'40\'83\'43\'83\'8b\'82\'c9\'91\'ce\'89\'9e\'82\'b5\'82\'bdproxy(RemoteDGM)\'82\'f0\'8d\'ec\'90\'ac\'82\'b5\'81\'41socket\'82\'c5\'90\'da\'91\'b1\'82\'f0\'8d\'73\'82\'a4\
-   - proxy\'82\'ccQueue\'82\'c9\'93\'4b\'90\'d8\'82\'c8\'8c\'5e\'82\'ccDataGear\'82\'f0\'8f\'91\'82\'ab\'8d\'9e\'82\'de\'82\'b1\'82\'c6\'82\'c5\'92\'ca\'90\'4d\'82\'f0\'8d\'5c\'90\'ac\'82\'b7\'82\'e9\
+   - proxy\'82\'cc\'93\'4b\'90\'d8\'82\'c8Queue\'82\'c9\'93\'4b\'90\'d8\'82\'c8\'8c\'5e\'82\'ccDataGear\'82\'f0\'8f\'91\'82\'ab\'8d\'9e\'82\'de\'82\'b1\'82\'c6\'82\'c5\'92\'ca\'90\'4d\'82\'aa\'8d\'73\'82\'ed\'82\'ea\'82\'e9\
 }</string>
 						<key>VerticalPad</key>
 						<real>1</real>
@@ -1478,7 +1478,7 @@
 		</dict>
 		<dict>
 			<key>Bounds</key>
-			<string>{{1033.7746422975588, 2350.5289963014625}, {964.78997414196579, 566.87425149700448}}</string>
+			<string>{{1034.0458742066476, 2351.9929019450014}, {964.78997414196579, 566.87425149700448}}</string>
 			<key>Class</key>
 			<string>ShapedGraphic</string>
 			<key>FontInfo</key>
@@ -1527,8 +1527,8 @@
    - \'83\'74\'83\'40\'83\'43\'83\'8b\'92\'ca\'90\'4d\'8d\'5c\'90\'ac/\'83\'76\'83\'8d\'83\'5a\'83\'58\'83\'82\'83\'66\'83\'8b\'82\'c6\'82\'b5\'82\'c4WordCount\'97\'e1\'91\'e8\'82\'f0\'90\'dd\'8c\'76, \'8b\'4c\'8f\'71\'82\'f0\'8d\'73\'82\'c1\'82\'bd\
  \'81\'45\'89\'db\'91\'e8\
    - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'92\'ca\'90\'4d\'90\'da\'91\'b1\'82\'f0\'83\'54\'83\'7c\'81\'5b\'83\'67\'82\'b7\'82\'e9\'8b\'40\'94\'5c\'82\'cc\'8e\'c0\'91\'95(Topology Manager)\
-   - \'92\'e8\'97\'9d\'8e\'78\'89\'87\'8f\'d8\'96\'be\'8c\'6eAgda\'82\'c9\'82\'e6\'82\'e9\'90\'4d\'97\'8a\'90\'ab\'82\'cc\'8c\'9f\'8f\'d8\
-   - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'83\'41\'83\'4e\'83\'5a\'83\'58\'8c\'a0\'8c\'c0\'82\'c8\'82\'c7\'82\'cc\'83\'5a\'83\'4c\'83\'85\'83\'8a\'83\'65\'83\'42\'82\'cc\'93\'b1\'93\'fc}</string>
+   - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'83\'41\'83\'4e\'83\'5a\'83\'58\'8c\'a0\'8c\'c0\'82\'c8\'82\'c7\'82\'cc\'83\'5a\'83\'4c\'83\'85\'83\'8a\'83\'65\'83\'42\'82\'cc\'90\'dd\'8c\'76\
+   - \'92\'e8\'97\'9d\'8e\'78\'89\'87\'8f\'d8\'96\'be\'8c\'6eAgda\'82\'c9\'82\'e6\'82\'e9\'90\'4d\'97\'8a\'90\'ab\'82\'cc\'8c\'9f\'8f\'d8}</string>
 				<key>VerticalPad</key>
 				<real>1</real>
 			</dict>
@@ -1906,7 +1906,7 @@
 \f0\fs60 \cf0 \'81\'45GearsOS\'82\'cc\'92\'ca\'90\'4d\'82\'cdWordCount\'97\'e1\'91\'e8\'82\'f0\'92\'ca\'82\'b5\'82\'c4\'8d\'5c\'90\'ac\'82\'f0\'8d\'73\'82\'c1\'82\'bd\
 \'81\'45GearsFS\'82\'cc\'92\'ca\'90\'4d\'83\'76\'83\'8d\'83\'5a\'83\'58\'82\'cc\'83\'82\'83\'66\'83\'8b\'82\'c5\'82\'e0\'82\'a0\'82\'e9\
    - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'95\'b6\'8e\'9a\'97\'f1\'82\'f01\'8d\'73\'82\'c3\'82\'c2\'93\'c7\'82\'dd\'8e\'e6\'82\'e8\'81\'41\'95\'b6\'8e\'9a\'97\'f1\'82\'c6\'82\'bb\'82\'cc\'95\'b6\'8e\'9a\'90\'94\'81\'41\'8d\'73\'90\'94\'82\'f0\'83\'4a\'83\'45\'83\'93\'83\'67\'82\'b7\'82\'e9\
-   - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'93\'c7\'82\'dd\'8e\'e6\'82\'e8\'82\'c6count\'82\'f0\'95\'ca\'83\'6d\'81\'5b\'83\'68\'8f\'e3\'82\'c5\'8d\'73\'82\'a4\'82\'b1\'82\'c6\'82\'c5\'93\'c7\'82\'dd\'8e\'e6\'82\'e8\'82\'c6\'92\'ca\'90\'4d\'82\'f0\'8d\'5c\'90\'ac\'82\'c5\'82\'ab\'82\'e9\
+   - \'83\'74\'83\'40\'83\'43\'83\'8b\'82\'cc\'93\'c7\'82\'dd\'8e\'e6\'82\'e8\'82\'c6count\'82\'f0\'95\'ca\'83\'6d\'81\'5b\'83\'68\'8f\'e3\'82\'c5\'8d\'73\'82\'a4\'82\'b1\'82\'c6\'82\'c5\'93\'c7\'82\'dd\'8e\'e6\'82\'e8\'82\'c6\'92\'ca\'90\'4d\'82\'f0\'8d\'5c\'90\'ac\'82\'b5\'82\'bd\
  \'81\'45\'8c\'bb\'8e\'9e\'93\'5f\'82\'c5\'82\'cd\'92\'50\'88\'ea\'82\'ccQueue\'82\'c9\'82\'e6\'82\'e9\'92\'ca\'90\'4d\'82\'dc\'82\'c5\'8e\'c0\'91\'95\'82\'aa\'8d\'73\'82\'ed\'82\'ea\'82\'c4\'82\'a2\'82\'e9}</string>
 				<key>VerticalPad</key>
 				<real>1</real>
@@ -2761,7 +2761,7 @@
 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\partightenfactor0
 
 \f0\fs60 \cf0 \'81\'45\'95\'aa\'8e\'55\'83\'74\'83\'8c\'81\'5b\'83\'80\'83\'8f\'81\'5b\'83\'4eChristie\'82\'cc\'8d\'5c\'90\'ac\'82\'f0\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'56\'83\'58\'83\'65\'83\'80\'82\'c9\'89\'9e\'97\'70\'82\'b5\'82\'bd\'82\'a2\
-   - Christie\'82\'c9\'82\'e6\'82\'e9\'92\'ca\'90\'4d\'82\'b3\'82\'ea\'82\'e9\'83\'66\'81\'5b\'83\'5e\'82\'f0\'88\'d3\'8e\'af\'82\'b5\'82\'bd\'8b\'4c\'8f\'71\'82\'aa\'8d\'73\'82\'a6\'82\'e9\
+   - Christie\'82\'cc\'8e\'64\'91\'67\'82\'dd\'82\'f0\'97\'70\'82\'a2\'82\'bdPeer2Peer\'82\'c8\'95\'aa\'8e\'55\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'56\'83\'58\'83\'65\'83\'80\'82\'cc\'92\'f1\'88\'c4\
    - \'8d\'c5\'92\'e1\'8c\'c0\'82\'cc\'83\'66\'81\'5b\'83\'5e\'8f\'91\'82\'ab\'8d\'9e\'82\'dd\'82\'c5\'83\'6c\'83\'62\'83\'67\'83\'8f\'81\'5b\'83\'4e\'82\'cc\'8c\'a9\'92\'ca\'82\'b5\'82\'f0\'8a\'6d\'95\'db\'82\'b7\'82\'e9\
    - \'8f\'ab\'97\'88\'93\'49\'82\'c9\'8e\'a9\'97\'a7\'95\'aa\'8e\'55\'82\'c8\'95\'aa\'8e\'55\'83\'74\'83\'40\'83\'43\'83\'8b\'83\'56\'83\'58\'83\'65\'83\'80\'82\'f0\'96\'da\'8e\'77\'82\'b5\'82\'bd\'82\'a2\
 \'81\'45\'92\'ca\'90\'4d\'82\'cdGearsOS\'82\'c9\'8d\'87\'82\'ed\'82\'b9\'81\'41DataGear\'82\'c6\'82\'a2\'82\'a4\'92\'50\'88\'ca\'82\'c5\'8d\'73\'82\'ed\'82\'ea\'82\'e9\
@@ -3145,7 +3145,7 @@
 	<key>MasterSheets</key>
 	<array/>
 	<key>ModificationDate</key>
-	<string>2022-02-15 16:11:28 +0000</string>
+	<string>2022-02-16 11:00:33 +0000</string>
 	<key>Modifier</key>
 	<string>一木貴裕</string>
 	<key>NotesVisible</key>
@@ -3236,7 +3236,7 @@
 		<key>TopSlabHeight</key>
 		<real>250</real>
 		<key>VisibleRegion</key>
-		<string>{{-594, 112}, {3216, 1968}}</string>
+		<string>{{-594, 68}, {3216, 1968}}</string>
 		<key>Zoom</key>
 		<real>0.5</real>
 		<key>ZoomValues</key>