--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/Itsuki/2021/7-20.md	Wed Jul 21 00:10:04 2021 +0900
@@ -0,0 +1,28 @@
+# 進捗報告 
+## 研究目的
+- 当研究室ではOSの信頼性の検証に重きを置いた、GearsOSを開発している。
+    - GearsOSはノーマルレベルとメタレベルを分離して記述が行えるCの拡張言語CbC(Continuation based C)で構成されている。
+- GearsOSは現在開発途上であり、OSとして実際に機能するために開発しなくてはならない機能が残っている。
+- 未実装の機能の一つとしてファイルシステムが挙げられる。
+    - 当研究室では、CbCとは異なるGearという概念を用いて分散処理を記述することができる分散フレームワークChristieを開発している。
+    - GearsOSのファイルシステムをChristieと同様の仕組みを用いて実装したい。
+    - そのためにjavaで構成されているChristieをCbCで構成し直していく。 
+- GearsOSのファイルシステムは現在使われているOSの問題点を改良した形で構成したい
+    - 書き足していく
+
+
+
+## 進捗内容
+- Christieのリフレクション関係を勉強してました
+    - リフレクションを用いてアノテーション(DG)を読み取っている
+    - またゆーくんの書いてくれたコードをいじりつつ検証してた感じ
+    
+- ~~自分だけGearsOSでバグが発覚~~
+    ~~- rbtreeをmakeしようとするとエラーがループする。~~
+    ~~- またゆーくんのは問題なく動いてる。~~
+- どこかいじったらしくpullしなおしたら直った。
+
+- rbtreeの問題を作りたい
+    - wcのように研究と関係ある例題が作りたい
+        - 先生の意見お聞きしたいです。
+    
\ No newline at end of file