Mercurial > hg > Papers > 2018 > tobaru-sigos

comparison Slide/prosym.html @ 7:dfa8973bfe10

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add images
author tobaru
date Sun, 20 May 2018 21:12:40 +0900
parents 07b7aba92874
children f275411f458d
comparison
equal deleted inserted replaced
6:94494b3cd38b 7:dfa8973bfe10
84 84
85 <div class='slide '> 85 <div class='slide '>
86 <!-- === begin markdown block === 86 <!-- === begin markdown block ===
87 87
88 generated by markdown/1.2.0 on Ruby 2.4.1 (2017-03-22) [x86_64-darwin15] 88 generated by markdown/1.2.0 on Ruby 2.4.1 (2017-03-22) [x86_64-darwin15]
89 on 2018-05-20 17:18:27 +0900 with Markdown engine kramdown (1.13.2) 89 on 2018-05-20 21:11:28 +0900 with Markdown engine kramdown (1.13.2)
90 using options {} 90 using options {}
91 --> 91 -->
92 92
93 <!-- _S9SLIDE_ --> 93 <!-- _S9SLIDE_ -->
94 <h1 id="gears-os">Gears OS</h1> 94 <h2 id="gears-os">Gears OS</h2>
95 <ul> 95 <ul>
96 <li>現代のOS では拡張性と信頼性を両立させることが要求されている。 96 <li>現代のOS では拡張性と信頼性を両立させることが要求されている。
97 <ul> 97 <ul>
98 <li>時代と共にハードウェア、サービスが進歩していき、その度に OS を検証できる必要があるため、拡張性が必要。</li> 98 <li>時代と共にハードウェア、サービスが進歩していき、その度に OS を検証できる必要があるため、拡張性が必要。</li>
99 <li>OS は非決定的な実行を持ち、従来の OS ではテストしきれない部分が残ってしまうため、信頼性が欠けてしまう。</li> 99 <li>OS は非決定的な実行を持ち、従来の OS ではテストしきれない部分が残ってしまうため、信頼性が欠けてしまう。</li>
104 104
105 105
106 </div> 106 </div>
107 <div class='slide '> 107 <div class='slide '>
108 <!-- _S9SLIDE_ --> 108 <!-- _S9SLIDE_ -->
109 <h1 id="api-">API と実装の分離</h1> 109 <h2 id="api-">API と実装の分離</h2>
110 <ul> 110 <ul>
111 <li>Gears OS は Continuation based C(以下、CbC)によって記述されている。</li> 111 <li>Gears OS は Continuation based C(以下、CbC)によって記述されている。</li>
112 <li>CbC は Code Gear と Data Gear の単位でプログラムを記述していて、システムやアプリケーションを作る際に、この2つは柔軟に再利用する必要がある。</li> 112 <li>CbC は Code Gear と Data Gear の単位でプログラムを記述していて、システムやアプリケーションを作る際に、この2つは柔軟に再利用する必要がある。</li>
113 <li>この時に、機能を接続する API と実装の分離が可能であることが望ましい。</li> 113 <li>この時に、機能を接続する API と実装の分離が可能であることが望ましい。</li>
114 </ul> 114 </ul>
115 115
116 116
117 </div> 117 </div>
118 <div class='slide '> 118 <div class='slide '>
119 <!-- _S9SLIDE_ --> 119 <!-- _S9SLIDE_ -->
120 <h1 id="api">並列API</h1> 120 <h2 id="gears-os-interface">Gears OS での形式化とInterfaceの導入</h2>
121 <ul>
122 <li>形式化とは仕様、実装、実行を Logic で記述する事である。</li>
123 <li>Gears OS では、継続を使った関数型プログラムとして実装を記述する</li>
124 <li>Logic としては、依存型関数言語である Agda を使う(前の発表)</li>
125 <li>証明とモデル検査を使って、信頼性を確保する</li>
126 </ul>
127
128
129 </div>
130 <div class='slide '>
131 <!-- _S9SLIDE_ -->
132 <h2 id="gears-os--interface">Gears OS の Interface</h2>
133 <ul>
134 <li>この時、Code Gear と Deta Gear は Interface と呼ばれるまとまり(モジュール)で記述される。</li>
135 <li>Interface 作成時に Code Gear の集合を指定することにより複数の実装を持つことができる。</li>
136 <li>Interface は Data Gear で記述されて、Meta Deta Gear と呼ばれる。</li>
137 <li>Java などの Class に相当する。</li>
138 <li>Interface を外から呼び出すための Code Gear 群の型</li>
139 <li>Interface を呼び出す時に必要となる引数を全て格納する Data Gear</li>
140 <li>実装に使う Code Gear の番号が含まれている。</li>
141 <li>Code Gear の番号を変更することによって異なる実装を実現できる</li>
142 </ul>
143
144
145 </div>
146 <div class='slide '>
147 <!-- _S9SLIDE_ -->
148 <h2 id="api">並列API</h2>
121 <ul> 149 <ul>
122 <li>Geas OS 信頼性を保証するために、形式化されたモジュールシステムが必要である。</li> 150 <li>Geas OS 信頼性を保証するために、形式化されたモジュールシステムが必要である。</li>
123 <li>本研究では、モジュールシステムとその応用である並列APIについて考察する。</li> 151 <li>本研究では、モジュールシステムとその応用である並列APIについて考察する。</li>
124 <li>並列APIは継続を基本とした関数型プログラミングと両立する必要があり、ここでは CbC の goto 文を拡張した par goto を導入する。</li> 152 <li>並列APIは継続を基本とした関数型プログラミングと両立する必要があり、ここでは CbC の goto 文を拡張した par goto を導入する。</li>
125 </ul> 153 </ul>
126 154
127 155
128 </div> 156 </div>
129 <div class='slide '> 157 <div class='slide '>
130 <!-- _S9SLIDE_ --> 158 <!-- _S9SLIDE_ -->
131 <h1 id="section">スライドの流れ</h1> 159 <h2 id="section">スライドの流れ</h2>
132 <ul> 160 <ul>
161 <li>Interface</li>
133 <li> 162 <li>
134 <font color="red">CbC</font> 163 <font color="red">CbC</font>
135 </li> 164 </li>
136 <li>Gears OS における並列実行</li> 165 <li>Gears OS における並列実行</li>
137 <li>比較</li> 166 <li>比較</li>
140 169
141 170
142 </div> 171 </div>
143 <div class='slide '> 172 <div class='slide '>
144 <!-- _S9SLIDE_ --> 173 <!-- _S9SLIDE_ -->
145 <h1 id="cbc">CbC</h1> 174 <h2 id="cbc">CbC</h2>
146 <ul> 175 <ul>
147 <li>ノーマルレベルとメタレベルの計算を1つの言語で表現できる言語として、本研究室で設計した CbC を用いる。</li> 176 <li>ノーマルレベルとメタレベルの計算を1つの言語で表現できる言語として、本研究室で設計した CbC を用いる。</li>
148 <li>ノーマルレベルの計算 177 <li>ノーマルレベルの計算
149 <ul> 178 <ul>
150 <li>コンピュータの計算はプログラミング言語で行われる。</li> 179 <li>コンピュータの計算はプログラミング言語で行われる。</li>
154 <li>メタレベルの計算 183 <li>メタレベルの計算
155 <ul> 184 <ul>
156 <li>コードが実行される際の以下の部分が、メタレベルの計算という。 185 <li>コードが実行される際の以下の部分が、メタレベルの計算という。
157 <ul> 186 <ul>
158 <li>処理系の詳細や使用する資源</li> 187 <li>処理系の詳細や使用する資源</li>
159 <li>コードの仕様や型などの言語以外の部分</li> 188 <li>コードの仕様や型などの部分</li>
160 </ul> 189 </ul>
161 </li> 190 </li>
162 </ul> 191 </ul>
163 </li> 192 </li>
164 </ul> 193 </ul>
165 194
166 195
167 </div> 196 </div>
168 <div class='slide '> 197 <div class='slide '>
169 <!-- _S9SLIDE_ --> 198 <!-- _S9SLIDE_ -->
170 <h1 id="cbc-1">CbC</h1> 199 <h2 id="cbc-1">CbC</h2>
171 <ul> 200 <ul>
172 <li>CbC を用いることで、ノーマルレベルの計算の信頼性をメタレベルから保証できるようになる。</li> 201 <li>CbC を用いることで、ノーマルレベルの計算の信頼性をメタレベルから保証できるようになる。</li>
173 <li>CbC を用いてCode Gear と Data Gear、メタ構造を導入する。</li> 202 <li>CbC を用いてCode Gear と Data Gear を導入する。</li>
174 </ul> 203 </ul>
175 204
176 205
177 </div> 206 </div>
178 <div class='slide '> 207 <div class='slide '>
179 <!-- _S9SLIDE_ --> 208 <!-- _S9SLIDE_ -->
180 <h1 id="cbc-">CbC の構文</h1> 209 <h2 id="cbc-">CbC の構文</h2>
181 <ul lang="c"> 210 <ul lang="c">
182 <li>CbC の Code Gear は __code という型を持つ関数として記述する。</li> 211 <li>CbC の Code Gear は __code という型を持つ関数として記述する。</li>
183 <li>継続で次の Code Gear に遷移するので、戻り値は持たない。</li> 212 <li>継続で次の Code Gear に遷移するので、戻り値は持たない。</li>
184 <li>遷移は goto 文による継続で処理を行い、引数として入出力を行う。</li> 213 <li>遷移は goto 文による継続で処理を行い、引数として入出力を行う。</li>
185 </ul> 214 </ul>
188 } 217 }
189 __code cg1(int c) { 218 __code cg1(int c) {
190 goto cg2(c); 219 goto cg2(c);
191 } 220 }
192 </code></pre> 221 </code></pre>
193 222 <ul>
194 223 <li>CbC の記述だけでは並列実行にならない</li>
195 </div> 224 </ul>
196 <div class='slide '> 225
197 <!-- _S9SLIDE_ --> 226
198 <h1 id="section-1">スライドの流れ</h1> 227 </div>
228 <div class='slide '>
229 <!-- _S9SLIDE_ -->
230 <h2 id="section-1">スライドの流れ</h2>
199 <ul> 231 <ul>
200 <li>CbC</li> 232 <li>CbC</li>
201 <li> 233 <li>
202 <font color="red">Gears OS における並列実行</font> 234 <font color="red">Gears OS における並列実行</font>
203 </li> 235 </li>
207 239
208 240
209 </div> 241 </div>
210 <div class='slide '> 242 <div class='slide '>
211 <!-- _S9SLIDE_ --> 243 <!-- _S9SLIDE_ -->
212 <h1 id="gears-">Gears における並列実行</h1> 244 <h2 id="gears-">Gears における並列実行</h2>
213 <ul> 245 <ul>
214 <li>Gears OS ではメタ計算を柔軟に記述するためのプログラミングの単位として Code Gear と Data Gear を用いる。</li> 246 <li>Gears OS ではメタ計算を柔軟に記述するためのプログラミングの単位として Code Gear と Data Gear を用いる。</li>
215 <li>それぞれにメタレベルの単位が存在し、Meta Data Gear と Meta Code Gear と呼ぶ。</li> 247 <li>それぞれにメタレベルの単位が存在し、Meta Data Gear と Meta Code Gear と呼ぶ。</li>
216 <li>メタレベルの計算は Perl スクリプトによって生成され、Code Gear で記述される。</li> 248 <li>メタレベルの計算は Perl スクリプトによって生成され、Code Gear で記述される。</li>
217 </ul> 249 </ul>
218 250 <div style="text-align: center;">
219 251 <img src="./image/meta_cg_dg.svg" alt="Gears OS の構造" width="700" />
220 </div> 252 </div>
221 <div class='slide '> 253
222 <!-- _S9SLIDE_ --> 254
223 <h1 id="interface">Interface</h1> 255 </div>
224 <ul> 256 <div class='slide '>
225 <li>この時、Code Gear と Deta Gear は Interface と呼ばれるまとまり(モジュール)で記述される。</li> 257 <!-- _S9SLIDE_ -->
226 <li>Interface 作成時に Code Gear の集合を指定することにより複数の実装を持つことができる。</li> 258 <h2 id="gears-os-">Gears OS の構造</h2>
227 </ul> 259 <div style="text-align: center;">
228 260 <img src="./image/gearsos.svg" alt="Gears OS の構造" width="700" />
229 261 </div>
230 </div> 262
231 <div class='slide '> 263
232 <!-- _S9SLIDE_ --> 264 </div>
233 <h1 id="context">Context</h1> 265 <div class='slide '>
266 <!-- _S9SLIDE_ -->
267 <h2 id="context">Context</h2>
234 <ul> 268 <ul>
235 <li>1つのスレッド内で使われる Interface の Code Gear と Data Gear は Meta Data Gear に格納される。</li> 269 <li>1つのスレッド内で使われる Interface の Code Gear と Data Gear は Meta Data Gear に格納される。</li>
236 <li>この Meta Data Gear を Context と呼ぶ。</li> 270 <li>この Meta Data Gear を Context と呼ぶ。</li>
237 <li>Context を複製して複数の CPU に割り当てることにより並列実行が可能になる。</li> 271 <li>Context を複製して複数の CPU に割り当てることにより並列実行が可能になる。</li>
238 </ul> 272 <li>Context は Task でもある。</li>
239 273 <li>Task は実行する Code Gear と Data Gear を全て持っている。</li>
240 274 </ul>
241 </div> 275
242 <div class='slide '> 276
243 <!-- _S9SLIDE_ --> 277 </div>
244 <h1 id="par-goto">par goto</h1> 278 <div class='slide '>
279 <!-- _S9SLIDE_ -->
280 <h2 id="par-goto">par goto</h2>
245 <ul> 281 <ul>
246 <li>Context の複製には par goto を用いる。</li> 282 <li>Context の複製には par goto を用いる。</li>
247 <li>他に、入力の同期、タスクスケジューラへの Context の登録が行われる。</li> 283 <li>他に、入力の同期、タスクスケジューラへの Context の登録が行われる。</li>
248 </ul> 284 </ul>
249 285
250 286
251 </div> 287 </div>
252 <div class='slide '> 288 <div class='slide '>
253 <!-- _S9SLIDE_ --> 289 <!-- _S9SLIDE_ -->
254 <h1 id="task">Task</h1> 290 <h2 id="code-gear--code-gear-">1つの Code Gear の実行は他の Code Gear に割り込まれない</h2>
255 <ul> 291 <ul>
256 <li>Context は Task でもある。</li> 292 <li>共有された Data Gear があった時に、それに対する変更はただ1つの Code Gear だけが許される</li>
257 <li>実行する Code Gear と Data Gear を全て持っている。</li> 293 <li>読み込みは複数であってもいい</li>
258 </ul> 294 <li>Agda 側で、並列実行を Code Gear の順次実行としてシミュレーションするため</li>
259 295 <li>このような実行になるように Gears OS の実装を行う</li>
260 296 </ul>
261 </div> 297
262 <div class='slide '> 298
263 <!-- _S9SLIDE_ --> 299 </div>
264 <h1 id="exit">__exit</h1> 300 <div class='slide '>
301 <!-- _S9SLIDE_ -->
302 <h2 id="exit">__exit</h2>
265 <ul lang="c"> 303 <ul lang="c">
266 <li>par goto で生成された Task は __exit に継続することで終了する。</li> 304 <li>複数実行した時に、共有 Data Gear に書き込みを成功したかを確認する(commit)</li>
267 <li>GearsOS の Task は Output Data Gear を生成した時点で終了する。</li> 305 <li>par goto で生成された Task は __exit に継続することで終了する</li>
306 <li>GearsOS の Task は Output Data Gear を生成した時点で終了する</li>
268 <li>そのため、par goto では直接 __exit に継続せず、Output Data Gear への書き出し処理に継続される。</li> 307 <li>そのため、par goto では直接 __exit に継続せず、Output Data Gear への書き出し処理に継続される。</li>
269 <li>Code Gear と Data Gear の依存関係をノーマルレベルで記述できるようになる。</li> 308 <li>Code Gear と Data Gear の依存関係をノーマルレベルで記述できるようになる。</li>
270 </ul> 309 </ul>
271 <pre><code>__code code1(Integer *integer1, Integer * integer2, Integer *output) { 310 <pre><code>__code code1(Integer *integer1, Integer * integer2, Integer *output) {
272 par goto add(integer1, integer2, output, __exit); 311 par goto add(integer1, integer2, output, __exit);
276 315
277 316
278 </div> 317 </div>
279 <div class='slide '> 318 <div class='slide '>
280 <!-- _S9SLIDE_ --> 319 <!-- _S9SLIDE_ -->
281 <h1 id="section-2">スライドの流れ</h1> 320 <h2 id="section-2">スライドの流れ</h2>
282 <ul> 321 <ul>
283 <li>CbC</li> 322 <li>CbC</li>
284 <li>Gears OS における並列実行</li> 323 <li>Gears OS における並列実行</li>
285 <li> 324 <li>
286 <font color="red">比較</font> 325 <font color="red">比較</font>
290 329
291 330
292 </div> 331 </div>
293 <div class='slide '> 332 <div class='slide '>
294 <!-- _S9SLIDE_ --> 333 <!-- _S9SLIDE_ -->
295 <h1 id="gears-os-">Gears OS の評価</h1> 334 <h2 id="gears-os--1">Gears OS の評価(目的)</h2>
335 <ul>
336 <li>並列構文とそれを実現する Meta Compitation が十分に揃っているかを確認したい</li>
337 <li>並列処理の台数効果を確認する</li>
338 <li>既存の並列言語と比較して不要なオーバーヘッドがあるか調べたい</li>
339 </ul>
340
341
342 </div>
343 <div class='slide '>
344 <!-- _S9SLIDE_ -->
345 <h2 id="gears-os--2">Gears OS の評価(環境)</h2>
296 <ul> 346 <ul>
297 <li>CPU、GPU環境で Gears OS の測定を行う。</li> 347 <li>CPU、GPU環境で Gears OS の測定を行う。</li>
298 <li>使用した環境は次のようになる。 348 <li>使用した環境は次のようになる。
299 <ul> 349 <ul>
300 <li>CPU 環境 350 <li>CPU 環境
318 368
319 369
320 </div> 370 </div>
321 <div class='slide '> 371 <div class='slide '>
322 <!-- _S9SLIDE_ --> 372 <!-- _S9SLIDE_ -->
323 <h1 id="twice">Twice</h1> 373 <h2 id="twice">Twice</h2>
324 <ul> 374 <ul>
325 <li>評価には与えられた整数配列の全ての要素を2倍にする例題である Twice を使う。</li> 375 <li>評価には与えられた整数配列の全ての要素を2倍にする例題である Twice を使う。</li>
326 <li>Twice では 通信時間を考慮しなければ、CPU より コア数の多い GPU が有利となる。</li> 376 <li>Twice では 通信時間を考慮しなければ、CPU より コア数の多い GPU が有利となる。</li>
327 <li>要素数2^27のデータに対する Twice の実行結果を示す。 377 <li>要素数2^27のデータに対する Twice の実行結果を示す。
328 <ul> 378 <ul>
375 425
376 426
377 </div> 427 </div>
378 <div class='slide '> 428 <div class='slide '>
379 <!-- _S9SLIDE_ --> 429 <!-- _S9SLIDE_ -->
380 <h1 id="section-3">評価の考察</h1> 430 <h2 id="section-3">評価の考察</h2>
381 <ul> 431 <ul>
382 <li>コア数が上がるごとに、処理速度が上がっている。</li> 432 <li>コア数が上がるごとに、処理速度が上がっている。</li>
383 <li>GPUでの実行は 32CPU に比べて約7.2倍の速度向上が見られた。</li> 433 <li>GPUでの実行は 32CPU に比べて約7.2倍の速度向上が見られた。</li>
384 <li>通信速度を含めると 16CPU より遅い。</li> 434 <li>通信速度を含めると 16CPU より遅い。</li>
385 </ul> 435 </ul>
386 436
387 437
388 </div> 438 </div>
389 <div class='slide '> 439 <div class='slide '>
390 <!-- _S9SLIDE_ --> 440 <!-- _S9SLIDE_ -->
391 <h1 id="go-">Go 言語との比較</h1> 441 <h2 id="go-">Go 言語との比較</h2>
392 <ul> 442 <ul>
393 <li>Go 言語でも Twice を用いた検証を行い、Gears OS との速度比較を行なった。</li> 443 <li>Go 言語でも Twice を用いた検証を行い、Gears OS との速度比較を行なった。</li>
394 <li>1CPU と 32CPU では約4.33倍の速度向上が見られた。</li> 444 <li>1CPU と 32CPU では約4.33倍の速度向上が見られた。</li>
395 <li>CPU数による速度向上は、Gears OS の方が上だが、処理速度では Go言語の方が速い結果となった。</li> 445 <li>CPU数による速度向上は、Gears OS の方が上だが、処理速度では Go言語の方が速い結果となった。</li>
396 </ul> 446 </ul>
397 <div style="text-align: center;"> 447 <div style="text-align: center;">
398 <img src="./image/vsgo.svg" alt="message" width="500" /> 448 <img src="./image/vsgo.svg" alt="Goとの比較" width="500" />
399 </div> 449 </div>
400 450
401 451
402 </div> 452 </div>
403 <div class='slide '> 453 <div class='slide '>
404 <!-- _S9SLIDE_ --> 454 <!-- _S9SLIDE_ -->
405 <h1 id="section-4">スライドの流れ</h1> 455 <h2 id="section-4">スライドの流れ</h2>
406 <ul> 456 <ul>
407 <li>CbC</li> 457 <li>CbC</li>
408 <li>Gears OS における並列実行</li> 458 <li>Gears OS における並列実行</li>
409 <li>比較</li> 459 <li>比較</li>
410 <li> 460 <li>
414 464
415 465
416 </div> 466 </div>
417 <div class='slide '> 467 <div class='slide '>
418 <!-- _S9SLIDE_ --> 468 <!-- _S9SLIDE_ -->
419 <h1 id="section-5">今後の課題</h1> 469 <h2 id="section-5">今後の課題</h2>
420 <ul> 470 <ul>
421 <li>Go 言語との比較から 1CPU での動作が遅いことがわかった。</li> 471 <li>Go 言語との比較から 1CPU での動作が遅いことがわかった。</li>
422 <li>par goto 文を使用することで、Contextを生成し、並列処理を行う。</li> 472 <li>par goto 文を使用することで、Contextを生成し、並列処理を行う。</li>
423 <li>しかし、Context はメモリ空間の確保や使用する全ての Code Gear Data Gear の設定をする必要があり、生成に時間がかかってしまう事が原因。</li> 473 <li>しかし、Context はメモリ空間の確保や使用する全ての Code Gear Data Gear の設定をする必要があり、生成に時間がかかってしまう事が原因。</li>
424 <li>処理が軽い場合は Context を生成しないようなチューニングが必要である。</li> 474 <li>処理が軽い場合は Context を生成しないようなチューニングが必要である。</li>