Papers/2016/parusu-sigos: presen/sigos.html comparison

comparison presen/sigos.html @ 19:a2a9d91db377

Update

author	Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date	Mon, 30 May 2016 23:48:31 +0900
parents	4c465c6fe2cc
children	cd38e09f980b

comparison

equal deleted inserted replaced

-:4c465c6fe2cc
+:a2a9d91db377
 <div class='slide '>
 <!-- === begin markdown block ===
 generated by markdown/1.2.0 on Ruby 2.3.1 (2016-04-26) [x86_64-darwin15]
-on 2016-05-30 01:57:52 +0900 with Markdown engine kramdown (1.11.1)
+on 2016-05-30 23:46:39 +0900 with Markdown engine kramdown (1.11.1)
 using options {}
 -->
 <!-- _S9SLIDE_ -->
 <h2 id="gears-os">Gears OS</h2>
 </div>
 <div class='slide '>
 <!-- _S9SLIDE_ -->
 <h2 id="code-gear-data-gear">Code Gear、 Data Gear</h2>
 <ul>
+<li>Gears OS は Code Gear、 Data Gear という Gear で構成される</li>
 <li>Code Gear はプログラムの処理そのものを表す</li>
 <li>Data Gear は int や 文字列などの Data そのものを表す</li>
 <li>Code Gear は必要な Input Data Gear が揃ったら実行し、 Output Data Gear を生成する</li>
 <li>Code Gear と Input / Output Data Gear の対応から依存関係を解決し、 Code Gear の並列実行を行う</li>
 </ul>
 <div class='slide '>
 <!-- _S9SLIDE_ -->
 <h2 id="cbc--gears-os--1">CbC の Gears OS サポート</h2>
 <ul>
 <li>実際は code1 から code2 への継続の間には Meta Code Gear である meta_code1 が実行される</li>
-<li>しかし、通常は Meta Level の継続をプログラマーは意識する必要はない</li>
+<li>通常は Meta Level の継続をプログラマーは意識する必要はない</li>
 <li>そこで、CbC は Code Gear 間の接続に自動的に Meta Code Gear を挟むというサポートを行う</li>
 <li>CbC のサポートを行うとこのコードのように展開される</li>
 <li>メタレベルのサポートの際は <strong>context</strong> という Meta Data Gear を使用する</li>
 </ul>
 goto (context-&gt;code[next])(context);
 }
 __code code2(struct Context* context, struct Array* array) {
 ...
-}
-__code code2_stub(struct Context* context) {
-goto code1(context, &amp;context-&gt;data[Node]-&gt;node.value-&gt;array);
 }
 </code></pre>
 </div>
 </div>
 <div class='slide '>
 <!-- _S9SLIDE_ -->
-<h2 id="gears-os--3">Gears OS の構成</h2>
+<h2 id="gears-os--3">Gears OS 構成</h2>
 <ul>
 <li>Context
 <ul>
 <li>Thread 毎にContext を持っており、 TaskQueue と Persistent Data Tree は共有される</li>
 </ul>
 <h2 id="persistent-data-tree">Persistent Data Tree</h2>
 <ul>
 <li>Persistent Data Tree は Data Gear の管理を行う</li>
 <li>TaskQueue と同じですべての Thread で共有される</li>
 <li>Red-Black Tree アルゴリズムを用いて木構造の平衡性を保つ</li>
-<li>unix のファイルシステムに相当する的な</li>
+<li>木構造から読み出される Data Gear は Code Gear の Input Data Gear, 書き出すData Gear は Output Data Gear になる</li>
 </ul>
+<div style="text-align: center;">
+<img src="./images/persistent_date_tree_2.svg" alt="message" width="700" />
+</div>
+</div>
+<div class='slide '>
+<!-- _S9SLIDE_ -->
+<h2 id="persistent-data-tree-1">Persistent Data Tree</h2>
+<ul>
+<li>Persistent Data Tree は
+<ul>
+<li>Tree 自体を示す Data Gear</li>
+<li>Node を示す Data Gear</li>
+</ul>
+</li>
+</ul>
+<p>を用いて木構造を表現する</p>
+<pre lang="c"><code>union Data {
+struct Tree {
+struct Node* root;
+} tree;
+struct Node {
+// need to tree
+enum Code next;
+int key; // comparable data segment
+union Data* value;
+struct Node* left;
+struct Node* right;
+// need to balancing
+enum Color {
+Red,
+Black,
+} color;
+} node;
+};
+</code></pre>
 </div>
 <div class='slide '>
 <!-- _S9SLIDE_ -->
 <h2 id="worker">Worker</h2>
 <ul>
 <li>Worker は TaskQueue から Task を取得して実行する</li>
-<li>TaskQueue へのアクセスは Enqueue 操作と同じで CAS を用いる</li>
+</ul>
-<li>Task には実行する Code Gear と実行に必要な Data Gear の ree の key が格納されている</li>
+<table align="center">
+<tbody>
+<tr>
+<td>
+<div>
+<img src="./images/worker.svg" alt="message" width="600" />
+</div>
+</td>
+<td>
+<ul>
+<li> Worker は Task Queue から Task を取り出す(1. Dequeue Task)</li>
+<li> 取り出した Task には Tree の key が入っているため Tree からその key に対応した Input Data Gear を読み込む(2. Read Data Gear) </li>
+<li> Task に格納されている Code Gear を実行する </li>
+<li> Code Gear を実行した結果、生成された Output Data Gear を Tree に書き出す(3.Write Data Gear) </li>
+</ul>
+</td>
+</tr>
+</tbody>
+</table>
+<ul>
 <li>Task が完了したら次の Task を取得する</li>
-<li>Worker で実行される Code Gear は他の Code Gear と同様の記述である</li>
-<li>つまり依存関係のない Code Gear は並列で動作させることができる</li>
 </ul>
 </div>
 <div class='slide '>
 <!-- _S9SLIDE_ -->
 <h2 id="taskmanger">TaskManger</h2>
 <ul>
 <li>TaskManager は Task の依存関係の解決を行う</li>
 <li>Thread の作成と停止も行う</li>
-<li>このコードは Thread の生成を行い、 Thread 毎の context を設定している <strong>Meta Code Gear</strong></li>
+<li>このコードは Thread の生成を行い、 Thread 毎の context を設定している <strong>Meta Code Gear</strong> である</li>
 </ul>
 <pre lang="c"><code>// Meta Code Gear
 __code createWorker(struct Context* context, struct LoopCounter* loopCounter, struct Worker* worker) {
 int i = loopCounter-&gt;i;
 <h2 id="section-2">並列処理の確認</h2>
 <ul>
 <li>Twice を使用し、Gears OS が実際に並列処理されているかどうかの確認を行った</li>
 <li>環境
 <ul>
-<li>Model : MacPro Mid 2010</li>
-<li>OS : Mac OS X 10.10.5</li>
 <li>Memory : 16GB</li>
 <li>CPU : 6-core Intel Xeon 2.66GHZ x 2</li>
 </ul>
 </li>
 <li>要素数 : 2^17 * 1000</li>

Mercurial > hg > Papers > 2016 > parusu-sigos

comparison presen/sigos.html @ 19:a2a9d91db377