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 によって依存関係が決定し、それにそって並列実行を行う.
- 依存関係の解決やモデル検査等の本論の計算を行うためのメタな計算を Meta Code Gear で行う.
- 現在の Gears では Stack や Queue の operatation の API が存在しなため, 記述が困難になっている. そのため, この研究では Gears OS における API の記述方法を設計し, 実装する


## 今週
- Elixir の実測してました
    - Erlang vm を使ってるので message passing
- nkmr 研が前に用意していたVM 16台で実測
- 例題は一番早くなった Twice で

## 実装方法
- 1台は scheduler(FIFO ですが)
- 1台あたりの割当の長さは length/(n-1)
- scheduler 用のプロセスに答えを集約

## 早くなった?
- length: 2000万で実測
- 1台に比べて13台だと 7.11倍にはなった
- スケジューラが13台にメッセージ送ってるのでそれで遅くなった?

<div style="text-align: center;">
    <img src="./pictures/result2.svg" alt="message" width="500">
</div>


## こんな感じ
- 1, 10415678
- 2, 5657481
- 3, 2709888
- 4, 2539298
- 5, 1856163
- 6, 1821989
- 7, 1687275
- 8, 1646491
- 9, 1711476
- 10, 1514989
- 11, 1641582
- 12, 1477745
- 13, 1464196
- 14, 1504841
- 15, 1483625