view user/pine/note/2021/05/18.md @ 62:0c5df5736436

backup 2021-05-19
author autobackup
date Wed, 19 May 2021 00:10:03 +0900
parents
children
line wrap: on
line source

# 研究目的
- アプリケーションの信頼性を保証するために、アプリケーションが動作するOSの信頼性を高める必要がある。

- 本研究室では、Continuation Based C(CbC)を用いて、信頼性と拡張性を両立するOSであるGearsOSを開発している。

- ソフトウェア開発においてエラー・バグは付き物であり、その発見が重要である。現在GearsOSにはデバッガーが未実装であるため、円滑なOS開発を行うために、GearsOSのデバッガーを作成する。

## やったこと
- 論文読み
- CbCの環境構築の途中


## やること
- CbC, Gearsの環境構築
- CbC, Gearsを動かす