Mercurial > hg > Papers > 2015 > kkb-sigos

comparison presen/index.html @ 20:bb2bf03f09b4 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add graffle files
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Thu, 04 Feb 2016 17:28:04 +0900
parents 40686d8028c5
children
comparison
equal deleted inserted replaced
19:40686d8028c5 20:bb2bf03f09b4
33 <h1 id="gears-os-">Gears OS の並列性</h1> 33 <h1 id="gears-os-">Gears OS の並列性</h1>
34 </header> 34 </header>
35 <!-- === begin markdown block === 35 <!-- === begin markdown block ===
36 36
37 generated by markdown 1.1.1 on Ruby 2.0.0 (2013-02-24) [x86_64-darwin12.3.0] 37 generated by markdown 1.1.1 on Ruby 2.0.0 (2013-02-24) [x86_64-darwin12.3.0]
38 on 2015-05-26 03:46:41 +0900 with Markdown engine kramdown (1.4.0) 38 on 2015-05-26 17:03:53 +0900 with Markdown engine kramdown (1.4.0)
39 using options {} 39 using options {}
40 --> 40 -->
41 41
42 <!-- _S9SLIDE_ --> 42 <!-- _S9SLIDE_ -->
43 43
291 <header> 291 <header>
292 <h1 id="context">Context</h1> 292 <h1 id="context">Context</h1>
293 </header> 293 </header>
294 <!-- _S9SLIDE_ --> 294 <!-- _S9SLIDE_ -->
295 295
296 <img src="pictures/GearsOS_arch.svg" alt="arch" width="50%" align="right"/>
296 <p>実行に必要な情報をまとめた Context を生成</p> 297 <p>実行に必要な情報をまとめた Context を生成</p>
297 298
298 <p>　OS の Process, Thread に相当</p> 299 <p>　OS の Process, Thread に相当</p>
299 300
300 <p>　メタレベル</p> 301 <p>　メタレベル</p>
305 306
306 <p>Code Gear が参照する Data Gear へのポインタ</p> 307 <p>Code Gear が参照する Data Gear へのポインタ</p>
307 308
308 <p>Data Gear に格納される Data Type の情報</p> 309 <p>Data Gear に格納される Data Type の情報</p>
309 310
310 <p><img src="pictures/GearsOS_arch.svg" alt="arch" style="width: 50%" /></p>
311 311
312 312
313 313
314 </section> 314 </section>
315 </div></div> 315 </div></div>
512 </header> 512 </header>
513 <!-- _S9SLIDE_ --> 513 <!-- _S9SLIDE_ -->
514 514
515 <pre><code>// Code Gear 515 <pre><code>// Code Gear
516 __code code1(Allocate allocate) { 516 __code code1(Allocate allocate) {
517 allocate.size = sizeof(long); 517 allocate.size = sizeof(struct Node);
518 allocate.next = Code2; 518 allocate.next = Code2;
519 goto Allocate(allocate); // goes through meta 519 goto Allocate(allocate); // goes through meta
520 } 520 }
521 </code></pre> 521 </code></pre>
522 522
564 <header> 564 <header>
565 <h1 id="section-2">今後の課題</h1> 565 <h1 id="section-2">今後の課題</h1>
566 </header> 566 </header>
567 <!-- _S9SLIDE_ --> 567 <!-- _S9SLIDE_ -->
568 568
569 <p>必要な機能の実装</p>
570
571 <p>　Synchronized Queue</p>
572
573
569 <p>Cerium と同様の例題を動かし比較・評価</p> 574 <p>Cerium と同様の例題を動かし比較・評価</p>
570 575
571 <p>　Sort</p> 576 <p>　Sort</p>
572 577
573 <p>　Word Count</p> 578 <p>　Word Count</p>
592 597
593 <p>Gear という単位を用いて記述することでプログラムを柔軟に変更することを可能とした</p> 598 <p>Gear という単位を用いて記述することでプログラムを柔軟に変更することを可能とした</p>
594 599
595 <p>Meta Code/Data Gear を用いて Meta Computation を実現する</p> 600 <p>Meta Code/Data Gear を用いて Meta Computation を実現する</p>
596 601
597 <p>Meta Computation の一つとして Model Checking を行う</p>
598 <!-- === end markdown block === --> 602 <!-- === end markdown block === -->
599 603
600 </section> 604 </section>
601 </div></div> 605 </div></div>
602 606