Mercurial > hg > Papers > 2016 > kkb-master

<!DOCTYPE html>
<html>
<head>
   <meta http-equiv="content-type" content="text/html;charset=utf-8">
   <title>Code Segment と Data Segment を持つ Gears OS の設計</title>

<meta name="generator" content="Slide Show (S9) 2.3.0 on Ruby 2.0.0 (2013-02-24) [x86_64-darwin12.3.0]">
<meta name="author"    content="Shohei KOKUBO" >

<!-- 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 Segment と Data Segment を持つ Gears OS の設計</font></h1>
          </div>
        </td>
      </tr>
      <tr>
        <td>
          <div align="left">
            Shohei KOKUBO
            琉球大学大学院修士2年
            <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.1.1 on Ruby 2.0.0 (2013-02-24) [x86_64-darwin12.3.0]
                on 2016-02-18 15:55:53 +0900 with Markdown engine kramdown (1.4.0)
                  using options {}
  -->

<!-- _S9SLIDE_ -->
<h1 id="section">並列環境下におけるプログラミング</h1>
<p>マルチコア CPU の性能を発揮するには、処理をできるだけ並列化しなければならない。
これはアムダールの法則により、並列化できない部分が並列化による性能向上を制限することから言える。
つまり、プログラムを並列処理に適した形で記述するためのフレームワークが必要になる。</p>

<p>マルチコア CPU 以外にも GPU や CPU と GPU を複合したヘテロジニアスなプロセッサが登場している。
並列処理をする上でこれらのリソースを無視することはできない。
しかし、これらのプロセッサで性能を引き出すためにはそれぞれのアーキテクチャに合わせた並列プログラミングが必要になる。
並列プログラミングフレームワークではこれらのプロセッサを抽象化し、CPU と同等に扱えるようにすることも求められる。</p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="cerium">Cerium</h1>
<p>Cerium は本研究室で開発している並列プログラミングフレームワークである。</p>

<p>Cerium では関数またはサブルーチンを Task として定義する。
Task 間で依存関係を設定することができ、TaskManager が依存関係を解決することで実行可能な状態となる。
実行可能な状態となると Task に設定された実行デバイスの Scheduler に転送され実行される。</p>

<p><img src="./pictures/createTask.svg" alt="Cerium の構成" /></p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="cerium-">Cerium の問題点</h1>
<ul>
  <li>Task 間の依存関係</li>
</ul>

<p>Cerium では Task 間の依存関係を設定することで並列処理を実現する。
しかし、本来 Task は必要なデータが揃うことで実行可能になるものである。
Task 同士の依存関係だけでは前の Task が不正な処理を行いデータがおかしくなっても Task の終了は通知され、そのまま処理が続行されてしまう。
データがどこでおかしくなったのか特定するのは難しく、デバックに時間が取られる。</p>

<ul>
  <li>データの型情報</li>
</ul>

<p>Task は汎用ポインタでデータの受け渡しを行うのでそこで型情報が落ちる。
Task 側で正しく型変換を行うことで正しい処理を行うことができるが、誤った型変換を行うと未定義な動作となりデータ構造を破壊する可能性がある。
型システムによるプログラムの正しさを保証することもできず、型に基づく一連の不具合が起こる危険性がつきまとう。</p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="cerium--1">Cerium の問題点</h1>
<ul>
  <li>メモリ確保</li>
</ul>

<p>Cerium の Allocator は Thread 間で共有されている。
ある Thread がメモリを確保しようとすると他の Thread はその間メモリを確保することができない。
これが並列度の低下に繋がり、処理速度が落ちる原因になる。</p>

<ul>
  <li>オブジェクト指向と並列処理</li>
</ul>

<p>同じ入力に対し、同じ入力を返すことが保証される参照透過な処理は並列化を行いやすい。
一方、オブジェクト指向は保守性と再利用性を高めるためにカプセル化やポリモフィズムを重視する。
オブジェクトの状態によって振る舞いが変わるため並列処理との相性が悪い。</p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="gears-os">Gears OS</h1>
<p>本研究では Code Segment と Data Segment によって構成される Gears OS の設計・実装を行った。</p>

<p>Code/Data Segment で分割して記述することでプログラム全体の並列度を高めて効率的に並列処理することを可能にする。</p>

