Mercurial > hg > Papers > 2015 > nozomi-sigos

view presen/sigOS/sample.html @ 16:1ac38e2b7572

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
before review
author Nozomi Teruya <e125769@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2015 00:09:45 +0900
parents 696a908208c8
children 20c9082b212d
line wrap: on
line source

<!DOCTYPE HTML>

<html lang="en-US">
<head>
	<title>分散フレームワークAliceの圧縮機能</title>
	<meta charset="UTF-8">
	<meta name="viewport" content="width=1274, user-scalable=no">
	<meta name="generator" content="Slide Show (S9)">
	<meta name="author" content="照屋のぞみ">
	<link rel="stylesheet" href="themes/ribbon/styles/style.css">
</head>
<body class="list">
	<header class="caption">
		<h1>分散フレームワークAliceの圧縮機能</h1>
		<p>照屋のぞみ</p>
	</header>
	<div class="slide cover" id="Cover"><div>
		<section>
			<header>
				<h2>分散フレームワークAliceの圧縮機能</h2>
				<h3 id="author">照屋のぞみ</h3>
				<h3 id="profile">琉球大学 工学部 情報工学科 4年</h3>
			</header>
		</section>
	</div></div>

<!-- todo: add slide.classes to div -->
<!-- todo: create slide id from header? like a slug in blogs? -->

<div class="slide" id="2"><div>
		<section>
			<header>
				<h1 id="section">研究背景(1/2)</h1>
			</header>
			<!-- === begin markdown block ===

      generated by markdown/1.2.0 on Ruby 2.1.0 (2013-12-25) [x86_64-darwin13.0]
                on 2015-05-25 00:09:22 +0900 with Markdown engine kramdown (1.5.0)
                  using options {}
  -->

<!-- _S9SLIDE_ -->

<ul>
  <li>信頼性とスケーラビリティに優れた分散プログラムをプログラマが一から記述することは容易ではない。</li>
  <li>本研究室ではデータを <em>Data Segment</em> 、タスクを <em>Code Segment</em> という単位で分割して記述する<strong>並列分散フレームワークAlice</strong>の開発を行っている。</li>
  <li>Aliceは分散環境の構築のためのAPIが提供されており、スケーラブルな分散プログラムを信頼性高く記述できる環境を実現する。  </li>
</ul>



		</section>
</div></div>

<div class="slide" id="3"><div>
		<section>
			<header>
				<h1 id="section-1">研究背景(1/2)</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>水族館の例題等において、Aliceが分散プログラムを記述する能力を有することは確認された。</li>
  <li>実用的な分散プログラムを作成するためには、圧縮形式のデータで通信する機能等が必要だとわかった。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="4"><div>
		<section>
			<header>
				<h1 id="section-2">研究目的</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Aliceに圧縮機能等を追加することにより、Data Segmentの多態性を実現しノード間通信における自由度の向上を図る。  </li>
</ul>



		</section>
</div></div>

<div class="slide" id="5"><div>
		<section>
			<header>
				<h1 id="alice1---data-segment">Aliceの概要(1) - Data Segment</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>複数の関係のない要素を1つのデータオブジェクトで表現した場合、全ての操作でlockが必要になり、スケラビリティーを低下させる。</li>
  <li>Alice はデータを細かく分割して記述する。その分割されたデータを <strong>Data Segment(DS)</strong> と呼ぶ。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="6"><div>
		<section>
			<header>
				<h1 id="alice2---data-segment-manager">Aliceの概要(2) - Data Segment Manager</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>DS は queue に保存される。queue には対 になる key し、 key を指定して DS の保存、取得を行う。</li>
  <li>queue の集合体であるデータベースデータベースを Alice では DS Manager(DSM) と呼ぶ。<br />
<img src="./pictures/dsm.svg" alt="opt" /></li>
</ul>



		</section>
</div></div>

<div class="slide" id="7"><div>
		<section>
			<header>
				<h1 id="alice2---data-segment-manager-1">Aliceの概要(2) - Data Segment Manager</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Local DSM … 各ノード固有のデータベース。</li>
  <li>Remote DSM … 他のノードの Local DSM の proxy。接続しているノードの数だけ存在。<br />
  <img src="./images/remote_datasegment.svg" alt="opt" width="450px" /></li>
</ul>



		</section>
</div></div>

