\begin{abstract}
  Cerium はオブジェクト指向言語である C++ を用いて開発した並列プログラミングフレームワークである。
  Task 間の依存関係を記述することで並列処理を行う。
  しかし、Task 間の依存関係だけではデータの正しさを保証することができない。
  また、Task とのデータの受け渡しに汎用ポインタを使うためそこでデータの型情報を失う。
  型情報がないので誤った型変換を行うと未定義の動作となる。
  オブジェクト指向も並列処理と相性が悪い。
  我々の研究室では Code Segment という単位でプログラミングを行う CbC(Continuation based C) を開発している。
  Code Segment は並列処理の単位として用いることができる。
  本研究では Cerium を開発して得られた知見からデータの単位として Data Segment を定義し、Code/Data Segment を用いた並列プログラミングフレームワーク Gears OS の開発を行う。
  Code/Data Segment で記述することでプログラム全体の並列度を高めて効率的に並列処理することを可能にする。
  本論文では Gears OS の基本的な機能を設計し、実装に CbC を用いる。
  また、Gears OS の実装自体が Code/Data Segment を用いたプログラミングの指針となるように実装する。
\end{abstract}