view paper/abstract_eng.tex @ 21:9e1747657acd

revision
author kkb
date Thu, 18 Feb 2016 17:12:23 +0900
parents 4dcfec1bf1e7
children faaba0936fa9
line wrap: on
line source

\begin{abstract_eng}
  In this thesis we have designed Gears OS based on Code/Data Segment.
  It is a reimplementation of Cerium TaskManger.
  Cerium is parallel programming framework developed by C++, which suports Cell broadband Engine, Shared Memory Multi CPU and GPU.
  Prallel 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 nore Data-Dependencies.
  Cerium gives good peformancies, 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 refernsial transparelency.
  Newly desined Gears OS is wrriten in Continuation base C(CbC).
  CbC has Code Segments which are suitable as tasks, it also has Data Segments with Type-Signeture.
  Gears OS has meta computatin 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-Signeture, Memory Allocation and Threads information.
  A Code Segment passes the control to another Code Segment using a goto statement.
  A Meta Computaion can be inserted between the Code Segments.
  Using CbC, Code Segments, Data Segments and Meta Computaion, parallel computaion can be described in reliable style.
  Since Gears OS itself is wrritened CbC it can be a guide to Gears OS Parallel Programming.
  We show a prottype implemntation of Gears OS and show some examples including Red-Black Tree, Syncronized Queue, Simple parallel cmputaion example.
\end{abstract_eng}