<div class="slide" id="8"><div>
		<section>
			<header>
				<h1 id="alice3---data-segment-api">Aliceの概要(3) - Data Segment API</h1>
			</header>
			<!-- _S9SLIDE_ -->

<p>DSMに対して以下のコマンドを送り操作できる  </p>

<table style="border-collapse: collapse;border:1px solid #000000;">
  <tr>
    <td style="border:1px solid #000000;"> put</td>
    <td style="border:1px solid #000000;">データを追加する</td>
  </tr>
  <tr>
    <td style="border:1px solid #000000;"> update </td>
    <td style="border:1px solid #000000;">データを更新する</td>
  </tr>
	<tr>
		<td style="border:1px solid #000000;"> peek</td>
		<td style="border:1px solid #000000;">データを取得する</td>
	</tr>
	<tr>
	<td style="border:1px solid #000000;"> take</td>
	<td style="border:1px solid #000000;">データを取得する。取得したデータはDSMから削除される。</td>
	</tr>
</table>



		</section>
</div></div>

<div class="slide" id="9"><div>
		<section>
			<header>
				<h1 id="alice4---data-segment-">Aliceの概要(4) - Data Segment の表現</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>一般的な Java のクラスオブジェクト
    <ul>
      <li>LocalDSM に put された場合は一般的な Java のクラスオブジェクトとして enQueue される。</li>
    </ul>
  </li>
  <li>MessagePack を用いて変換した byte[]で表現されたバイナリオブジェクト
    <ul>
      <li>RemoteDSM に put された場合は通信時に byteArray に変換されたバイナリオブジェクトが enQueue される。</li>
    </ul>
  </li>
</ul>



		</section>
</div></div>

<div class="slide" id="10"><div>
		<section>
			<header>
				<h1 id="alice5---code-segment">Aliceの概要(5) - Code Segment</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Alice上で実行されるタスクの単位を <strong>Code Segment(CS)</strong> と呼ぶ。</li>
  <li>複数のDSが入力され、その結果をDSとして出力するfunctionと捉えられる。</li>
  <li>CS をユーザーが記述する際には CS を継承して記述することにより CS で使用する API を利用する事ができる。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="11"><div>
		<section>
			<header>
				<h1 id="alice5---code-segment-1">Aliceの概要(5) - Code Segment</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>入力されるDSをInput DS、出力されるDSをOutput DSと呼ぶ。</li>
  <li>keyで指定されたDSが揃うと実行されるという性質を持つ。
<img src="./images/dsandcs.svg" alt="opt" /></li>
</ul>



		</section>
</div></div>

<div class="slide" id="12"><div>
		<section>
			<header>
				<h1 id="alice6---codesegment">Aliceの概要(6) - CodeSegmentの依存関係</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>データの依存関係にないCSは並列実行される</li>
  <li>データの依存関係がある場合は依存を解決した順に実行される</li>
  <li>並列度あげるために、処理を細かく記述し、依存するDSを少なくする
<img src="./images/dsandcs2.svg" alt="opt" /></li>
</ul>



		</section>
</div></div>

<div class="slide" id="13"><div>
		<section>
			<header>
				<h1 id="alicemeta-computation12">AliceのMeta Computation(1/2)</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>並列指向プログラミング言語 Erlang では、分散環境の構築等の処理は全てプログラマが記述しなければいけない。</li>
  <li>Aliceではプログラマが記述する部分を <em>Computation</em>、Aliceが提供するComputationを支える部分を <em>Meta Computation</em> として分けて捉えている。</li>
  <li>分散環境の構築等の処理等は全てMeta Computationが行うためプログラマがシンプルに分散プログラムを記述できる環境を提供している。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="14"><div>
		<section>
			<header>
				<h1 id="alicemeta-computation22">AliceのMeta Computation(2/2)</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>AliceのComputation
    <ul>
      <li>keyによりData Segmentを待ち合わせてCode Segmentを実行する</li>
    </ul>
  </li>
  <li>AliceのMeta Computation
    <ul>
      <li>Javaで記述したAliceの実装システム</li>
    </ul>
  </li>
  <li>Aliceの機能を追加するということは Meta Computation を追加すると言い換えられる</li>
  <li>Meta Computation も CS と DS により表現される。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="15"><div>
		<section>
			<header>
				<h1 id="alicevnc">AliceVNC</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>研究室では授業向け画面共有システムTreeVNCではノード同士を接続させ、木構造を構成することで負荷分散を行う
