Mercurial > hg > Papers > 2016 > parusu-sigos

<!DOCTYPE html>
<html>
<head>
   <meta http-equiv="content-type" content="text/html;charset=utf-8">
   <title>Code Gear、 Data Gear に基づく OS のプロトタイプ</title>

<meta name="generator" content="Slide Show (S9) v2.5.0 on Ruby 2.3.1 (2016-04-26) [x86_64-darwin15]">
<meta name="author"    content="伊波 立樹" >

<!-- style sheet links -->
<link rel="stylesheet" href="s6/themes/projection.css"   media="screen,projection">
<link rel="stylesheet" href="s6/themes/screen.css"       media="screen">
<link rel="stylesheet" href="s6/themes/print.css"        media="print">
<link rel="stylesheet" href="s6/themes/blank.css"        media="screen,projection">

<!-- JS -->
<script src="s6/js/jquery-1.11.3.min.js"></script>
<script src="s6/js/jquery.slideshow.js"></script>
<script src="s6/js/jquery.slideshow.counter.js"></script>
<script src="s6/js/jquery.slideshow.controls.js"></script>
<script src="s6/js/jquery.slideshow.footer.js"></script>
<script src="s6/js/jquery.slideshow.autoplay.js"></script>

<!-- prettify -->
<link rel="stylesheet" href="scripts/prettify.css">
<script src="scripts/prettify.js"></script>

<script>
  $(document).ready( function() {
    Slideshow.init();

    $('code').each(function(_, el) {
      if (!el.classList.contains('noprettyprint')) {
        el.classList.add('prettyprint');
        el.style.display = 'block';
      }
    });
    prettyPrint();
  } );


</script>

<!-- Better Browser Banner for Microsoft Internet Explorer (IE) -->
<!--[if IE]>
<script src="s6/js/jquery.microsoft.js"></script>
<![endif]-->


</head>
<body>

<div class="layout">
  <div id="header"></div>
  <div id="footer">
    <div align="right">
      <img src="s6/images/logo.svg" width="200px">
    </div>
  </div>
</div>

<div class="presentation">

  <div class='slide cover'>
    <table width="90%" height="90%" border="0" align="center">
      <tr>
        <td>
          <div align="center">
            <h1><font color="#808db5">Code Gear、 Data Gear に基づく OS のプロトタイプ</font></h1>
          </div>
        </td>
      </tr>
      <tr>
        <td>
          <div align="left">
            伊波 立樹
            琉球大学理工学研究科情報工学専攻
            <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
          </div>
        </td>
      </tr>
    </table>
  </div>

<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-28 18:07:10 +0900 with Markdown engine kramdown (1.11.1)
                  using options {}
  -->

<!-- _S9SLIDE_ -->
<h2 id="gears-os">Gears OS</h2>
<ul>
  <li>CPU の処理速度の向上のためクロック周波数の増加は発熱や消費電力の増大により難しくなっている</li>
  <li>そのため、クロック周波数を上げる代わりに CPU のコア数を増やす傾向にある</li>
  <li>マルチコア CPU の性能を発揮するには、処理をできるだけ並列化しなければならない</li>
  <li>また、PC の処理性能を上げるためにマルチコア CPU 以外にも GPU や CPU と GPU を複合したヘテロジニアスなプロセッサが登場している</li>
  <li>並列処理をする上でこれらのリソースを無視することができない</li>
  <li>しかし、これらのプロセッサで性能を出すためにはこれらのアーキテクチャに合わせた並列プログラミングが必要になる</li>
  <li>並列プログラミングフレームワークではこれらのプロセッサを抽象化し、CPU と同等に扱えるようにすることも求められる</li>
  <li>本研究では Cerium を開発して得られた知見を元にこれらの性質を持つ並列プログラミングフレームワークとして Gears OS のプロトタイプ設計・実装を行い、簡単な例題を用いて評価を行う</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="cerium">Cerium</h2>
<ul>
  <li>Cerium は本研究室で開発していた並列プログラミングフレームワークである</li>
  <li>Cerium では Task と呼ばれる分割されたプログラムを依存関係に沿って実行することで並列実行を可能にする</li>
  <li>依存関係を Task 間で設定する</li>
  <li>しかし、本来 Task はデータに依存するもので Task 間の依存関係ではデータの依存関係を保証することができない</li>
  <li>また、Task には汎用ポインタとしてデータの受け渡しを行うため、型情報がなく、 汎用ポインタをキャストして利用している</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="gears-os-1">Gears OS</h2>
