view user/pine/note/2021/06/01.md @ 70:2652e6527bc9

backup 2021-06-02
author autobackup
date Wed, 02 Jun 2021 00:10:05 +0900
parents
children
line wrap: on
line source

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

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

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

## やったこと
- セキュキャンの応募
    - 受かるかどうかはわかんないですが。。。
- Gearsの環境構築
    - 動かず。。。
    - LLVMのビルドで使うcmakeのところでハマってる
    - ちょっとcmakeのdocument見てみる

## やること
- 論文読み
- Gearsを動かす

## その他
- Airpodsが壊れたっぽい
    - 明日修理に行く
- 近々内定者懇親会があるらしい