Mercurial > hg > Members > innparusu > slides

comparison 2017/2017_05_23/slide.md @ 25:678e6992c8ae

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, 20 Jun 2017 20:02:48 +0900
parents
children
comparison
equal deleted inserted replaced
24:a05d9335563f 25:678e6992c8ae
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 - Task の interface
16
17 ## Taskの interface
18 - par goto に変換するために, input, output の関係をinterface に押し込みたい
19
20
21 ``` c
22 typedef struct Task<Impl>{
23 union Data* task;
24 enum Code code;
25 int idgCount;
26 int odgCount;
27 __code setTaskInfo(Impl* task, enum Code code, __code next(...));
28 __code next(...);
29 } Semaphore;
30
31
32 Task* createCPUTask(struct Context* context, int idgCount, int odgCount) {
33 Task* task = new Task();
34 task->task = (union Data*)NEW(struct Context);
35 initContext(&task->task->Context);
36 task->task->Context.idg = cpuTask->context->dataNum;
37 task->task->Context.idgCount = idgCount;
38 task->idgCount = idgCount;
39 task->odgCount = odgCount;
40 task->setTaskInfo = C_setTaskInfo;
41 return task
42 }
43 ```
44
45
46 ## par goto からの変換
47
48 ``` c
49 par goto code1(data1, data2, data3, _exit)
50 ```
51
52
53 ```c
54
55 ```