<ul>
  <li>Gears OS は Code Gear と Data Gear によって構成される</li>
  <li>Gears OS では Code/Data Gear を用いて記述することでプログラム全体の並列度を高めて、効率的に並列処理することが可能になることを目的とする</li>
  <li>また、Gears OS の実装自体が Code/Data Gear を用いたプログラミングの指針となるように実装する</li>
  <li>Gears OS における Task は実行する Code Gear と実行に必要な Input Data Gear, 出力される Output Data Gear の組で表現される</li>
  <li>Input/Output Data Gear によって依存関係が決定し、それに沿って並列実行する</li>
  <li>依存関係の解決などの Meta Computation の実行は Meta Code Gear で行われる</li>
  <li>Meta Code Gear は Code Gear に対応しており、 Code Gear が実行した後にそれに対応した Meta Code Gear が実行される</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="gears-os--gear">Gears OS での Gear</h2>
<ul>
  <li>Gears OS はプログラムの単位として Gear を用いる</li>
  <li>Gear は並列実行の単位、データの分割、 Gear 間の接続等になる</li>
  <li>Gear には プログラムの処理を示す Code Gear、 Data を示す Data Gear がある</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="code-gear">Code Gear</h2>
<ul>
  <li>Code Gear はプログラムの処理そのものを表す</li>
  <li>任意の数の Input Data Gear を参照し、 Code Gear の処理が完了すると任意の数の Output Data Gear を生成する</li>
  <li>Code Gear は接続された Input Data Gear 以外の Data にはアクセスしない</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="data-gear">Data Gear</h2>
<ul>
  <li>Data Gear は Data そのものを表す</li>
  <li>int や 文字列などの Primitive Data Type が入っている</li>
  <li>Code Gear から参照される Data Gear を Input Data Gear、 Code Gear の処理で生成される結果を Output Data Gear を呼ぶ</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="code-gear-data-gear-">Code Gear、 Data Gear での並列実行</h2>
<ul>
  <li>Gears OS では Code Gear と Input / Output Data Gear の対応から依存関係を解決し、 Code Gear の並列実行を行う</li>
</ul>

<div style="text-align: center;">
    <img src="./images/codeGear_dataGear_dependency.svg" alt="message" width="750" />
</div>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="meta-computation">Meta Computation</h2>
<ul>
  <li>Gears OS では通常の Computation のために実行する Computation を Meta Computation として扱う</li>
  <li>Meta Computation の例として並列処理の依存関係の解決、 OSが行うネットワーク管理、メモリ管理等がある</li>
  <li>Gears OS では Meta Computation を Meta Code Gear, Meta Data Gear で表現する</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="meta-gear">Meta Gear</h2>
<ul>
  <li>Meta Code Gear は 通常の Code Gear の直後に接続され、 Meta Computation を実行する</li>
  <li>Meta Computation の実行後は通常の Code Gear で指定した Code Gear へ接続する</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="continuation-based-c">Continuation based C</h2>
<ul>
  <li>Gears OS の実装は本研究室で開発しているCbC(Continuation based C)を用いる</li>
  <li>CbC は処理を Code Segment を用いて記述する事を基本とする</li>
  <li>そのため Gears OS の Code Gear を記述する事に適している</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="continuation-based-c-1">Continuation based C</h2>
<ul>
  <li>Code Segment の定義は <code>__code CS名</code> で行う</li>
  <li>Code Segment 間は <code>goto CS名</code> で移動する。この移動を継続と呼ぶ</li>
  <li>C の関数呼び出しとは違い、 Code Segment では戻り値を持たないため、スタックに値を積まない</li>
  <li>このような元の環境を持たない継続を計量継続と呼ぶ</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="gears-os-">Gears OS の構成</h2>
<ul>
  <li>Context
    <ul>
      <li>接続可能な Code/Data Gear のリスト、 TaskQueue へのポインタ、 Persistent Data Tree へのポインタ、独立したメモリ空間を持っている</li>
      <li>Worker 毎にContext を持っており、 TaskQueue と Persistent Data Tree は共有される</li>
    </ul>
  </li>
  <li>TaskQueue
    <ul>
      <li>CAS を利用したスレッドセーフなQueue</li>
      <li>ActiveTaskQueue と WaitTaskQueue の 2種類</li>
      <li>ActiveTaskQueue は実行可能なTaskが挿入され, WaitTaskQueue には依存関係が解決されていないTaskが挿入される</li>
    </ul>
  </li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="gears-os--1">Gears OS の構成</h2>
