annotate user/Itsuki/2021/7-20.md @ 94:d55c9448d3a8

backup 2021-10-06
author autobackup
date Wed, 06 Oct 2021 00:10:04 +0900
parents 6b630ccd9480
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
80
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
1 # 進捗報告
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
2 ## 研究目的
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
3 - 当研究室ではOSの信頼性の検証に重きを置いた、GearsOSを開発している。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
4 - GearsOSはノーマルレベルとメタレベルを分離して記述が行えるCの拡張言語CbC(Continuation based C)で構成されている。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
5 - GearsOSは現在開発途上であり、OSとして実際に機能するために開発しなくてはならない機能が残っている。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
6 - 未実装の機能の一つとしてファイルシステムが挙げられる。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
7 - 当研究室では、CbCとは異なるGearという概念を用いて分散処理を記述することができる分散フレームワークChristieを開発している。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
8 - GearsOSのファイルシステムをChristieと同様の仕組みを用いて実装したい。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
9 - そのためにjavaで構成されているChristieをCbCで構成し直していく。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
10 - GearsOSのファイルシステムは現在使われているOSの問題点を改良した形で構成したい
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
11 - 書き足していく
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
12
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
13
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
14
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
15 ## 進捗内容
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
16 - Christieのリフレクション関係を勉強してました
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
17 - リフレクションを用いてアノテーション(DG)を読み取っている
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
18 - またゆーくんの書いてくれたコードをいじりつつ検証してた感じ
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
19
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
20 - ~~自分だけGearsOSでバグが発覚~~
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
21 ~~- rbtreeをmakeしようとするとエラーがループする。~~
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
22 ~~- またゆーくんのは問題なく動いてる。~~
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
23 - どこかいじったらしくpullしなおしたら直った。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
24
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
25 - rbtreeの問題を作りたい
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
26 - wcのように研究と関係ある例題が作りたい
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
27 - 先生の意見お聞きしたいです。
6b630ccd9480 backup 2021-07-21
autobackup
parents:
diff changeset
28