<img src="./images/treeVNC.svg" alt="opt" /></li>
</ul>



		</section>
</div></div>

<div class="slide" id="16"><div>
		<section>
			<header>
				<h1 id="alice-">Alice の新機能</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Alice が実用的なアプリケーションを記述する能力をもつことを確認するため、TreeVNC を Alice を用いて実装した AliceVNC の作成を行った。</li>
  <li>AliceVNCの実装で必要となった以下の機能をMeta Computation として実装した。<br />
    <ul>
      <li>転送機能　… Input DS を Output DS として転送する</li>
      <li>圧縮機能　… DS Manager の指定によってDSの表現を切り替える</li>
    </ul>
  </li>
</ul>



		</section>
</div></div>

<div class="slide" id="17"><div>
		<section>
			<header>
				<h1 id="section-3">転送機能</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>通常、Input DSに変更を加えOutput DSとして出力する場合DSのコピーが行われる。</li>
  <li>AliceVNCのようにInput DS をそのまま子ノードに Output DS として出力する場合、コピーを行なうのは無駄。</li>
  <li>Input DSをコピーせずそのままOutput DSに渡すMeta Computationとして転送機能を実装した。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="18"><div>
		<section>
			<header>
				<h1 lang="java" id="section-4">転送機能</h1>
			</header>
			<!-- _S9SLIDE_ -->

<pre><code>	public void flip(Receiver receiver) {
		 DataSegment.getLocal().put(receiver.key, receiver.getReceiveData(), null);
	}
</code></pre>



		</section>
</div></div>

<div class="slide" id="19"><div>
		<section>
			<header>
				<h1 id="section-5">圧縮機能</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>AliceVNCは、ノードは受け取った画面データを描画すると同時に、子ノードの Remote DSM に送信する。</li>
  <li>ノードは DS を受信するとそれを一度解凍して画面を表示し、再圧縮して子ノードに送信する。</li>
  <li>圧縮状態のまま子ノードに送信ができれば、解凍・再圧縮するオーバーヘッドを無くすことができる。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="20"><div>
		<section>
			<header>
				<h1 id="data-segment">圧縮機能 - Data Segmentの表現の変更</h1>
			</header>
			<!-- _S9SLIDE_ -->

<p>1つの Data Segment に対し以下の3種類の表現を同時に持たせ、必要に応じた形式で DS を扱う。
	1. 一般的な Java のクラスオブジェクト
	2. MessagePack for Java でシリアライズ化され たバイナリオブジェクト
	3. 2 を圧縮したバイナリオブジェクト</p>



		</section>
</div></div>

<div class="slide" id="21"><div>
		<section>
			<header>
				<h1 lang="java" id="data-segment-1">圧縮機能 - Data Segmentの表現の変更</h1>
			</header>
			<!-- _S9SLIDE_ -->

<pre><code>	public class ReceiveData {
		private Object val = null;
		private byte[] messagePack = null;
		private byte[] zMessagePack = null;
	}
</code></pre>



		</section>
</div></div>

<div class="slide" id="22"><div>
		<section>
			<header>
				<h1 id="dsm">圧縮機能 - DSMの追加</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Local と Remote それぞれに圧縮表現を扱う Compressed DSM を追加した。</li>
  <li>Compressed DSM にputする場合
    <ul>
      <li>DS が圧縮表現を持っていればそれをputする</li>
      <li>持っていなければその時点で圧縮表現を作ってputする</li>
    </ul>
  </li>
</ul>



		</section>
</div></div>

<div class="slide" id="23"><div>
		<section>
			<header>
				<h1 id="ds">圧縮機能 - 任意の表現でDSを取得</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul lang="java">
  <li>ReceiveData内にあるDSのcastメソッドであるasClass()を用いる</li>
</ul>
<pre><code>	public &lt;T&gt; T asClass(Class&lt;T&gt; clazz) {
		if (val != null) { return (T) val; }

		if (zMessagePack != null &amp;&amp; messagePack == null) {
			messagePack = unzip(zMessagePack, dataSize);
		}

		return packer.read(messagePack, clazz);
	}
</code></pre>



		</section>
</div></div>

<div class="slide" id="24"><div>
		<section>
			<header>
				<h1 id="api">圧縮機能 - API設計</h1>
			</header>
			<!-- _S9SLIDE_ -->

<p>通常のデータを扱う場合<br />
* put(String managerKey, String key, Object val)<br />
* take(String managerKey, String key)</p>

