# HG changeset patch # User Tatsuki IHA # Date 1518075870 -32400 # Node ID d7e887a8cdd120db2fa4e703ec33090782138e2a # Parent d866830ee663c87655df6040b50103d3906856a2# Parent 7d61a00d04611e47bdcd85b2501c62a7b15b5e2a Merge diff -r d866830ee663 -r d7e887a8cdd1 paper/abstract.tex --- a/paper/abstract.tex Thu Feb 08 16:44:18 2018 +0900 +++ b/paper/abstract.tex Thu Feb 08 16:44:30 2018 +0900 @@ -2,35 +2,40 @@ 現在の OS では信頼性と拡張性を両立させることが要求されている。 本研究室では 処理を Code Gear、 データを Data Gear という単位を用いて信頼性と拡張性をメタレベルで保証する Gears OS を開発している。 -Gears OS の信頼性はモデル検査、検証を使用して保証する。 -この信頼性のための計算はノーマルレベルの計算に対して別の階層のメタレベルの計算で実行される。 -このメタ計算は信頼性の他に CPU、GPU などの実行環境の切り替え, データ拡張等の拡張性を提供する。 +Gears OS の信頼性と拡張性は ノーマルレベルの計算に対して別の階層のメタレベルの計算される。 +このメタ計算は CPU、GPU などの実行環境の切り替え, データ拡張等を提供する。 Gears OS では Task を Code Gear と入力の Input Data Gear と出力の Output Data Gear の組で表現される。 このInput/Output Data Gear によって依存関係を解決し、Input Data Gear が揃った Code Gear が並列実行される。 -Gears OS の Task は 並列処理構文により生成され、TaskManager を通して CPU、GPU の Worker に送信され 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} -Current OS is required reliability and extensibility. - -We are developing Gears OS using Code Gear and Data Gear, which provides reliability and extensibility by meta level computation. +Reliability and extensibility is necessary in computer operation 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. -Provides reliability of Gears OS using model checking and proof. -It computation for reliability execute meta level computation against normal level computation. -Meta computation provides extensibility such as data expansion and switch environment by CPU and GPU. +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. -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. +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. -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. +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} diff -r d866830ee663 -r d7e887a8cdd1 paper/master_paper.tex --- a/paper/master_paper.tex Thu Feb 08 16:44:18 2018 +0900 +++ b/paper/master_paper.tex Thu Feb 08 16:44:30 2018 +0900 @@ -12,7 +12,7 @@ %\input{dummy.tex} %% font \jtitle{Gears OS の並列処理} -\etitle{Parallel processing of Gears OS} +\etitle{Parallel processing in Gears OS} \year{2017年 3月} \eyear{March 2018} \author{伊波 立樹}