Mercurial > hg > Papers > 2018 > parusu-master

annotate paper/abstract.tex @ 125:77ce99b5c676

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix pageNumber
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Thu, 01 Mar 2018 16:23:35 +0900
parents b35534a09000
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
125
77ce99b5c676 Fix pageNumber
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
1 \chapter*{要旨}
59
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
2 現在の OS では信頼性と拡張性を両立させることが要求されている。
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
3 本研究室では 処理を Code Gear、 データを Data Gear という単位を用いて信頼性と拡張性をメタレベルで保証する Gears OS を開発している。
54
68bc5aa623a6 Add japanese abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
4
65
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
5 Gears OS の信頼性と拡張性は ノーマルレベルの計算に対して別の階層のメタレベルの計算される。
83
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
6 このメタ計算は CPU、GPU などの実行環境の切り替え、 データ拡張等を提供する。
54
68bc5aa623a6 Add japanese abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
7
59
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
8 Gears OS では Task を Code Gear と入力の Input Data Gear と出力の Output Data Gear の組で表現される。
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
9 このInput/Output Data Gear によって依存関係を解決し、Input Data Gear が揃った Code Gear が並列実行される。
54
68bc5aa623a6 Add japanese abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
10
65
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
11 Code Gear と Data Gear に Interface を使ったモジュール化を導入した。
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
12 これにより、Stack や Queue などのデータ構造を仕様と実装に分けて記述することができ、
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
13 見通しの良いプログラミングが可能になった。
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
14
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
15 Gears OS の Task は par goto 構文により生成され、TaskManager を通して CPU、GPU の Worker に送信され Code Gear の実行を行う。
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
16 par goto 構文を導入し、並列実行の記述を簡素化することができた。
54
68bc5aa623a6 Add japanese abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
17
59
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
18 本論文では Gears OSの基本概念、並列処理機構の実装について述べる。
65
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
19 モジュール化、par goto 構文の実装についても考察する。
59
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
20 また、並列処理を行う例題を用いて評価を行う。
54
68bc5aa623a6 Add japanese abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 2
diff changeset
21
125
77ce99b5c676 Fix pageNumber
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
22 \chapter*{Abstract}
71
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 65
diff changeset
23 Reliability and extensibility is necessary in computer operating system.
65
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
24 We are developing Gears OS, which has Code Gear and Data Gear as units of computation,
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
25 and it also has meta level computations.
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
26 Meta computations include GPU interface, parallel processing, memory managements, and synchronizations.
59
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
27
65
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
28 A task of Gears OS is a pair of Code Gear and Input/Output Data Gears.
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
29 The Inputs and Outputs determine dependencies of the tasks.
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
30 Gears kernel resolve the dependencies and execute the task.
59
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
31
65
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
32 New Introduce module system using interface, which defines a group of Code Gears and Data Gears.
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
33 The interface the programming of Gears system clear.
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
34 We also introduce par goto syntax for task creations.
59
ed207d6c511a Add abstract
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 55
diff changeset
35
65
7d61a00d0461 Fix abstract
innparusu
parents: 63
diff changeset
36 In this paper, we describe concept of Gears OS and implementation of parallelism execution structure, module system, and par goto syntax.
63
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
37 We evaluate Gears OS by parallel computation examples.