Mercurial > hg > Members > innparusu > slides
comparison 2015_05_05/slide.md @ 0:47676a16ed13
Add Slides
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 14 Jul 2015 17:23:04 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:47676a16ed13 |
---|---|
1 title: Monadに基づくMeta計算を基本とするGears OSの設計 | |
2 author: Tatsuki IHA | |
3 profile: | |
4 lang: Japanese | |
5 | |
6 # 研究目的 | |
7 - 当研究室では, プログラムをコードセグメント, データセグメントを用いた並列フレームワークの開発を行っている. | |
8 - Gears OSでは, 並列実行に必要なMetaな機能を関数型言語におけるMonadの原理に基づいて実現する. | |
9 - また, Code Segment, Data SegmentそれぞれにMeta Code Segment, Meta Data Segmentを付属させる. | |
10 - この研究ではGears OSの機能をCbC(Continuation based C)で実装、評価することを目的とする. | |
11 | |
12 # Gaer Box | |
13 - 基本はState Diagramで記述 | |
14 - State DiagramのStateをCode Gear(Code Segment) | |
15 - Code Gear間にData Gear(Data Segment)を記述 | |
16 | |
17 # Gear Box | |
18 ![GearBoxExample](./pictures/GearBoxExample.svg) | |
19 | |
20 # Gear Box | |
21 ![MetaGearBoxExample](./pictures/MetaGearBoxExample.svg) | |
22 | |
23 # Synchronized Queue | |
24 ![GearBoxExample](./pictures/synchronizedQueueSender.svg) | |
25 | |
26 # Synchronized Queue | |
27 ![GearBoxExample](./pictures/synchronizedQueueReceiver.svg) | |
28 | |
29 # Synchronized Queue | |
30 - Meta Sender, Meta Reciverでsynchronizedを表現する | |
31 - つまり, Meta Sender, Reciverの動作で通常のQueueとSynchronized Queueを入れ替える事ができる |