title: Gears OS
author: Tatsuki IHA
profile:
lang: Japanese
code-engine: coderay

## 研究目的
- 当研究室では  処理の単位を Code Gear、 データの単位を Data Gear を用いて 信頼性が高い並列処理を行う Gears OS を開発している
- Gears OS では Task を Code Gear と実行するときに必要な Input Data Gear と出力するための Output Data Gear の組で表現される。 Input Data Gear/Output Data Gear によって依存関係が決定し、それにそって並列実行を行う.
- 信頼性の確保はモデルチェック、検証等を使用して行う。この信頼性のための計算は通常の計算とは別の階層のメタ計算として記述する。
- また、 メタ計算は信頼性の他に CPU, GPU などの実行環境の切り替え, データ拡張等の柔軟性を提供する。
- 本研究では、 Gears OS の並列処理機構の実装を行う。また、並列処理の実行を検証をメタ計算として記述することで、 並列処理の精度を保証する。

## 先週
- GW たのしかったです

## par goto
- par goto の変換スクリプトを書きたい

```
par goto add(integer1, integer2, output, __exit)
```

## 問題点
- par goto は↓のように変換されるはず
- idg, odg をtaskのdataをセットするための切り分けをしたい

```
    task->next = C_add;
    task->idgCount = 2;

    // DG のセットを切り分けたい
    task->data[task->idg] = (union Data*)integer1;
    task->data[task->idg+1] = (union Data*)integer2;
    task->maxIdg = task->idg + 2;
    task->odg = task->maxIdg;
    task->data[task->odg] = (union Data*)integer3;


    task->maxOdg = task->odg + 1;
    taskManager->next = C_createTask1;
    goto meta(context, taskManager->taskManager->TaskManager.spawn);
```

## Task で実行される Code Gear
- 実際 task で実行される Code Gear は 引数に output data もとっている

```
__code add(struct Integer* input1, struct Integer* input2, struct Integer* output) { 
    output->value = input1->value + input2->value; 
    printf("%d + %d = %d\n", input1->value, input2->value, output->value); 
    goto meta(context, context->next); 
}
```

- ↓のように Code Gear の引数は Input Data Gear のみにして、あとで変換
- そうすると, 引数で input Data の数がわかる

```
__code add(Integer *intege1, Integer *integer2, next(output, output2,...)) {
    union Data* output = integer1->value + integer1->value;
    union Data* output2 =....
    goto next(output, output2, ...)
}
```

## Par goto で切り分ける?
- output に何かしらのフラグを付ける

```
par goto(input1, input2, +output)
```