\begin{abstract_eng}
  In this thesis we have designed Gears OS based on Code/Data Segment.
  It is a reimplementation of Cerium TaskManager.
  Cerium is parallel programming framework developed by C++, which suports Cell Broadband Engine, Shared Memory Multi CPU and GPU.
  Parallel computing of Cerium describes by Tasks, which have Task-Dependency.
  Data structures are passed to a Task as input/output parameters but the structures have no type constraints nor Data-Dependencies.
  Cerium gives good performances, but without type correctness and Data-Dependency, its programming very difficult and unreliable.
  Cerium is implement in C++, which is not suitable in parallel machine because objects in C++ has no referential transparency.
  Newly designed Gears OS is written in Continuation base C(CbC).
  CbC has Code Segments which are suitable as Tasks, it also has Data Segments with Type-Signature.
  Gears OS has Meta Computation supports.
  For each thread of Gears OS there is a Meta Data Segment called Context.
  The Context contains a set of Code Segments and Data Segments in the threads, it also has a Meta Data Segment such as Data Segment Type-Signature, Memory Allocation and Threads information.
  A Code Segment passes the control to another Code Segment using a goto statement.
  A Meta Computation can be inserted between the Code Segments.
  Using CbC, Code Segments, Data Segments and Meta Computation, parallel computation can be described in reliable style.
  Since Gears OS itself is written CbC it can be a guide to Gears OS Parallel Programming.
  We show a prototype implementation of Gears OS and show some examples including Red-Black Tree, Synchronized Queue, Simple parallel computation example.
\end{abstract_eng}