<ul>
  <li>Persistent Data Tree
    <ul>
      <li>Code Gear によって参照される Data Gear の管理を行う</li>
      <li>Persistent Data Tree への書き込みのみで Worker 間の相互作用を発生させ、目的の処理を行う</li>
    </ul>
  </li>
  <li>TaskManager
    <ul>
      <li>Task の依存関係の解決を行う</li>
      <li>Persistent Data Tree を監視し、 Task の依存関係を解決する</li>
    </ul>
  </li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="gears-os--2">Gears OS の構成</h2>
<ul>
  <li>Worker
    <ul>
      <li>Worker は ActiveTaskQueue から Task を取得する</li>
      <li>取得した Task から必要な Data Gear を Tree から取得し、 Code Gear を実行</li>
      <li>実行後必要なデータを Persistent Data Tree 書き出す</li>
    </ul>
  </li>
</ul>

<div style="text-align: center;">
    <img src="./images/gearsos.svg" alt="message" width="750" />
</div>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="context">Context</h2>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="allocator">Allocator</h2>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="taskqueue">TaskQueue</h2>
<ul>
  <li>Task Queue は Task の管理を行う</li>
  <li>すべての Worker の Context で共有される</li>
  <li>TaskQueue は 2つで Data Gear で表現される
    <ul>
      <li>先頭と末尾の要素を持った Queue 表す Data Gear</li>
      <li>Task と次の要素へのポインタを持った、List を表現する Element という Data Gear</li>
    </ul>
  </li>
</ul>

<pre lang="c"><code>// Code Gear Name
enum Code {
    PutQueue,
    GetQueue
};

// Unique Data Gear
enum UniqueData {
    Queue,
    Element
};

// Data Gear definication
union Data {
    struct Queue {
        struct Element* first;
        struct Element* last;
    } queue;

    struct Element {
        struct Task* task;
        struct Elemen* next;
    } element
};
</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="taskqueueenqueue">TaskQueueの操作(Enqueue)</h2>
<ul>
  <li>Task を挿入する場合 Queue の last から最後の要素を取り出し、次の要素に新しく挿入する要素を設定</li>
  <li>Queue の last を追加する要素に設定</li>
  <li>正しく最後の要素が変更できたことをCAS で 保証し、末尾の変更を行う必要がある</li>
</ul>

<pre lang="c"><code>__code putQueue3(struct Context* context, struct Queue* queue, struct Element* new_element) {
    struct Element* last = queue-&gt;last;

    if (__sync_bool_compare_and_swap(&amp;queue-&gt;last, last, new_element)) {
        last-&gt;next = new_element;

        goto meta(context, context-&gt;next);
    } else {
        goto meta(context, PutQueue3);
    }
}

</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="persistent-data-tree">Persistent Data Tree</h2>
<ul>
  <li>Persistent Data Tree は Data Gear の管理を行う</li>
  <li>TaskQueue と同じですべての Context で共有される</li>
  <li>一度破壊した木構造を破壊すること無く新しい木構造を構築するため、変更して読み書き可能</li>
  <li>非破壊木構造はルートから変更したいノードへのパスすべてをコピーし、パズ上に存在しないノードはコピー元の木構造と共有する</li>
</ul>

<div style="text-align: center;">
    <img src="./images/persistent_date_tree.svg" alt="message" width="750" />
</div>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="persistent-data-tree-1">Persistent Data Tree</h2>
<ul>
  <li>木構造を構築するとき最悪なケースでは事実上の線形リストになる</li>
  <li>そのため、挿入・削除・検索における処理時間を保証するために Red-Black Tree アルゴリズムを用いて木構造の平衡性を保つ</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="worker">Worker</h2>
<ul>
  <li>Worker は TaskQueue から Task を取得して実行する</li>
  <li>TaskQueue へのアクセスは Enqueue 操作と同じで CAS を用いる</li>
  <li>Task には実行する Code Gear と実行に必要な Data Gear の key が格納されている</li>
  <li>Task が完了したら次の Task を取得する</li>
</ul>

<pre lang="c"><code>// Task definication
union Data {
    // size: 8 byte
    struct Task {
        enum Code code;
        int key;
    } task;
}
</code></pre>

