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

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

# Synchronized Queue
- casのコードにwhile & countを追加
- pthreadのコードにcond_wait, cond_signalを追加