Members/innparusu/slides: 2015/2015_06

Add slide.md

comparison

equal deleted inserted replaced

-:47676a16ed13
+:3b7da0b661cc
+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>

Mercurial > hg > Members > innparusu > slides