<pre lang="c"><code>__code getQueue(struct Context* context, struct Queue* queue, struct Node* node) {
    if (queue-&gt;first == 0)
        return;

    struct Element* first = queue-&gt;first;
    if (__sync_bool_compare_and_swap(&amp;queue-&gt;first, first, first-&gt;next)) {
        queue-&gt;count--;

        context-&gt;next = GetQueue;
        stack_push(context-&gt;code_stack, &amp;context-&gt;next);

        context-&gt;next = first-&gt;task-&gt;code;
        node-&gt;key = first-&gt;task-&gt;key;

        struct Traverse *t = &amp;context-&gt;data[Traverse]-&gt;traverse;
        t-&gt;next = GetQueue;
        goto meta(context, Get);
    } else {
        goto meta(context, GetQueue);
    }
}

</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="worker-1">Worker</h2>
<ul>
  <li>Worker で実行される Code Gear は他の Code Gear と同様の記述である</li>
  <li>つまり依存関係のない Code Gear は並列で動作させることができる</li>
  <li>Gears OS 自体が Code Gear によって構成されるため、 Gears OS の実装自体が Gears でプログラミングを行う際の指針になる</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="taskmanger">TaskManger</h2>
<ul>
  <li>TaskManager は Task の依存関係の解決を行う</li>
  <li>Worker の作成と停止も行う</li>
</ul>

<pre lang="c"><code>// Code Gear
__code createWorker(struct Context* context, struct LoopCounter* loopCounter, struct Worker* worker) {
    int i = loopCounter-&gt;i;

    if (i &lt; worker-&gt;num) {
        struct Context* worker_context = &amp;worker-&gt;contexts[i];
        worker_context-&gt;next = GetQueue;
        worker_context-&gt;data[Tree] = context-&gt;data[Tree];
        worker_context-&gt;data[ActiveQueue] = context-&gt;data[ActiveQueue];
        pthread_create(&amp;worker_context-&gt;thread, NULL, (void*)&amp;start_code, worker_context);
        worker_context-&gt;thread_num = i;
        loopCounter-&gt;i++;

        goto meta(context, CreateWorker);
    }

    loopCounter-&gt;i = 0;
    goto meta(context, TaskManager);
}
</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="section">プロトタイプの評価</h2>
<ul>
  <li>今回 Gears OS の構成要素である Persistent Data Tree, TaskQueue, Worker の実装を行った</li>
  <li>これにより、 Gears OS を用いて依存関係のない並列処理の実行が可能になった</li>
  <li>Gears OS の評価として依存関係のない例題を実装して評価を行う</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="twice">Twice</h2>
<ul>
  <li>依存関係のない例題として Twice を実装した</li>
  <li>Twice は与えられた整数配列を2倍にする例題である</li>
</ul>

<pre lang="c"><code>// Twice Code Gear
__code twice(struct Context* context, struct LoopCounter* loopCounter, int index, int alignment, int* array) {
    int i = loopCounter-&gt;i;

    if (i &lt; alignment) {
        array[i+index*alignment] = array[i+index*alignment]*2;
        loopCounter-&gt;i++;

        goto meta(context, Twice);
    }

    loopCounter-&gt;i = 0;

    stack_pop(context-&gt;code_stack, &amp;context-&gt;next);
    goto meta(context, context-&gt;next);
}
</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="section-1">実験環境</h2>
<ul>
  <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</li>
  <li>分割数 : 640 タスク</li>
  <li>1 Task 当たりの処理量 : 2^11 * 100 elements</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="section-2">結果</h2>
<table border="1" align="center" width="50%">
  <tbody>
    <tr>
      <td style="text-align: center;">Number of Processors</td>
      <td style="text-align: center;">Time(ms)</td>
    </tr>
    <tr>
      <td style="text-align: center;">1 CPU</td>
      <td style="text-align: right;">1315</td>
    </tr>
    <tr>
      <td style="text-align: center;">2 CPUs</td>
      <td style="text-align: right;">689</td>
    </tr>
    <tr>
      <td style="text-align: center;">4 CPUs</td>
      <td style="text-align: right;">366</td>
    </tr>
    <tr>
      <td style="text-align: center;">8 CPUs</td>
      <td style="text-align: right;">189</td>
    </tr>
    <tr>
      <td style="text-align: center;">12 CPUs</td>
      <td style="text-align: right;">111</td>
    </tr>
  </tbody>
</table>

<div style="text-align: center;">
    <img src="./images/twice_640.svg" alt="message" width="750" />
</div>

<ul>
  <li>1 CPU と 12 CPU で約 11.8 倍の速度向上が見られた</li>
</ul>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="section-3">比較</h2>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h2 id="section-4">まとめ</h2>
<!-- === end markdown block === -->
</div>


</div><!-- presentation -->
</body>
</html>
author	Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date	Sat, 28 May 2016 18:09:36 +0900
parents
children	f3161681d273