\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 が並列実行される。

Code Gear と Data Gear に Interface を使ったモジュール化を導入した。
これにより、Stack や Queue などのデータ構造を仕様と実装に分けて記述することができ、
見通しの良いプログラミングが可能になった。

Gears OS の Task は par goto 構文により生成され、TaskManager を通して CPU、GPU の Worker に送信され Code Gear の実行を行う。
par goto 構文を導入し、並列実行の記述を簡素化することができた。

本論文では Gears OSの基本概念、並列処理機構の実装について述べる。
モジュール化、par goto 構文の実装についても考察する。
また、並列処理を行う例題を用いて評価を行う。

\end{abstract}

\begin{abstract_eng}
Reliability and extensibility is necessary in computer operating system.
We are developing Gears OS, which has Code Gear and Data Gear as units of computation,
and it also has meta level computations.
Meta computations include GPU interface, parallel processing, memory managements, and synchronizations.

A task of Gears OS is a pair of Code Gear and Input/Output Data Gears.
The Inputs and Outputs determine dependencies of the tasks.
Gears kernel resolve the dependencies and execute the task.

New Introduce module system using interface, which defines a group of Code Gears and Data Gears.
The interface the programming of Gears system clear.
We also introduce par goto syntax for task creations.

In this paper, we describe concept of Gears OS and implementation of parallelism execution structure, module system, and  par goto syntax.
We evaluate Gears OS by parallel computation examples.
\end{abstract_eng}