title: Monadに基づくMeta計算を基本とするGears OSの設計
author: Tatsuki IHA
profile:
lang: Japanese

# 研究目的
- 当研究室では, プログラムをコードセグメント, データセグメントを用いた並列フレームワークの開発を行っている.
- Gears OSでは, 並列実行に必要なMetaな機能を関数型言語におけるMonadの原理に基づいて実現する.
- また, Code Segment, Data SegmentそれぞれにMeta Code Segment, Meta Data Segmentを付属させる.
- この研究ではGears OSの機能をCbC(Continuation based C)で実装、評価することを目的とする.

# GearsのCode Segment
- In Data Segmentの受け取り
- Out Data segmentの生成(flipする場合もあり)
- Code Segmentは次のCode Segmentを持っていない
- Meta Code Segmentに, 次のCode Segmentの参照, Meta Computationを行う

# GearsのCode Segment
![](./pictures/code_segment.jpg)

# GearsのData Segment
- Data Segmentは実際の値を持たせる
- Meta Data Segmentにはsignatureへの参照, 次のData Segmentの参照を持たせる

# Data SegmentでのList
![](./pictures/list.jpg)

# Data SegmentでのSynchronized queue
![](./pictures/Synchronized_queue.jpg)