title: Gears OS のモジュール化と並列 API
author: Mitsuki Miyagi, Yu Tobaru, Shinji Kono
profile: 琉球大学
lang: Japanese
code-engine: coderay

# OS の信頼性
- コンピュータの信頼性の基本はメモリなどの資源管理を行う OS である。
- OS は非決定的な実行を持つため、OS の信頼性を保証するには、証明を用いる方法とプログラムの可能な実行を全て数え上げるモデル検査を用いる必要がある。
	- 従来のテストとデバッグではテスト仕切れない部分が残ってしまい、不十分。
	- モデル検査は無限の状態でなくても巨大な状態を調べる事になり、状態を有限に制限したり、状態を抽象化したりする方法が用いられる。

# OS の拡張性
- 時代とともに進歩するハードウェア、サービスに対応するために OS 自体が拡張される必要がある。
- OS を検証する際にも、1度ではなくアプリケーションやサービス、デバイスが新しくなる毎に検証をやり直す必要がある。

# OS の拡張性と信頼性の両立
- OSの拡張性と信頼性の観点から、OS は信頼性と拡張性を両立させることが重要であるといえる。 
- 本研究室では、OS の信頼性の保証と拡張性を実現することを目標に Gears OS を設計中である。
- par gotoかAPIの説明まで書く？

# スライドの流れ
- <font color="red">CbC</font>
- GearsOS
- Interface
- Context
- Gears OS の並列処理
- Synchronized Queue
- 並列構文
- 比較
- 今後の課題 

# CbC

# Gears OS
- Gaears OS の構成

# Interface

# Context


# Gears OS の並列処理

# Synchronized Queue

# 並列構文

# 比較

# 今後の課題