Mercurial > hg > Document > Growi

comparison user/matac42/note/2021/04/06.md @ 53:87e25c3bfdd9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
backup 2021-04-07
author autobackup
date Wed, 07 Apr 2021 00:10:03 +0900
parents
children
comparison
equal deleted inserted replaced
52:3dbc2d065d17 53:87e25c3bfdd9
1 # 研究目的
2
3 * アプリケーションの信頼性を保証するために、アプリケーションが動作するOSの信頼性を高める必要がある
4 * 本研究室では、信頼性に重きを置いたGearsOSを開発している
5 * GearsOSはノーマルレベル、メタレベルの処理を切り分けることができCbC(Continuation Based C)で記述されている
6 * 信頼性の保証
7 * どのユーザーがどのようなファイル操作をしたかわかる、logが残る。
8 * 操作の辻褄があっている。
9 * GearsOSには現在、未実装の機能がある
10 * ファイルシステムは未実装の機能の一つである
11 * ファイルシステム全体をトランザクションにしたい
12 * ファイルシステム全体のバックアップをとりたい
13
14
15 # やったこと
16
17 ## シス管
18
19 * インストール大会
20 * 大方はインストールできた
21 * Homebrewのみ入れ直しが必要。
22 * 322の無線が一つ死んでる可能性あり
23
24 # 今週は
25 * 先週できなかったCephの構築をやる
26 * [このへん](https://www.server-world.info/en/note?os=Ubuntu_20.04&p=ceph15&f=1)と公式を参考に