<p>圧縮表現のデータを扱う場合<br />
* put(String <strong>“compressed”</strong> + managerKey, String key, Object val)<br />
* take(String <strong>“compressed”</strong> + managerKey, String key)</p>



		</section>
</div></div>

<div class="slide" id="25"><div>
		<section>
			<header>
				<h1 id="section-6">圧縮機能 - 通信プロトコルの変更</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Remote から put されたデータは必ずシリアライズ化されており byteArray で表現される。</li>
  <li>圧縮した byteArray の追加により、Remote から put された byteArray が圧縮されているのか判断する必要がある。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="26"><div>
		<section>
			<header>
				<h1 id="section-7">圧縮機能 - 通信プロトコルの変更</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Alice の通信におけるヘッダにあたる CommandMessage.classに <strong>シリアライズ状態表すフラグ</strong>と、<strong>圧縮状態を表すフラク</strong> を追加</li>
  <li>これにより put された DSM はフラグに応じた適切な形式で格納できる。</li>
</ul>



		</section>
</div></div>

<div class="slide" id="27"><div>
		<section>
			<header>
				<h1 id="section-8">圧縮機能 - 通信プロトコルの変更</h1>
			</header>
			<!-- _S9SLIDE_ -->


<pre lang="java"><code>	public class CommandMessage {
		public int type;
		public int seq;
		public String key;
		public boolean quickFlag = false;
		public boolean serialized = false;
		public boolean compressed = false;
		public int dataSize = 0;
	}
</code></pre>
<p></p>



		</section>
</div></div>

<div class="slide" id="28"><div>
		<section>
			<header>
				<h1 id="section-9">圧縮機能 - 通信プロトコルの変更</h1>
			</header>
			<!-- _S9SLIDE_ -->

<table style="border-collapse: collapse;border:1px solid #000000;">
  <tr>
    <td style="border:1px solid #000000;"> type</td>
    <td style="border:1px solid #000000;">CommandType PEEK, PUT などを表す</td>
  </tr>
  <tr>
    <td style="border:1px solid #000000;"> seq </td>
    <td style="border:1px solid #000000;">DS の待ち合わせを行っている CS を表す unique number</td>
  </tr>
	<tr>
		<td style="border:1px solid #000000;"> key </td>
		<td style="border:1px solid #000000;">どの Key に対して操作を行うか指定する</td>
	</tr>
	<tr>
	<td style="border:1px solid #000000;"> quickFlag </td>
	<td style="border:1px solid #000000;">SEDA を挟まず Command を処理を行うかを示す</td>
	</tr>
	<tr>
	<td style="border:1px solid #000000;"> serialized </td>
	<td style="border:1px solid #000000;">データ本体のシリアライズ状態を示す</td>
	</tr>
	<tr>
	<td style="border:1px solid #000000;"> compressed </td>
	<td style="border:1px solid #000000;">データ本体の圧縮状態を示す</td>
	</tr>
	<tr>
	<td style="border:1px solid #000000;"> dataSize </td>
	<td style="border:1px solid #000000;">圧縮前のデータサイズを表す</td>
	</tr>
</table>



		</section>
</div></div>

<div class="slide" id="29"><div>
		<section>
			<header>
				<h1 id="section-10">圧縮機能の評価</h1>
			</header>
			<!-- _S9SLIDE_ -->

<p>RingRelayTest<br />
<img src="./images/topologyring.svg" alt="opt" /></p>



		</section>
</div></div>

<div class="slide" id="30"><div>
		<section>
			<header>
				<h1 id="section-11">まとめ</h1>
			</header>
			<!-- _S9SLIDE_ -->

<ul>
  <li>Alice が実用的なアプリケーションを記述するための Meta Computation として、データに多態性を持たせ、指定するDSMによってデータ表 現を変える機能を実装した。</li>
  <li>これによりユーザが記述する Computation 部分を大きく変えずに自由度の高い通信を行うことが可能になった。</li>
  <li>同様の手法により、暗号形式・JSON 形式など複数のデータ表現を扱えるように拡張できる。</li>
  <li>今後の課題としては、圧縮機能を AliceVNC で用 いることで有効性を測る必要がある。</li>
</ul>
<!-- === end markdown block === -->

		</section>
</div></div>


	<script src="scripts/script.js"></script>
	<!-- Copyright © 2010–2011 Vadim Makeev, http://pepelsbey.net/ -->
</body>
</html>