CbC による OS の実装

研究目的

本研究では code segment ,datasegment に沿った OS を実装することを目的とする。
その実装には、本研究室で開発された Continuation based C (CbC)を用いる。
CbC は C 言語よりも低くアセンブラより高い層で記述できる言語である。C の使用からループ制御や関数コールを取り除いている。これによりスタックの操作やループ、関数呼び出しなどのより低レベルでの最適化をソースコードレベルで行うことができる。
code segment, data segment を意識した設計にし、メモリ外へのアクセスを制限しセキュリティの向上とプログラマの負担を減らす。
故障が発生した際に、機能を完全に喪失するのではなく、 可能な範囲で機能が維持されるようにすることを Graceful Degradation という。
この Graceful Degradation を目指して実装をすすめる。