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)で実装、評価することを目的とする.

# Gaer Box
- 基本はState Diagramで記述
- State DiagramのStateをCode Gear(Code Segment)
- Code Gear間にData Gear(Data Segment)を記述

# Gear Box
![GearBoxExample](./pictures/GearBoxExample.svg)

# Gear Box
![MetaGearBoxExample](./pictures/MetaGearBoxExample.svg)

# Synchronized Queue
![GearBoxExample](./pictures/synchronizedQueueSender.svg)

# Synchronized Queue
![GearBoxExample](./pictures/synchronizedQueueReceiver.svg)

# Synchronized Queue
- Meta Sender, Meta Reciverでsynchronizedを表現する
- つまり, Meta Sender, Reciverの動作で通常のQueueとSynchronized Queueを入れ替える事ができる