# HG changeset patch # User Tatsuki IHA # Date 1518069420 -32400 # Node ID ecb7f8c663026542addf28512a8096522e33ed43 # Parent a75782dcaceb5d054b95a744694cf6953978f18a Fix diff -r a75782dcaceb -r ecb7f8c66302 mindmap.mm --- a/mindmap.mm Thu Feb 08 13:55:21 2018 +0900 +++ b/mindmap.mm Thu Feb 08 14:57:00 2018 +0900 @@ -274,8 +274,83 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff -r a75782dcaceb -r ecb7f8c66302 paper/abstract.tex --- a/paper/abstract.tex Thu Feb 08 13:55:21 2018 +0900 +++ b/paper/abstract.tex Thu Feb 08 14:57:00 2018 +0900 @@ -23,7 +23,7 @@ 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. +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. @@ -31,5 +31,6 @@ 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. +We evaluate Gears OS by parallel computation examples. \end{abstract_eng}