--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2015/2015_06_09/slide.md	Tue Aug 04 18:12:46 2015 +0900
@@ -0,0 +1,48 @@
+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を付属させ,Many CoreやGPGPU環境でも信頼性の高い並列処理を実現する.
+- この研究ではGears OSの機能をCbC(Continuation based C)で実装、評価することを目的とする.
+
+# data segmentを参照するsyntax
+
+```
+__code code1(struct Context* context, enum Code next) {
+    context->data[Allocate]->allocate.size = .....;
+}
+```
+
+# data segmentを参照するsyntax
+```
+__code code1(struct Context* context, enum Code next) {
+    union Data *ds1;
+    ds1                = get_data_segment(context, Allocate);
+    ds1->allocate.size = .....;
+}
+
+union Data* get_data_segment(struct Context* context, int key) {
+    return context->data[key];
+}
+```
+
+# data segmentを参照するsyntax
+```
+__code code1(struct Allocate allocate) {
+    allocate.size = .....;
+}
+```
+
+# Cerium on Gears
+
+
+<style scoped>
+    pre {
+        font-size: 20px;
+    }
+</style>