Mercurial > hg > Papers > 2022 > ikki-master
comparison finalSlide/finalSlide.md @ 34:181eec546ad2
tweak slide
| author | ichikitakahiro <e165713@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sat, 12 Feb 2022 23:16:05 +0900 |
| parents | ab77a291294d |
| children | 668692d92e6e |
comparison
equal
deleted
inserted
replaced
| 33:ab77a291294d | 34:181eec546ad2 |
|---|---|
| 7 ## 概要 | 7 ## 概要 |
| 8 - GearsOSの分散ファイルシステムの設計と実装を行った | 8 - GearsOSの分散ファイルシステムの設計と実装を行った |
| 9 - ファイル構造の設計 | 9 - ファイル構造の設計 |
| 10 - APIの定義 | 10 - APIの定義 |
| 11 - 遠隔のファイルのアクセスと保存 | 11 - 遠隔のファイルのアクセスと保存 |
| 12 - GearsOS同様の記述単位な構成 | 12 - GearsOS同様の記述単位による構成 |
| 13 - 自律分散を目指した分散ファイルシステムの設計 | 13 - ファイルは複数のstreamを持ち、通信も行う |
| 14 - OSレベルのTransactionによるアプリ実装 | 14 |
| 15 | 15 |
| 16 ## GearsOS | 16 ## GearsOS |
| 17 - CodeGear/DataGearという単位で記述されるOS | 17 - CodeGear/DataGearという単位で記述されるOS |
| 18 - OSの信頼性の保証と拡張性を目指している | 18 - OSの信頼性の保証と拡張性を目指している |
| 19 - ノーマルレベルとメタレベルを分離して記述できる | 19 - ノーマルレベルとメタレベルを分離して記述できる |
| 56 <div style="text-align: center;"> | 56 <div style="text-align: center;"> |
| 57 <img src="images/newGearsFile.pdf" alt=Queue width="400"> | 57 <img src="images/newGearsFile.pdf" alt=Queue width="400"> |
| 58 </div> | 58 </div> |
| 59 | 59 |
| 60 | 60 |
| 61 ## FileAPI | |
| 62 - ファイルのAPIは三種類となる | |
| 63 - Put | |
| 64 - Queueに対してデータを挿入する | |
| 65 - Take | |
| 66 - Queueからデータを取り出す | |
| 67 - Peek | |
| 68 - Queueからデータを"読み"だす | |
| 69 - Takeの先読みに相当する | |
| 70 - APIは対象のstreamをkeyで指定する | |
| 71 | |
| 72 | |
| 73 | |
| 61 ## GearsOSの分散ファイルシステム | 74 ## GearsOSの分散ファイルシステム |
| 62 - GearsOSのファイルは通信の役割も持つ | 75 - GearsOSのファイルは通信の役割も持つ |
| 63 - 規格が決められたプロトコルを用いない | 76 - 遠隔上のファイルに対応するproxyを作成して通信を行う |
| 64 - 最低限のデータ(DataGear)でのみ通信を行う | 77 - 対象ファイルとproxyはsocketで接続される |
| 65 - 分散通信の見通しの確保を目指す | 78 - proxyの操作はLocalなファイルと相違なく行える |
| 79 - 記録デバイスへの保存も同様な仕組みで行う | |
| 66 - 将来的にAPIと通信プロセスは定理支援証明系Agdaで検証を行う | 80 - 将来的にAPIと通信プロセスは定理支援証明系Agdaで検証を行う |
| 67 | 81 |
| 68 ## Transactionalなファイルシステム | 82 ## GearsFSの展望 |
| 69 - GearsFSはDataGear単位で操作を行う | 83 - ノードの配線を担当するTopologyManagerの実装 |
| 70 - これによりAPIをTransactionとして実装できる | 84 - 参加表明したノードを任意の形のTopologyへ配線する |
| 71 - 従来ではアプリケーションレベルで実装される | 85 - 複数streamにより制御を行う分散ファイル通信手法としての検証 |
| 72 - Transactionは様々な分類のアプリケーションに必要となる | 86 - Dataのみで通信を行う通信(規格があるプロトコルを用いない) |
| 73 - GearsOSによるOSレベルのTransactionを用いた開発物の検証を兼ねる | 87 - 自律分散通信の見通し確保 |
| 88 - OSレベルなTransactionを搭載するアプリケーションとしての評価 | |
| 89 - GearsOSのCodeGearはTransactionとなる | |
| 90 - 従来ではアプリケーションレベルにより実装される | |
| 91 - GearsOSによるOSレベルTransactionの信頼性/実用性調査 | |
| 92 | |
| 74 | 93 |
| 75 ## ポスターセッション | 94 ## ポスターセッション |
| 76 - ファイル構造の詳細 | 95 - より詳細なGearsOSのファイル構造 |
| 77 - ファイルアクセスAPI | 96 - ファイルの読み出し |
| 78 - proxyを用いたファイル通信の構成解説 | 97 - proxyを用いたファイル通信の構成解説 |
| 79 - 研究のまとめと課題 | 98 - 研究のまとめと課題 |