- [x] 要旨
- [x] 1章 最後
- [x] implementの型定義の説明
- [x] 謝辞

- [x] GearsOSのRedBlackTreeの説明

- [x] レプリケーションの説明
- [x] Nodeの説明

- [x] stackの説明ある？(Nodeを積むよという話)
- [x] RedBlackTree構造の説明間違っているので修正

- [x] ALLOCの説明
- [x] 一度通して見直し(2024/01/30)

- [x] 別Contextへの書き込み

- [x] DGMによる分散ファイルシステム
- [x] 実装の説明
- [x] swapはメモリ上でどうなってるか詳しく(図を入れよう)
- [x] 図の清書

- [x] レプリケーションとDGM通信の話を入れる
- [x] 評価
- [x] まとめと今後の課題
- [x] 4.4

確認したいこと

- [x] ある程度木が大きくなると動かなくなる(詳細未調査)

助言一覧

- [x] タイトル改行
- [x] されてきた -> してきた
- [x] 非破壊の問題点とGCの話を入れる
- [x] However, 信頼性の連発をなくす
- [x] __codeのフォントを直す
- [x] AspectJの引用
- [x] CbCの記述例(exit code)
- [x] 「そうなってしまっている」みたいな書き方を避ける

- [x] 関連研究にjungle
- [x] 参照されているか確認する
- [x] 信頼性とどうつながるかを言及する
- [x] LFSへ言及する
- [x] 今後の課題追加
- [ ] GearsAgdaのことを書く(何を書く？)
- [ ] Filesystem Fragmentation