Mercurial > hg > Papers > 2024 > matac-master
changeset 33:c1323b737cfd
...
| author | matac42 <matac@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Thu, 18 Jan 2024 19:37:19 +0900 |
| parents | 02f0474a58c4 |
| children | 78ca77ccccc5 |
| files | Paper/chapter/abstract.tex Paper/master_paper.pdf |
| diffstat | 2 files changed, 6 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/Paper/chapter/abstract.tex Thu Jan 18 19:04:16 2024 +0900 +++ b/Paper/chapter/abstract.tex Thu Jan 18 19:37:19 2024 +0900 @@ -7,6 +7,12 @@ ファイルシステムとデータベースの違いについて考え，データベースとしても利用可能なファイルシステムを構築したい． 本研究では，ファイルシステムとデータベースの違いについて考察し，Gears OSのファイルシステムの設計について述べる． +当研究室では，Continuation based C（CbC）を用い，定理証明やモデル検査などで信頼性を保証することを目的としたGearsOSを開発している． +OSの重要な機能の1にファイルシステムが存在する． +そのため，GearsOSにおいてもファイルシステムやそれに関する機能の設計構築を行なっている． +しかしながら，ファイルシステムのレプリケーションやガベージコレクションなどの +信頼性に関する追加機能がない． +本研究では，DB \chapter*{Abstract}