<p>Gears OS の基本的な機能の実装には本研究室で開発している CbC(Continuation based C) を用いた。</p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="codedata-gear">Code/Data Gear</h1>
<p>Gears OS ではプログラムの単位として Gear を用いる。
Gear は並列実行の単位、データ分割、Gear 間の接続などになる。</p>

<p>Code Gear は Code Segment と同等のものである。
Code Gear には任意の数の Data Gear を参照し、処理が完了すると任意の数の Data Gear に書き込みを行う。
接続された Data Gear 以外にアクセスすることはできない。</p>

<p>Data Gear はデータそのものを表す。
int や文字列などの Primitive Data Type を複数持つ構造体として定義する。</p>

<p>Gear 特徴として処理やデータの構造が Code/Data Gear に閉じていることにある。
これにより実行時間、メモリ使用量などを予測可能なものにする。</p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="gears-os-">Gears OS の構成</h1>
<ul>
  <li>Context</li>
</ul>

<p>接続可能な Code/Data Gear のリスト、TaskQueue へのポインタ、Persistent Data Tree へのポインタ、独立したメモリ空間を持っている。
複数の Context で TaskQueue と Persistent Data Tree は共有される。</p>

<ul>
  <li>TaskQueue</li>
</ul>

<p>ActiveTaskQueue と WaitTaskQueue の2種類の TaskQueue がある。
ActiveTaskQueue には実行可能な Task が挿入され、WaitTaskQueue には依存関係が解決されていない Task が挿入される。
先頭と末尾の Element へのポインタを持つ Data Gear と Task へのポインタと次の Element へのポインタを持つ Data Gear で構成される。
Compare and Swap(CAS) を利用することでスレッドセーフに Queue を操作することができる。</p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="gears-os--1">Gears OS の構成</h1>
<ul>
  <li>Persistent Data Tree</li>
</ul>

<p>Data Gear の管理を行う。
非破壊木構造で構成されるため読み書きを平行して行うことができる。
Red-Black Tree アルゴリズムを用いて平衡性を保ち、挿入・削除・検索における計算量を保証する。
Persistent Data Tree への書き込みのみで相互作用を発生させ目的の処理を達成する。</p>

<ul>
  <li>TaskManager</li>
</ul>

<p>Gears OS における Task は実行する Code Gear と Input/Output Data Gear の組で表現される。
Input/Output Data Gear から依存関係を決定する。
TaskManager は Persistent Data Tree を監視し、Task の依存関係を解決する。</p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="gears-os--2">Gears OS の構成</h1>
<ul>
  <li>Worker</li>
</ul>

<p>Worker は ActiveTaskQueue から Task を取得する。
取得した Task の情報を元に必要な Data Gear を Persistent Data Tree から取得し、Code Gear を実行する。
実行後、必要なデータを Persistent Data Tree に書き出し次の Task を取得する。</p>

<p><img src="./pictures/gearsos.svg" alt="Gears OS の構成" /></p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="allocator">Allocator</h1>
<ul>
  <li>Context の生成時にある程度の大きさのメモリ領域を確保</li>
  <li>Context には確保したメモリ領域を指す情報(heapStart, heap, heapLimit)を格納</li>
</ul>

<pre lang="C"><code>/* Context definition example */
#define ALLOCATE_SIZE 1000

// Code Gear Name
enum Code {
    Code1,
    Code2,
    Allocator,
    Exit,
};

// Unique Data Gear
enum UniqueData {
    Allocate,
};

struct Context {
    enum Code next;
    int codeNum;
    __code (**code) (struct Context*);
    void* heapStart;
    void* heap;
    long heapLimit;
    int dataNum;
    union Data **data;
};

// Data Gear definition
union Data {
    // size: 4 byte
    struct Data1 {
        int i;
    } data1;
    // size: 5 byte
    struct Data2 {
        int i;
        char c;
    } data2;
    // size: 8 byte
    struct Allocate {
        long size;
    } allocate;
};
</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="allocator-1">Allocator</h1>
<ul lang="C">
  <li>Allocation を行うための情報を書き込む Data Gear が必要
    <ul>
      <li>Context と同時に生成</li>
    </ul>
  </li>
