\begin{abstract}
現在の OS では信頼性と拡張性を両立させることが要求されている。
本研究室では 処理を Code Gear、 データを Data Gear という単位を用いて信頼性と拡張性をメタレベルで保証する Gears OS を開発している。

Gears OS の信頼性はモデル検査、検証を使用して保証する。
この信頼性のための計算はノーマルレベルの計算に対して別の階層のメタレベルの計算で実行される。
このメタ計算は信頼性の他に CPU, GPU などの実行環境の切り替え, データ拡張等の拡張性を提供する。

Gears OS では Task を Code Gear と入力の Input Data Gear と出力の Output Data Gear の組で表現される。
このInput/Output Data Gear によって依存関係を解決し、Input Data Gear が揃った Code Gear が並列実行される。

Gears OS の Task は 並列処理構文により生成され、TaskManager を通して CPU、GPU の Worker に送信され Code Gear の実行を行う。

本論文では Gears OSの基本概念、並列処理機構の実装について述べる。
また、並列処理を行う例題を用いて評価を行う。

\end{abstract}

\begin{abstract_eng}
Current OS is required reliability and extensibility.

We are developing Gears OS using Code Gear and Data Gear, which provides reliability and extensibility by meta level computation.

Provides reliability of Gears OS using model checking and proof.
It computation for reliability execute meta level computation against normal level computation.
This meta computation provides extensibility such as data expansion and switch environment by CPU and GPU.

Task of Gears OS express by Code Gear and Input/Output Data Gear.
Solve Task dependency by Input/Output Data Gear,  execute Code Gear if Input Data Gear completed.

Task is created by Parallel execution syntax, after then execute Code Gear by sent Task from TaskManager to CPU, GPU Worker.

In this paper, we describe concept of Gears OS and implementation of parallelism execution structure.
\end{abstract_eng}