Mercurial > hg > Papers > 2022 > matac-thesis

comparison paper/text/introduction.tex @ 45:d40d5c4e392f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix introduction
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Tue, 01 Feb 2022 14:11:38 +0900
parents e94e544fce5c
children 8fbd88035545
comparison
equal deleted inserted replaced
44:53b74a9cb1ef 45:d40d5c4e392f
1 \chapter{GearsOSにおけるFileSystem} 1 \chapter{GearsOSにおけるFile system}
2 FileSystemはOSにおける重要な機能の一つである． 2
3 しかしながら，GearsOSは開発途上でFileSystemは未実装であるため，実装する必要がある． 3 アプリケーションの信頼性を保証することは
4 実装はUnixにおけるFileSystemと比較・検討しながら進める． 4 情報システムやコンピュータを用いる業務の信頼性の保障につながる重要な課題である．
5 アプリケーションの信頼性を保証するために，基盤となるOSの信頼性を高める必要がある．
6
7 当研究室では，信頼性の保証を目的としたGearsOSを開発している．
8 OSの信頼性を定理証明やモデル検査を行うことで保証することを目指している\cite{modelcheck}．
9 当研究室で開発しているプログラム言語であるCbC(Continuation based C)で記述されており，
10 ノーマルレベルとメタレベルを簡単に切り分けることを可能としている．
11 CbCでメタレベルの処理を切り出したものに対して，定理証明やモデル検査を行うことで信頼性を保証する．
12
13 GearsOSは現在OSとして重要な機能がいくつか未実装であり，言語フレームワークのように動作している状態である．
14 未実装の機能の一つとしてファイルシステムが挙げられる．
15 ファイルシステムはファイルやディレクトリといった構造を持ち，データの保存，整理を行う．
16 また，OSが管理するデータの操作を人間が行いやすいようにinterfaceを提供する．
17 OSの機能の中でも特に重要な機能であるため，GearsOSにも実装を行う必要がある．
18
19 今回GearsOSへファイルシステムを実装するにあたり，Unixのファイルシステムを参考にする．
20 Unixのファイルシステムではファイルのメタデータをinodeの形式で保持している．
21 同様にinodeの仕組みを用いてGearsOSのファイルシステムを実装を行いたい．
22 interfaceについても，cd，ls，mkdirというようにUnix likeに実装したい．
23 当研究室ではxv6のCbCでの実装を行なっているが，今回はxv6のルーチンをCbCで書き換えるのではなく
24 GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとりたい．
25 それはGearsOSとCbCで書き換えたxv6の比較や，
26 互いにファイルシステムの機能の移植が行える様にするためである．
27 また，当研究室で開発している分散フレームワークChristieの仕組みを用いて，分散ファイルシステムを実装したい．
28
29 本論文ではGearsOSのファイルシステムに関する基礎概念と，ファイルシステムの構築について記述する．