Mercurial > hg > Papers > 2018 > parusu-master

comparison paper/introduction.tex @ 55:a4404c7a72d5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Wed, 07 Feb 2018 18:22:25 +0900
parents 4bdffbb885fe
children ed207d6c511a
comparison
equal deleted inserted replaced
54:68bc5aa623a6 55:a4404c7a72d5
6 これらのプロセッサで性能を出すためにはアーキテクチャに合わせた並列プログラミングが必要になる。 6 これらのプロセッサで性能を出すためにはアーキテクチャに合わせた並列プログラミングが必要になる。
7 並列プログラミングフレームワークでは様々なプロセッサを抽象化し、CPU と同等に扱えるようにする柔軟性が求められる。 7 並列プログラミングフレームワークでは様々なプロセッサを抽象化し、CPU と同等に扱えるようにする柔軟性が求められる。
8 8
9 本研究室では通常の計算をノーマルレベルとし、並列処理の信頼性をノーマルレベルの計算に対して保証し、拡張性をノーマルレベルとは別の階層のメタレベルの計算で実現することを目標に Gears OS\cite{kkb-master}を設計、開発中である。 9 本研究室では通常の計算をノーマルレベルとし、並列処理の信頼性をノーマルレベルの計算に対して保証し、拡張性をノーマルレベルとは別の階層のメタレベルの計算で実現することを目標に Gears OS\cite{kkb-master}を設計、開発中である。
10 Gears OS では処理を Code Gear、 データを Data Gear という単位を用いてプログラムを記述する。 10 Gears OS では処理を Code Gear、 データを Data Gear という単位を用いてプログラムを記述する。
11 Code Gear には実行するときに必要な Input Data Gear、出力するための Output Data Gear がある。 11 Code Gear には実行するときに必要な Input Data Gear、出力するための Output Data Gear があり、 この Input/Output Data Gear の関係から依存関係を決定し、 Input Data Gear が揃った Code Gear が並列に実行される。
12 12
13 Gears OS のプログラムの信頼性の確保はモデル検査、検証を使用して行う。 13 Gears OS のプログラムの信頼性の確保はモデル検査、検証を使用して行う。
14 この信頼性のための計算はメタ計算として記述される。 14 この信頼性のための計算はメタ計算として記述される。
15 このメタ計算は信頼性の他に CPU、 GPU などのアーキテクチャに沿った実行環境の切り替え、データの拡張等の拡張性を提供する。 15 このメタ計算は信頼性の他に CPU、 GPU などのアーキテクチャに沿った実行環境の切り替え、データの拡張等の拡張性を提供する。
16 メタ計算の処理は Meta Code Gear、 Meta Data Gear で表現する。 16 メタ計算の処理は Meta Code Gear、 Meta Data Gear で表現する。