|
87
|
1 # 進捗報告
|
|
|
2 ## 研究目的
|
|
|
3 - 当研究室ではOSの信頼性の検証に重きを置いた、GearsOSを開発している。
|
|
|
4 - GearsOSはノーマルレベルとメタレベルを分離して記述が行えるCの拡張言語CbC(Continuation based C)で構成されている。
|
|
|
5 - GearsOSは現在開発途上であり、OSとして実際に機能するために開発しなくてはならない機能が残っている。
|
|
|
6 - 未実装の機能の一つとしてファイルシステムが挙げられる。
|
|
|
7 - 当研究室では、CbCとは異なるGearという概念を用いて分散処理を記述することができる分散フレームワークChristieを開発している。
|
|
|
8 - GearsOSのファイルシステムをChristieと同様の仕組みを用いて実装したい。
|
|
|
9 - そのためにjavaで構成されているChristieをCbCで構成し直していく。
|
|
|
10 - GearsOSのファイルシステムは現在使われているOSの問題点を改良した形で構成したい
|
|
|
11 - 書き足していく
|
|
|
12
|
|
|
13
|
|
|
14
|
|
|
15 ## 進捗内容
|
|
|
16 - ジェネリクスについてのソースコード&論文読み
|
|
|
17 - Javaのジェネリクスも調べていたり。
|
|
|
18 - DPPMCの一部で使われている様子。
|
|
|
19 - Philsとは？
|
|
|
20
|
|
|
21 ```
|
|
|
22 typedef struct AtomicT <T>{
|
|
|
23 __code checkAndSet(Impl* atomicT,T oldData, T newData, __code next(...), __code fail(...));
|
|
|
24 __code set(Impl* atomicT,T newData, __code next(...));
|
|
|
25 __code next(...);
|
|
|
26 __code fail(...);
|
|
|
27 } AtomicT;
|
|
|
28 ```
|
|
|
29 |
