Mercurial > hg > Members > innparusu > slides

comparison 2017/2017_12_26/slide.md @ 29:791013bd4429

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update
author Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
date Tue, 09 Jan 2018 15:22:00 +0900
parents
children
comparison
equal deleted inserted replaced
28:382cd93f2a60 29:791013bd4429
1 title: Gears OS による並列処理
2 author: Tatsuki IHA
3 profile:
4 lang: Japanese
5 code-engine: coderay
6
7 ## 研究目的
8 - 当研究室では 処理の単位を Code Gear、 データの単位を Data Gear を用いて 信頼性が高い並列処理を行う Gears OS を開発している
9 - Gears OS では Task を Code Gear と実行するときに必要な Input Data Gear と出力するための Output Data Gear の組で表現される。 Input Data Gear/Output Data Gear によって依存関係が決定し、それにそって並列実行を行う.
10 - 信頼性の確保はモデルチェック、検証等を使用して行う。この信頼性のための計算は通常の計算とは別の階層のメタ計算として記述する。
11 - また、 メタ計算は信頼性の他に CPU, GPU などの実行環境の切り替え, データ拡張等の柔軟性を提供する。
12 - 本研究では、 Gears OS の並列処理機構の実装を行う。また、並列処理の検証をメタ計算として記述することで、 並列処理の信頼性を保証する。
13
14 ## 今週
15 - Gears のリファクタ
16 - interface file から引数の情報を取得する
17
18 ## CbC 側の修正
19 - interface.cbc -> interface.h に rename
20 - Impl 側には使用している interface を記述する
21 - \#interface
22
23 ```
24 #include "../context.h"
25 #include <stdio.h>
26 #interface "Queue.h"
27
28 Queue* createSingleLinkedQueue(struct Context* context) {
29 struct Queue* queue = new Queue();
30 struct SingleLinkedQueue* singleLinkedQueue = new SingleLinkedQueue();
31 queue->queue = (union Data*)singleLinkedQueue;
32 ....
33 ```
34
35 ## perl script の修正
36 - 今まで createImpl から引数情報を取っていたところを #interface に変更
37 - \#interface は compileには通らないので、 cのファイルとして書き出す際に削除する
38 - これでほとんどの goto meta を消せそう
39 - TaskManagerImpl からは消した
40
41 ## next
42 - そろそろ論文