13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 <!DOCTYPE HTML>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 <html lang="en-US">
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 <head>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 <title>分散フレームワークAliceの圧縮機能</title>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 <meta charset="UTF-8">
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 <meta name="viewport" content="width=1274, user-scalable=no">
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 <meta name="generator" content="Slide Show (S9)">
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 <meta name="author" content="照屋のぞみ">
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 <link rel="stylesheet" href="themes/ribbon/styles/style.css">
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 </head>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 <body class="list">
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 <header class="caption">
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 <h1>分散フレームワークAliceの圧縮機能</h1>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 <p>照屋のぞみ</p>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 <div class="slide cover" id="Cover"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 <header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 <h2>分散フレームワークAliceの圧縮機能</h2>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 <h3 id="author">照屋のぞみ</h3>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 <h3 id="profile">琉球大学 工学部 情報工学科 4年</h3>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27 <!-- todo: add slide.classes to div -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 <!-- todo: create slide id from header? like a slug in blogs? -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 <div class="slide" id="2"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32 <header>
|
18
|
33 <h1 id="section">研究目的</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
34 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 <!-- === begin markdown block ===
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37 generated by markdown/1.2.0 on Ruby 2.1.0 (2013-12-25) [x86_64-darwin13.0]
|
18
|
38 on 2015-05-25 18:01:27 +0900 with Markdown engine kramdown (1.5.0)
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 using options {}
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40 -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
41
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
42 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44 <ul>
|
18
|
45 <li>当研究室が開発している並列分散フレームワークAliceではスケーラブルな分散プログラムを信頼性高く記述できる環境を実現する。</li>
|
|
46 <li>Aliceのメタ計算として、通信が切断した際の処理やデータを圧縮する処理等を提供することで、プログラマがコードを大きく変更することなくプログラムの振る舞いを変えることを可能にする。</li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 <div class="slide" id="3"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 <header>
|
18
|
57 <h1 id="data-segment--code-segment">Data Segment と Code Segment</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 <ul>
|
18
|
62 <li>Aliceではデータを <strong>Data Segment(DS)</strong> 、タスクを <strong>Code Segment(CS)</strong> という単位に分割してプログラミングを行う。</li>
|
|
63 <li>AliceはJavaで実装されており、CS をユーザーが記述する際には CodeSegment.class を継承することで CS で使用する API を利用する事ができる。</li>
|
|
64 <li>DSはAliceが内部にもつデータベースにより管理されており、CSはDSに対応する一意のkeyを使ってDSを操作する。</li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
66
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 <div class="slide" id="4"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 <header>
|
18
|
75 <h1 id="data-segment--code-segment-1">Data Segment と Code Segment</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
78
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
79 <ul>
|
18
|
80 <li>CSはInput DS(入力されるDS)とOutput DS(出力されるDS)を持つ。</li>
|
19
|
81 <li>CSはkeyで指定されたDSが揃うと実行されるという性質を持つ。</li>
|
|
82 <img src="./images/dsandcs.svg" alt="opt" align="center"/>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
83 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
84
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
85
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
86 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
87 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
88
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
89 <div class="slide" id="5"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
90 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
91 <header>
|
18
|
92 <h1 id="codesegment">CodeSegmentの依存関係</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
93 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
94 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
95
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
96 <ul>
|
21
|
97 <li>データの依存関係のないCSは並列実行される</li>
|
19
|
98 <li>データの依存関係がある場合は Input DS が揃うと順に実行される</li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99 </ul>
|
19
|
100 <img src="./images/dsandcs2.svg" alt="opt" align="center"/>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
101
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
103 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
104 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
105
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
106 <div class="slide" id="6"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
107 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
108 <header>
|
18
|
109 <h1 id="data-segment">Data Segment</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
110 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
111 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
113 <ul>
|
18
|
114 <li>整数や文字列などの基本的なデータの集まり</li>
|
|
115 <li>Aliceの場合はJavaオブジェクトに対応</li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
116 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
117
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
118
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
119
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
120 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
121 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
122
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
123 <div class="slide" id="7"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
124 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
125 <header>
|
18
|
126 <h1 id="data-segment-manager">Data Segment Manager</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
127 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
128 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
129
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
130 <ul>
|
18
|
131 <li>DS の集合体であるデータベースを Alice では DS Manager(DSM) と呼ぶ。 </li>
|
|
132 <li>DSM 内の DS には対になる String型のkey が存在し、 DSM 名と key を指定しすることで DS の保存、取得を行う。</li>
|
23
|
133 <li>DS の保存<br />
|
19
|
134 put(String managerKey, String key, Object val) </li>
|
18
|
135 <li>DS の取得<br />
|
19
|
136 take(String managerKey, String key) </li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
137 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
138
|
18
|
139 <!--![opt](./images/dsm.svg)-->
|
|
140
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
141
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
142
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
143 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
144 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
145
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
146 <div class="slide" id="8"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
147 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
148 <header>
|
18
|
149 <h1 id="data-segment-manager-1">Data Segment Manager</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
150 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
151 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
152
|
19
|
153 <img src="./images/remote_datasegment.svg" alt="opt" width="450px" align="right"/>
|
18
|
154 <ul>
|
19
|
155 <li>Local DSM … 各ノード固有のデータベース。</li></br>
|
|
156 <li>Remote DSM … 他のノードの Local DSM の proxy。接続しているノードの数だけ存在する。</li><br />
|
18
|
157 </ul>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
158
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
159
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
160
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
161 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
162 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
163
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
164 <div class="slide" id="9"><div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
165 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
166 <header>
|
18
|
167 <h1 id="data-segment-">Data Segment の表現</h1>
|
14
|
168 </header>
|
|
169 <!-- _S9SLIDE_ -->
|
|
170
|
|
171 <ul>
|
18
|
172 <li>DSは複数の表現を同時に持っており、現在は3種類の表現がある。
|
|
173 <ol>
|
|
174 <li>一般的な Java のクラスオブジェクト</li>
|
|
175 <li>MessagePack for Java でシリアライズ化されたバイナリオブジェクト。Remoteとの通信の際に用いる。</li>
|
|
176 <li>2 を圧縮したバイナリオブジェクト。圧縮機能の一部として今回追加。 </li>
|
|
177 </ol>
|
14
|
178 </li>
|
|
179 </ul>
|
|
180
|
|
181
|
|
182
|
|
183 </section>
|
|
184 </div></div>
|
|
185
|
|
186 <div class="slide" id="10"><div>
|
|
187 <section>
|
|
188 <header>
|
18
|
189 <h1 id="messagepack">MessagePackとは</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
190 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
191 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
192
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
193 <ul>
|
18
|
194 <li>Sadayuki Furuhashiが開発したシリアライズのための機能をまとめたオープンソースライブラリ。</li>
|
|
195 <li>シリアライズ/デシリアライズを高速に行うことができ、整数、浮動小数点数、Boolean、文字列、配列、連想配列、nilをバイト列にシリアライズできる。</li>
|
|
196 <li>JSONのようにプログラミング言語に依存しないデータの表現形式として使用できる。</li>
|
14
|
197 </ul>
|
|
198
|
|
199
|
|
200
|
|
201 </section>
|
|
202 </div></div>
|
|
203
|
|
204 <div class="slide" id="11"><div>
|
|
205 <section>
|
|
206 <header>
|
18
|
207 <h1 id="cs--input-ds-">CS と Input DS の対応付け</h1>
|
14
|
208 </header>
|
|
209 <!-- _S9SLIDE_ -->
|
|
210
|
|
211 <ul>
|
22
|
212 <li>setKey()にtakeコマンドを待ち合わせすることで Input DS を指定する</li>
|
18
|
213 <li>実際にtakeしたデータを参照するときには、asClass()を用いて任意のJavaのオブジェクトとして扱えるようにする </li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
214 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
215
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
216
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
217
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
218 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
219 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
220
|
22
|
221
|
14
|
222 <div class="slide" id="12"><div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
223 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
224 <header>
|
19
|
225 <h1 id="cs--">Code Segment の 例</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
226 </header>
|
22
|
227 <span>2つのノード間で、RemoteDSMからデータをtakeしインクリメントしてLocalDSMにputを10回繰り返す</span>
|
23
|
228 <img src="./images/remoteTest.svg" alt="opt" align="center"/>
|
22
|
229 </div></div>
|
|
230
|
|
231 <div class="slide" id="13"><div>
|
|
232 <section>
|
|
233 <header>
|
|
234 <h1 id="cs--">Code Segment の 例</h1>
|
|
235 </header>
|
|
236 <span>2つのノード間で、RemoteDSMからデータをtakeしインクリメントしてLocalDSMにputを10回繰り返す</span>
|
|
237 <img src="./pictures/remoteTest2.svg" alt="opt" align="center"/>
|
|
238 </div></div>
|
|
239
|
|
240
|
|
241 <div class="slide" id="14"><div>
|
|
242 <section>
|
|
243 <header>
|
|
244 <h1 id="cs--">Code Segment の 例</h1>
|
|
245 </header>
|
|
246 <span>Start CS で 最初の DS をputする</span>
|
19
|
247 <pre><code style="font-size:13pt" lang="java">
|
22
|
248 public class StartCodeSegment extends CodeSegment {
|
|
249 @Override
|
|
250 public void run() {
|
|
251 <span style="color:red;">ods.put("local", "num", 0);</span>
|
|
252
|
|
253 Increment nextCS = new Increment();
|
|
254 nextCS.receiver.setKey("remote", "num");
|
|
255 }
|
|
256 }
|
|
257 </code></pre>
|
|
258 </section>
|
|
259 </div></div>
|
|
260
|
|
261
|
|
262 <div class="slide" id="15"><div>
|
|
263 <section>
|
|
264 <header>
|
|
265 <h1 id="cs--">Code Segment の 例</h1>
|
|
266 </header>
|
|
267 <span>次に実行するインクリメントのCSを作成する</span>
|
|
268 <pre><code style="font-size:13pt" lang="java">
|
|
269 public class StartCodeSegment extends CodeSegment {
|
18
|
270 @Override
|
|
271 public void run() {
|
22
|
272 ods.put("local", "num", 0);
|
|
273
|
|
274 <span style="color:red;">Increment nextCS = new Increment();</span>
|
|
275 nextCS.receiver.setKey("remote", "num");
|
|
276 }
|
|
277 }
|
|
278 </code></pre>
|
|
279 </section>
|
|
280 </div></div>
|
|
281
|
|
282
|
|
283 <div class="slide" id="17"><div>
|
|
284 <section>
|
|
285 <header>
|
|
286 <h1 id="cs--">Code Segment の 例</h1>
|
|
287 </header>
|
|
288 <span>作成したnextCSに対してsetKey()でDSM名とkeyを指定し、内部でtakeを行う。</span>
|
|
289 <pre><code style="font-size:13pt" lang="java">
|
|
290 public class StartCodeSegment extends CodeSegment {
|
|
291 @Override
|
|
292 public void run() {
|
|
293 ods.put("local", "num", 0);
|
|
294
|
|
295 Increment nextCS = new Increment();
|
|
296 <span style="color:red;">nextCS.receiver.setKey("remote", "num");</span>
|
|
297 }
|
|
298 }
|
|
299 </code></pre>
|
|
300 </section>
|
|
301 </div></div>
|
|
302
|
|
303
|
|
304 <div class="slide" id="18"><div>
|
|
305 <section>
|
|
306 <header>
|
|
307 <h1 id="cs--">Code Segment の 例</h1>
|
|
308 </header>
|
|
309 <span>takeでCSにInput DSを対応づけ、DSを格納するReceiverを用意がされる。</span>
|
|
310 <pre><code style="font-size:13pt" lang="java">
|
|
311 public class Increment extends CodeSegment {
|
|
312 <span style="color:red;">public Receiver receiver = ids.create(CommandType.TAKE);</span>
|
|
313 @Override
|
|
314 public void run() {
|
|
315 int num = this.r.asClass(Integer.class);
|
|
316 num++;
|
|
317 if (num == 10) System.exit(0);
|
|
318 ods.put("local", "num", num);
|
|
319 Increment nextCS = new RemoteIncrement();
|
|
320 nextCS.receiver.setKey("remote", "num");
|
18
|
321 }
|
|
322 }
|
|
323 </code></pre>
|
21
|
324 </section>
|
|
325 </div></div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
326
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
327
|
22
|
328 <div class="slide" id="19"><div>
|
|
329 <section>
|
|
330 <header>
|
|
331 <h1 id="cs--">Code Segment の 例</h1>
|
|
332 </header>
|
|
333 <span>受け取ったDSをasClass()でInt型として取り出す</span>
|
|
334 <pre><code style="font-size:13pt" lang="java">
|
|
335 public class Increment extends CodeSegment {
|
|
336 public Receiver receiver = ids.create(CommandType.TAKE);
|
|
337 @Override
|
|
338 public void run() {
|
23
|
339 <span style="color:red;">int num = this.receiver.asClass(Integer.class);</span>
|
22
|
340 num++;
|
|
341 if (num == 10) System.exit(0);
|
|
342 ods.put("local", "num", num);
|
|
343 Increment nextCS = new RemoteIncrement();
|
|
344 nextCS.receiver.setKey("remote", "num");
|
|
345 }
|
|
346 }
|
|
347 </code></pre>
|
|
348 </section>
|
|
349 </div></div>
|
|
350
|
|
351
|
|
352 <div class="slide" id="20"><div>
|
21
|
353 <section>
|
|
354 <header>
|
|
355 <h1 id="cs--">Code Segment の 例</h1>
|
|
356 </header>
|
22
|
357 <span>インクリメントする</span>
|
21
|
358 <pre><code style="font-size:13pt" lang="java">
|
22
|
359 public class Increment extends CodeSegment {
|
|
360 public Receiver receiver = ids.create(CommandType.TAKE);
|
21
|
361 @Override
|
|
362 public void run() {
|
23
|
363 int num = this.receiver.asClass(Integer.class);
|
22
|
364 <span style="color:red;">num++;</span>
|
|
365 if (num == 10) System.exit(0);
|
|
366 ods.put("local", "num", num);
|
|
367 Increment nextCS = new RemoteIncrement();
|
|
368 nextCS.receiver.setKey("remote", "num");
|
|
369 }
|
|
370 }
|
|
371 </code></pre>
|
|
372 </section>
|
|
373 </div></div>
|
|
374
|
|
375
|
|
376
|
|
377 <div class="slide" id="21"><div>
|
|
378 <section>
|
|
379 <header>
|
|
380 <h1 id="cs--">Code Segment の 例</h1>
|
|
381 </header>
|
|
382 <span>numが10であれば終了する</span>
|
|
383 <pre><code style="font-size:13pt" lang="java">
|
|
384 public class Increment extends CodeSegment {
|
|
385 public Receiver receiver = ids.create(CommandType.TAKE);
|
|
386 @Override
|
|
387 public void run() {
|
23
|
388 int num = this.receiver.asClass(Integer.class);
|
22
|
389 num++;
|
|
390 <span style="color:red;">if (num == 10) System.exit(0);</span>
|
|
391 ods.put("local", "num", num);
|
|
392 Increment nextCS = new RemoteIncrement();
|
|
393 nextCS.receiver.setKey("remote", "num");
|
21
|
394 }
|
|
395 }
|
|
396 </code></pre>
|
|
397 </section>
|
|
398 </div></div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
399
|
22
|
400 <div class="slide" id="22"><div>
|
21
|
401 <section>
|
|
402 <header>
|
|
403 <h1 id="cs--">Code Segment の 例</h1>
|
|
404 </header>
|
22
|
405 <span>インクリメントした結果をLocal DSMにputする</span>
|
21
|
406 <pre><code style="font-size:13pt" lang="java">
|
22
|
407 public class Increment extends CodeSegment {
|
|
408 public Receiver receiver = ids.create(CommandType.TAKE);
|
21
|
409 @Override
|
|
410 public void run() {
|
23
|
411 int num = this.receiver.asClass(Integer.class);
|
22
|
412 num++;
|
|
413 if (num == 10) System.exit(0);
|
|
414 <span style="color:red;">ods.put("local", "num", num);</span>
|
|
415 Increment nextCS = new RemoteIncrement();
|
|
416 nextCS.receiver.setKey("remote", "num");
|
21
|
417 }
|
|
418 }
|
|
419 </code></pre>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
420 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
421 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
422
|
22
|
423
|
|
424 <div class="slide" id="23"><div>
|
|
425 <section>
|
|
426 <header>
|
|
427 <h1 id="cs--">Code Segment の 例</h1>
|
|
428 </header>
|
|
429 <span>次に実行するインクリメントCSを作成する</span>
|
|
430 <pre><code style="font-size:13pt" lang="java">
|
|
431 public class Increment extends CodeSegment {
|
|
432 public Receiver receiver = ids.create(CommandType.TAKE);
|
|
433 @Override
|
|
434 public void run() {
|
23
|
435 int num = this.receiver.asClass(Integer.class);
|
22
|
436 num++;
|
|
437 if (num == 10) System.exit(0);
|
|
438 ods.put("local", "num", num);
|
|
439 <span style="color:red;">Increment nextCS = new RemoteIncrement();</span>
|
|
440 nextCS.receiver.setKey("remote", "num");
|
|
441 }
|
|
442 }
|
|
443 </code></pre>
|
|
444 </section>
|
|
445 </div></div>
|
|
446
|
|
447 <div class="slide" id="24"><div>
|
|
448 <section>
|
|
449 <header>
|
|
450 <h1 id="cs--">Code Segment の 例</h1>
|
|
451 </header>
|
|
452 <span>作成したnextCSにkeyを指定してtakeを行わせる。以下繰り返し。</span>
|
|
453 <pre><code style="font-size:13pt" lang="java">
|
|
454 public class Increment extends CodeSegment {
|
|
455 public Receiver receiver = ids.create(CommandType.TAKE);
|
|
456 @Override
|
|
457 public void run() {
|
23
|
458 int num = this.receiver.asClass(Integer.class);
|
22
|
459 num++;
|
|
460 if (num == 10) System.exit(0);
|
|
461 ods.put("local", "num", num);
|
|
462 Increment nextCS = new RemoteIncrement();
|
|
463 <span style="color:red;">nextCS.receiver.setKey("remote", "num");</span>
|
|
464 }
|
|
465 }
|
|
466 </code></pre>
|
|
467 </section>
|
|
468 </div></div>
|
|
469
|
|
470 <div class="slide" id="25"><div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
471 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
472 <header>
|
18
|
473 <h1 id="treevnc">TreeVNC</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
474 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
475 <!-- _S9SLIDE_ -->
|
19
|
476 <img src="./images/treeVNC.svg" alt="opt" align="right"/>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
477 <ul>
|
18
|
478 <li>Aliceを用いて実装する実用的な分散プログラムの例題</li>
|
|
479 <li>当研究室で開発したノードを木構造に配置して負荷分散を行う授業向け画面共有システム</li>
|
19
|
480 <li>TightVNCがもとになっている</li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
481 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
482
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
483
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
484
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
485 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
486 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
487
|
22
|
488 <div class="slide" id="26"><div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
489 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
490 <header>
|
18
|
491 <h1 id="computation">Computation</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
492 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
493 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
494
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
495 <ul>
|
18
|
496 <li>Aliceでは、計算の本質的な処理をComputatin、Computationとは直接関係ないが別のレベルでそれを支える処理をMeta Computationとして分けて考える。</li>
|
|
497 <li>Alice の Computationは、keyによりDSを待ち合わせ、DSが揃ったCSを並列に実行する処理。</li>
|
|
498 <li>TreeVNC の Computationは、VNCサーバからデータを受け取って表示する処理。</li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
499 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
500
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
501
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
502
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
503 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
504 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
505
|
22
|
506 <div class="slide" id="27"><div>
|
14
|
507 <section>
|
|
508 <header>
|
18
|
509 <h1 id="meta-computation">Meta Computation</h1>
|
14
|
510 </header>
|
|
511 <!-- _S9SLIDE_ -->
|
|
512
|
|
513 <ul>
|
18
|
514 <li>通信の切断・再接続時の処理や分散トポロジーの構成、データの表現形式の選択など、Computationを支えている処理。</li>
|
|
515 <li>TreeVNCの場合、VNCサーバのデータを各VNCノードにコピーする処理。</li>
|
|
516 <li>Aliceの機能を追加するということは Meta Computation を追加すると言い換えられる</li>
|
14
|
517 </ul>
|
|
518
|
|
519
|
|
520
|
|
521 </section>
|
|
522 </div></div>
|
|
523
|
22
|
524 <div class="slide" id="28"><div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
525 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
526 <header>
|
18
|
527 <h1 id="treevncalicemeta-computation">TreeVNCで用いるAliceのMeta Computation</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
528 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
529 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
530
|
14
|
531 <ul>
|
18
|
532 <li>TreeTopologyの構成</li>
|
|
533 <li>ノード間通信の切断時・再接続時の処理</li>
|
|
534 <li>データの圧縮</li>
|
|
535 <li>子ノードへのデータの複製</li>
|
14
|
536 </ul>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
537
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
538
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
539
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
540 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
541 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
542
|
22
|
543 <div class="slide" id="29"><div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
544 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
545 <header>
|
18
|
546 <h1 id="dsmapi">データの転送 - DSMとAPIの追加</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
547 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
548 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
549
|
15
|
550 <ul>
|
18
|
551 <li>Local と Remote それぞれに圧縮表現を扱う Compressed DSM を追加。</li>
|
|
552 <li>指定する DSM を Compressed DSM に変えるだけで扱うデータ表現を変更できる<br />
|
|
553 put(String <strong>“compressed”</strong> + managerKey, String key, Object val)<br />
|
|
554 take(String <strong>“compressed”</strong> + managerKey, String key) </li>
|
15
|
555 </ul>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
556
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
557
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
558
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
559 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
560 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
561
|
22
|
562 <div class="slide" id="30"><div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
563 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
564 <header>
|
18
|
565 <h1 id="section-1">データの転送 - データ表現の自動生成</h1>
|
16
|
566 </header>
|
|
567 <!-- _S9SLIDE_ -->
|
|
568
|
18
|
569 <ul>
|
|
570 <li>DS が圧縮表現を持っていれはそれをそのまま子ノードにputする</li>
|
|
571 <li>持っていなければその時点でCompressed DSM内部で圧縮表現を生成してputする</li>
|
|
572 <li>DS はオブジェクト表現と圧縮表現を同時にもつため、TreeVNCでは受け取った画面データを伸長をした後、転送のために再圧縮することはない。</li>
|
|
573 </ul>
|
16
|
574
|
|
575
|
|
576
|
|
577 </section>
|
|
578 </div></div>
|
|
579
|
22
|
580 <div class="slide" id="31"><div>
|
16
|
581 <section>
|
|
582 <header>
|
18
|
583 <h1 id="section-2">データの受け取り - 任意の形式での取得</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
584 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
585 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
586
|
14
|
587 <ul>
|
18
|
588 <li>圧縮表現で画面データ受け取り、Compressed DSM 内に格納。</li>
|
|
589 <li>TightVNCが画面表示のためにデータを必要としたときに、 asClass() を用いて任意の形式でデータを取り出す。</li>
|
|
590 <li>asClass() は DS のcastメソッドであり、内部で伸長と MessagePack での変換を行う。</li>
|
14
|
591 </ul>
|
|
592
|
|
593
|
|
594
|
|
595 </section>
|
|
596 </div></div>
|
|
597
|
22
|
598 <div class="slide" id="32"><div>
|
14
|
599 <section>
|
|
600 <header>
|
18
|
601 <h1 id="alice">データの受け取り - Aliceの通信パケット変更</h1>
|
14
|
602 </header>
|
|
603 <!-- _S9SLIDE_ -->
|
|
604
|
18
|
605 <ul>
|
|
606 <li>通信ヘッダにデータの状態を表すフラグを追加したことで、受け取ったデータを適切な形式でDSM内に格納できる。</li>
|
|
607 <li>圧縮前と圧縮後のデータサイズを入れたことにより、受け取ったデータの適切な伸長が可能。</li>
|
|
608 <table style="border-collapse: collapse;border:1px solid #000000;">
|
19
|
609 <td style="border:1px solid #000000;padding:5px;"> serialized </td>
|
|
610 <td style="border:1px solid #000000;padding:5px;">データ本体のシリアライズ状態を示す</td>
|
18
|
611
|
|
612 <tr>
|
19
|
613 <td style="border:1px solid #000000;padding:5px;"> compressed </td>
|
|
614 <td style="border:1px solid #000000;padding:5px;">データ本体の圧縮状態を示す</td>
|
18
|
615 </tr>
|
|
616 <tr>
|
19
|
617 <td style="border:1px solid #000000;padding:5px;"> objectDataSize </td>
|
|
618 <td style="border:1px solid #000000;padding:5px;">圧縮前のオブジェクトのデータサイズを表す</td>
|
18
|
619 </tr>
|
|
620 <tr>
|
19
|
621 <td style="border:1px solid #000000;padding:5px;"> dataSize </td>
|
|
622 <td style="border:1px solid #000000;padding:5px;">送信するDSのデータサイズを表す</td>
|
18
|
623 </tr>
|
|
624 </table>
|
19
|
625 </ul>
|
14
|
626
|
|
627
|
|
628 </section>
|
|
629 </div></div>
|
|
630
|
22
|
631 <div class="slide" id="33"><div>
|
14
|
632 <section>
|
|
633 <header>
|
18
|
634 <h1 id="alice1---erlang">Aliceと他言語等との比較(1) - Erlang</h1>
|
14
|
635 </header>
|
|
636 <!-- _S9SLIDE_ -->
|
|
637
|
18
|
638 <ul>
|
22
|
639 <li> タスクをプロセスと呼ばれるメモリを共有しないスレッドに分割 </li>
|
|
640 <li> 共有メモリにアクセスするためのメモリロックの仕組みを必要としない </li>
|
|
641 <li>ネットワークに依存しない通信が可能</li><!--Erlangはフォールトレランスと呼ばれる障害耐性を備え、システムを稼働させたまま部分停止・修復ができる-->
|
20
|
642
|
|
643 </br>
|
|
644 <li><p>Topologyの構成等は自分で管理</p></li>
|
18
|
645 </ul>
|
14
|
646
|
|
647
|
|
648
|
|
649 </section>
|
|
650 </div></div>
|
|
651
|
22
|
652 <div class="slide" id="34"><div>
|
14
|
653 <section>
|
|
654 <header>
|
22
|
655 <h1 id="alice1---linda">Aliceと他言語等との比較(2) - Linda</h1>
|
14
|
656 </header>
|
|
657 <!-- _S9SLIDE_ -->
|
|
658
|
|
659 <ul>
|
20
|
660 <li>idでタプルというデータの集合を管理している</li>
|
18
|
661 <li>
|
|
662 <p>in/outでAliceのput/takeに対応する操作を行う</p>
|
14
|
663 </li>
|
18
|
664 <li>タスクはinで単一のタプルを待つ</li>
|
|
665 <li>MetaComputationがない</li>
|
14
|
666 </ul>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
667
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
668
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
669
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
670 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
671 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
672
|
22
|
673 <div class="slide" id="35"><div>
|
14
|
674 <section>
|
|
675 <header>
|
23
|
676 <h1 id="alice1---corba">Aliceと他言語等との比較(3) - CORBA</h1>
|
14
|
677 </header>
|
|
678 <!-- _S9SLIDE_ -->
|
|
679
|
18
|
680 <ul>
|
|
681 <li>
|
22
|
682 <p>オブジェクト間のRPC仕様</p>
|
18
|
683 </li>
|
|
684 <li>DSがない。keyという概念がない。</li>
|
23
|
685 <li>データの待ち合わせがない</li>
|
14
|
686 </ul>
|
|
687
|
|
688
|
|
689
|
|
690 </section>
|
|
691 </div></div>
|
|
692
|
22
|
693 <div class="slide" id="36"><div>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
694 <section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
695 <header>
|
22
|
696 <h1 id="alice1---http">Aliceと他言語等との比較(4) - HTTP</h1>
|
14
|
697 </header>
|
|
698 <!-- _S9SLIDE_ -->
|
|
699
|
18
|
700 <ul>
|
23
|
701 <li>get/putで通信を行うRESTfulアーキテクチャ</li>
|
18
|
702 <li>
|
|
703 <p>URLがデータベースのkeyとなる</p>
|
|
704 </li>
|
|
705 <li>MIME形式で送信。複数の表現を持つMeta Computationがない。 </li>
|
|
706 <li>セッション管理はクライアント自身がやる </li>
|
|
707 <li>並列処理できない </li>
|
|
708 </ul>
|
14
|
709
|
|
710
|
|
711
|
|
712 </section>
|
|
713 </div></div>
|
|
714
|
22
|
715 <div class="slide" id="37"><div>
|
14
|
716 <section>
|
|
717 <header>
|
18
|
718 <h1 id="treevncalicetreevnc">TreeVNCとAliceを用いたTreeVNCの比較</h1>
|
14
|
719 </header>
|
|
720 <!-- _S9SLIDE_ -->
|
|
721
|
15
|
722 <ul>
|
18
|
723 <li>
|
|
724 <p>TreeVNC<br />
|
|
725 通信プロトコルを定義や圧縮を自前で行う<br />
|
|
726 通信スレッドを複数作成<br />
|
|
727 様々な部分で通信APIを呼び出す </p>
|
|
728 </li>
|
|
729 <li>
|
|
730 <p>Aliceを用いたTreeVNC<br />
|
|
731 Aliceと接続する最小限の変更<br />
|
|
732 木の構成部分や圧縮形式での通信はMeta Computation </p>
|
|
733 </li>
|
15
|
734 </ul>
|
14
|
735
|
|
736
|
|
737
|
|
738 </section>
|
|
739 </div></div>
|
|
740
|
22
|
741 <div class="slide" id="38"><div>
|
14
|
742 <section>
|
|
743 <header>
|
18
|
744 <h1 id="treevncalicetreevnc-1">TreeVNCとAliceを用いたTreeVNCの比較</h1>
|
14
|
745 </header>
|
|
746 <!-- _S9SLIDE_ -->
|
|
747
|
15
|
748 <ul>
|
18
|
749 <li>TightVNCからのコードの増加量</li>
|
|
750 <li>Aliceを用いれば通常の TreeVNC の 20% の行数で記述できる。</li>
|
15
|
751 </ul>
|
14
|
752
|
18
|
753 <table style="border-collapse: collapse;border:1px solid #000000;">
|
|
754 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;"></th>
|
|
755 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;"> 行数 </th>
|
|
756 <th style="border:1px solid #000000;padding:5px 15px 5px 15px;">単語数</th>
|
|
757 <tr>
|
|
758 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;"> TreeVNC </td>
|
|
759 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">5049</td>
|
|
760 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">14191</td>
|
|
761 </tr>
|
|
762 <tr>
|
|
763 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;"> Aliceを用いたTreeVNC </td>
|
|
764 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">989</td>
|
|
765 <td style="border:1px solid #000000;padding:5px 15px 5px 15px;">2355</td>
|
|
766 </tr>
|
|
767 </table>
|
|
768
|
14
|
769
|
|
770
|
|
771 </section>
|
|
772 </div></div>
|
|
773
|
22
|
774 <div class="slide" id="39"><div>
|
14
|
775 <section>
|
|
776 <header>
|
18
|
777 <h1 id="section-3">まとめ</h1>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
778 </header>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
779 <!-- _S9SLIDE_ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
780
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
781 <ul>
|
18
|
782 <li>Alice が実用的なアプリケーションを記述するための Meta Computation として、データに多態性を持たせ、指定するDSMによってデータ表現を変える機能を実装した。</li>
|
14
|
783 <li>これによりユーザが記述する Computation 部分を大きく変えずに自由度の高い通信を行うことが可能になった。</li>
|
|
784 <li>同様の手法により、暗号形式・JSON 形式など複数のデータ表現を扱えるように拡張できる。</li>
|
18
|
785 <li>今後の課題としては、圧縮機能を TreeVNC で用 いることで有効性を測る必要がある。</li>
|
13
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
786 </ul>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
787 <!-- === end markdown block === -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
788
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
789 </section>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
790 </div></div>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
791
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
792
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
793 <script src="scripts/script.js"></script>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
794 <!-- Copyright © 2010–2011 Vadim Makeev, http://pepelsbey.net/ -->
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
795 </body>
|
Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
796 </html>
|