</ul>
<pre><code>__code initContext(struct Context* context, int num) {
    context-&gt;heapLimit        = sizeof(union Data)*ALLOCATE_SIZE;
    context-&gt;heapStart        = malloc(context-&gt;heapLimit);
    context-&gt;heap             = context-&gt;heapStart;
    context-&gt;codeNum          = Exit;

    context-&gt;code             = malloc(sizeof(__code*)*ALLOCATE_SIZE);
    context-&gt;data             = malloc(sizeof(union Data*)*ALLOCATE_SIZE);

    context-&gt;code[Code1]      = code1_stub;
    context-&gt;code[Code2]      = code2_stub;
    context-&gt;code[Allocator]  = allocator_stub;
    context-&gt;code[Exit]       = exit_code;

    context-&gt;data[Allocate]   = context-&gt;heap;
    context-&gt;heap            += sizeof(struct Allocate);

    context-&gt;dataNum          = Allocate;
}
</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="allocator-2">Allocator</h1>
<ul>
  <li>メモリ領域を指すポインタを動かすことで Data Gear のメモリを確保</li>
  <li>確保した Data Gear は基本的に破棄可能なものである</li>
  <li>リニアにメモリを確保し、サイズを超えたら先頭に戻って再利用</li>
</ul>

<p><img src="./pictures/allocation.svg" alt="Allocator" /></p>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="allocator-3">Allocator</h1>
<ul>
  <li>Allocation に必要な情報を Data Gear に書き込み、Allocator に接続する</li>
  <li>生成した Data Gear には Context を介してアクセスすることができるが、Context を直接扱うのは好ましくない</li>
  <li>Context から値を取り出すだけのメタレベルの Code Gear を用意</li>
</ul>

<pre lang="C"><code>// Meta Code Gear
__code meta(struct Context* context, enum Code next) {
    // meta computation
    goto (context-&gt;code[next])(context);
}

// Code Gear
__code code1(struct Context* context, struct Allocate* allocate) {
    allocate-&gt;size = sizeof(struct Data1);
    context-&gt;next  = Code2;

    goto meta(context, Allocator);
}

// Meta Code Gear(stub)
__code code1_stub(struct Context* context) {
    goto code1(context, &amp;context-&gt;data[Allocate]-&gt;allocate);
}

// Meta Code Gear
__code allocator(struct Context* context, struct Allocate* allocate) {
    context-&gt;data[++context-&gt;dataNum] = context-&gt;heap;
    context-&gt;heap                    += allocate-&gt;size;

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

// Meta Code Gear(stub)
__code allocator_stub(struct Context* context) {
    goto allocator(context, &amp;context-&gt;data[Allocate]-&gt;allcate);
}

// Code Gear
__code code2(struct Context* context, struct Data1* data1) {
    // processing
}

// Meta Code Gear(stub)
__code code2_stub(struct Context* context) {
    goto code2(context, &amp;context-&gt;data[context-&gt;dataNum]-&gt;data1);
}
</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="taskqueue">TaskQueue</h1>
<p>TaskQueue は Task を管理する。
すべての Context で共有され並列にアクセスされる。
CAS 命令を利用してアクセスすることでデータの一貫性を保証する。</p>

<ul lang="C">
  <li>先頭と末尾の要素へのポインタを持った Queue を表す Data Gear</li>
  <li>Task と次の要素へのポインタを持った Element を表す Data Gear</li>
</ul>
<pre><code>// Code Gear Name
enum Code {
    PutQueue,
    GetQueue,
};

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

// Queue definication
union Data {
    // size: 20 byte
    struct Queue {
        struct Element* first;
        struct Element* last;
        int count;
    } queue;
    // size: 16 byte
    struct Element {
        struct Task* task;
        struct Element* next;
    } element;
}
</code></pre>


</div>
<div class='slide '>
<!-- _S9SLIDE_ -->
<h1 id="taskqueue-enqueue">TaskQueue の操作(Enqueue)</h1>
<ul>
  <li>Enqueue は Queue の最後の要素を取り出し、次の要素に追加する要素を設定</li>
  <li>Queue を表す Data Gear が指す末尾を追加する要素に設定</li>
  <li>正しく最後の要素が取り出せたことを保証して末尾の変更を行う必要がある</li>
</ul>

<pre lang="C"><code>// Enqueue
__code putQueue(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;
        queue-&gt;count++;

        goto meta(context, context-&gt;next);
    } else {
        goto meta(context, PutQueue);
    }
}
</code></pre>


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

<p><img src="./pictures/tree.svg" alt="非破壊木構造" /></p>
<!-- === end markdown block === -->
</div>


</div><!-- presentation -->
</body>
</html>
author	Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date	Thu, 18 Feb 2016 16:13:20 +0900
parents	4dcfec1bf1e7
children	f147f579d552