# 研究目的

アプリケーションの信頼性を保証するために、アプリケーションが動作するOSの信頼性を高める必要がある。

本研究室では、信頼性に重きを置いたGearsOSを開発している。
信頼性とは

- どのユーザーがどのようなファイル操作をしたかわかること
- logが残ること
- item 操作の辻褄があっていること

を指す。

GearsOSはノーマルレベル、メタレベルの処理を切り分けることができるCbC(Continuation Based C)で記述されている。

~~GearsOSにはAgdaで記述された、GearsAgdaがある。
GearsAgdaはOSの信頼性を検証するために作成された。
しかしながら、Agdaはcontinuationでなく、速度も遅い。
よって、信頼性が検証されたGearsAgdaをCbCに変換する必要がある。~~

また、GearsOSには現在未実装の機能があり、その一つにファイルシステムが挙げられる。信頼性を確保するため、ファイルシステムは

- ファイルシステム全体のトランザクション化
- ファイルシステム全体のバックアップ\&ロギング

を取り入れたい。

本卒業研究では、GearsOSへファイルシステムの実装を目指す。

# シス管

新シス管メンバー、システム初心者向け学科システムマニュアル作成中

- https://ie.u-ryukyu.ac.jp/syskan/internal/manual/
- https://scrapbox.io/ie-syskan/学科システムマニュアル作成

オープンキャンパスが7月10日にある

- b1,2とポスター作ったり、サーバー室みたり

RADIUSサーバー移行

- 11日(金)にやる

# その他

- 背中痛いので整骨院か何かに行こうと思う
- 19日に親知らずを抜く。怖い。