Mercurial > hg > Papers > 2019 > ikki-sigos
view slide/prosym.html @ 20:cd438764f55c
add svg
| author | ichikitakahiro <e165713@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 28 May 2019 17:45:51 +0900 |
| parents | a3203802637b |
| children | e7239fe266f0 |
line wrap: on
line source
<!DOCTYPE html> <html> <head> <meta http-equiv="content-type" content="text/html;charset=utf-8"> <title>分散ネットワークChristieによるBlockchainの実装</title> <meta name="generator" content="Slide Show (S9) v4.0.1 on Ruby 2.3.7 (2018-03-28) [universal.x86_64-darwin16]"> <meta name="author" content="Takahiro Ikki, Shinji Kono" > <!-- 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'); } }); 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">分散ネットワークChristieによるBlockchainの実装</font></h1> </div> </td> </tr> <tr> <td> <div align="left"> Takahiro Ikki, Shinji Kono 琉球大学 <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'> <!-- _S9SLIDE_ --> <h2 id="研究目的">研究目的</h2> <ul> <li>コンピュータのデータの不整合は、誤作動や複数人によるデータの同時書き込みによって発生し、特に分散環境下で問題となる。</li> <li>ブロックチェーンはデータの分散ができ、不整合の検知が可能な仕組みとなっている。</li> <li>当研究室で開発中のGearsOSの分散システムの技術として, ブロックチェーンが使用できるか調査中である.</li> <li>将来的にGearsOSに組み込む予定のある分散フレームワークChristieに分散フレームワークを実装することにした。</li> </ul> <!-- # OS の拡張性と信頼性の両立 --> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="christie">Christie</h2> <ul> <li>Christieは当研究室で開発している分散フレームワークである.</li> <li>現在はjava上で開発されているが, 別言語で構成されたGearsOSに組み込む予定があるため,それに向けて書き換え可能な構成となっている.</li> <li>コーディングをする上に置いて以下の概念が存在する。 <ul> <li>CodeGear(以下CG) <ul> <li>スレッド、クラスに相当し、javaの継承を用いて記述する。</li> </ul> </li> <li>CodeGearManager(以下CGM)</li> <li>DataGear(以下DG)</li> <li>DataGearManager(以下DGM)</li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="christieの言語概念">Christieの言語概念</h2> <ul> <li>CGはスレッド, クラスに相当し, javaの継承を用いて記述する.</li> <li>DGは変数データに相当し, CG内でアノテーションを用いて変数データを取り出せる.</li> <li>CGMはノードであり, DG, CG, DGMを管理する.</li> <li>DGMはDGを管理するものであり, putという操作により, 変数データ(DG)を格納できる. <ul> <li>DGMにはLocalDGMとRemoteDGMが存在する。LocalDGMは各ノード固有のデータベースである。RemoteDSMは他ノードのLocalDGMに対応するproxyであり、接続しているノードの数だけ存在する。</li> <li>DGMのput操作を行う際にはLocalとRemoteのどちらかを選ぶ.Localであれば、LocalのCGMが管理するDGMに対しDGを格納し, Remoteの場合は接続したRemoteさきのCGMのDGMにDGを格納する.</li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="dgm">DGM</h2> <ul> <li>RocalDGMを立ち上げるにはDataSegmentクラスが提供する、connectメソッドを用い、接続したいポートのipアドレスとport番号、そして任意のManager名を指定することで立ち上げる。</li> <li>立ち上げ後はManager名を指定してDataSegmentAPI用いてDSのやり取りを行うため、プログラマはManager名を意識することでLocalへの操作もRemoteへの操作も同様に扱える。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="dgのアノテーション">DGのアノテーション</h2> <ul> <li>DGを取り出す際にはCG内で宣言した変数データにアノテーションをつける。DGアノテーションには Take、Peek、TakeFrom、PeekFrom、の4つがある。 <ul> <li>Take <ul> <li>先頭のDGを読み込み、そのDGを削除する。</li> </ul> </li> <li>Peek <ul> <li>先頭のDGを読み込むが、DGが消去されない。そのため特に操作をしない場合、同じデータを参照し続ける。</li> </ul> </li> <li>TakeFrom <ul> <li>Takeと似ているが、Remote DGM nameをしているすることで、その接続先のDGM からTake操作をおこえる。</li> </ul> </li> <li>PeekFrom <ul> <li>Peekと似ているが、 Remote DGM nameをしているすることで、その接続先のDGM からPeek操作をおこえる。</li> </ul> </li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="christieのコード例">Christieのコード例</h2> <pre><code class="language-code">package christie.example.HelloWorld; import christie.codegear.CodeGearManager; import christie.codegear.StartCodeGear; public class StartHelloWorld extends StartCodeGear { public StartHelloWorld(CodeGearManager cgm) { super(cgm); } public static void main(String[] args){ CodeGearManager cgm = createCGM(10000); cgm.setup(new HelloWorldCodeGear()); cgm.getLocalDGM().put("helloWorld","hello"); cgm.getLocalDGM().put("helloWorld","world"); } } </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="annottation">Annottation</h2> <ul> <li>ChristieではInputDGの指定にはアノテーションを使う。</li> <li>アノテーションとはクラスやメソッド、パッケージに対して、付加情報を記述できるJavaのMeta Computationである。</li> <li>先頭に@をつけることで記述し、オリジナルのアノテーションを定義することもできるInput となる型の変するを直接宣言し、変数名としてkeyを記述する。その上にアノテーションでTakeもしくはPeekを指定する。 <pre><code class="language-code">@Take public String name; </code></pre> <pre><code class="language-code">@TakeFrom("remote") public String name; </code></pre> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="topologymanager">TopologyManager</h2> <ul> <li>TopologyManagerとはTopologyを形成するために、参加を表明したノード、TopologyNodeに名前を与え、必要があればノード同士の配線を行うノードである。</li> <li>TopologyManagerのTopology形成方法として、静的Topologyと動的Topologyがある。</li> <li>動的Topologyは参加を表明したノードに対し、動的にノード同士の関係を作る。例えばTreeを構成する場合、参加したノードから順にrootに近い役割を与え、またCodeGearはノードが参加し、parentに接続された後に実行される。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="静的topology">静的Topology</h2> <ul> <li>静的Toopologyはdotファイルを与えることでノード関係を下の図のようにする。</li> <li>静的Topologyはdotファイルのノード数と同等のTopologyNodeがあって初めて、CodeGearが実行される。 <pre><code class="language-Code">digraph test { node0 -> node1 [label="right"] node1 -> node2 [label="right"] node2 -> node0 [label="right"] } </code></pre> </li> </ul> <div style="text-align: center;"> <img src="../paper/images/ring.svg" alt="MetaGear" width="300" /> </div> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="ブロックチェーンのトランザクション">ブロックチェーンのトランザクション</h2> <ul> <li>ブロックチェーンはP2Pにてネットワーク間が動作している。つまり、ブロックチェーンにはサーバー、クライアントの区別がなく全てのノードが平等である。</li> <li>ブロックチェーンにおけるブロックは複数のトランザクションをまとめたものである。ブロックの構造は使用するコンセンサスにより変わるが基本的には、previous block hash, merkle root hash, timeが含まれるBlockHeaderとTransactionListにより構成される。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="blockheader">BlockHeader</h2> <ul> <li>BlockHeaderには、前のブロックをハッシュ化したもの、トランザクションをまとめたmarkle treeのrootのhash、そのブロックを生成したtimeとなっている。</li> <li>previous block hashは、前のブロックのパラメータを並べてhash化したものである。</li> <li>上記のものがそれぞれ連なっていることによって下の図のようなブロック繋がっている。そのため一つが更新されたらそのあとにつながるブロック全てを更新しなければならなくなる。</li> </ul> <div style="text-align: center;"> <img src="../paper/images/chain.svg" alt="MetaGear" width="600" /> </div> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="blockの動作">Blockの動作</h2> <ul> <li>ブロックが生成された場合、知っているノードにそのブロックをブロードキャストする。通信量を抑えるためにブロックを送ったあと、ブロックをシリアライズして送信する場合もある。</li> <li>誤りがあればさらにそのノードがブロックをブロードキャストする。そしてTransaction PoolというTransactionをためておく場所から、そのブロックに含まれるTransactionを削除し、新しいブロックを生成する。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="transaction">Transaction</h2> <ul> <li>トランザクションとはデータのやり取りを行なった記録の最小単位である。トランザクションの構造は次のとおりである。</li> <li>TransactionHash <ul> <li>トランザクションをハッシュ化したもの。</li> </ul> </li> <li>data <ul> <li>データ</li> </ul> </li> <li>sendAddress <ul> <li>送り元のアドレス。</li> </ul> </li> <li>receiveAddress <ul> <li>送り先のアカウントのアドレス。</li> </ul> </li> <li>signature <ul> <li>トランザクションの一部と秘密鍵をSHA256でハッシュ化したもの。ECDSAで署名している。</li> </ul> </li> <li>トランザクションはノード間で伝搬され、ノードごとに検証される。そして検証を終え、不正なトランザクションであればそれを破棄し、検証に通った場合はTransaction Poolに取り込まれ、また検証したノードからトランザクションがブロードキャストする。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="コンセンサスアルゴリズム">コンセンサスアルゴリズム</h2> <ul> <li>fork <ul> <li>ブロック生成後にブロードキャストを行うと、ブロック高の同じもしくは高いブロックチェーンにたどり着く状態があり、異なるブロックを持った二つのブロックチェーンのうちどちらかを破棄する必要がある。</li> </ul> </li> <li>fork状態を解消するために用いられるのがコンセンサスアルゴリズムである。</li> <li>ブロックチェーンはパブリックブロックチェーンとコンソーシアムブロックチェーンの場合によってコンセンサスアルゴリズムが変わる。 <ul> <li>パブリックブロックチェーン <ul> <li>不特定たすのノードが参加するブロックチェーンを指す。</li> <li>不特定多数のノード間、全体のノードの参加数が変わる状況でコンセンサスの変わるアルゴリズムでなければならない。</li> </ul> </li> <li>コンソーシアムブロックチェーン <ul> <li>許可したノードのみが参加できるブロックチェーンである。</li> </ul> </li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="proof-of-work">Proof of Work</h2> <ul> <li>Proof of Workは次のような問題が生じている場合にもコンセンサスを取ることができる。 <ul> <li>プロセス毎の処理速度が違う。つまりメッセージの返信が遅い場合がある。</li> <li>通信にどれだけの時間がかかるか分からず、その途中でメッセージが途切れる場合がある</li> <li>プロセスは停止する可能性がある。また復旧する場合もある。</li> <li>悪意ある情報を他のノードが送信する可能性がある。</li> </ul> </li> <li>Proof of Workに必要なパラメーターは次のとおりである。 <ul> <li>nonce <ul> <li>ブロックのパラメータに含まれる。</li> </ul> </li> <li>dificulty <ul> <li>Proof of Workの難しさ、正確には一つのブロックを生成する時間の調整。</li> </ul> </li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="proof-of-workのブロック生成手順">Proof of Workのブロック生成手順</h2> <ul> <li>1, ブロックとnonceを加えたものをハッシュ化する。この際、nonceによって、ブロックのハッシュは全く異なるものとなる。</li> <li>2, ハッシュ化したブロックの先頭から数えた0ビットの数がdifficultyより多ければ、そのブロックにnonceを埋め込み、ブロックを作る。</li> <li>3, 2の条件に当てはまらなければnonceに1を足して１からやり直す。</li> </ul> <div style="text-align: center;"> <img src="../paper/images/proof-of-work.pdf" alt="MetaGear" width="600" /> </div> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="proof-of-workの欠点">Proof of workの欠点</h2> <ul> <li>CPUのリソースを使用する</li> <li>Transactionが確定するのに時間がかかる。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="paxos">Paxos</h2> <ul> <li>Paxosはノードの多数決によってコンセンサスをとるアルゴリズムである。</li> <li>Paxosは以下のような問題があっても値を一意に決めることができる。 <ul> <li>1,プロセス毎に処理の速度が違う。つまりメッセージの返信が遅い可能性がある。</li> <li>2,通信にどれだけの時間がかかるかわからず、その途中でメッセージが失われる可能性がある。</li> <li>3,プロセスは停止する可能性もある。</li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="paxosの役割ノード">Paxosの役割ノード</h2> <ul> <li>Paxosは3つの役割ノードがある。 <ul> <li>proposer <ul> <li>値を提案するノード。</li> </ul> </li> <li>accepter <ul> <li>値を決めるノード。</li> </ul> </li> <li>lerner <ul> <li>accepterから値を集計し、過半数以上のaccepterが持っている値を決める。</li> </ul> </li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="paxosの役割定義">Paxosの役割定義</h2> <ul> <li>提案 <ul> <li>異なる提案ごとにユニークな提案番号と値からなる。提案番号とは、異なる提案を見分けるための識別子であり、単調増加である。</li> </ul> </li> <li>値(提案)がacceptされる <ul> <li>accepterによって値(提案)が決まること。</li> </ul> </li> <li>値(提案)が選択(chosen)される <ul> <li>過半数以上のacceptorによって、値がacceptされた場合、それを値(提案)が選択されたと言う。</li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="paxosのアルゴリズム">paxosのアルゴリズム</h2> <ul> <li>paxosのアルゴリズムは2フューズあり、一つ目のフェーズprepare-promiseと二つ目のフェーズaccept-acceptedの二つに区分される。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="paxosのアルゴリズム-prepare-promise">paxosのアルゴリズム prepare-promise</h2> <ul> <li>(言葉での説明記入?)</li> </ul> <div style="text-align: center;"> <img src="../paper/images/prepare-promise.svg" alt="MetaGear" width="600" /> </div> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="paxosのアルゴリズム-accept-accepted">paxosのアルゴリズム accept-accepted</h2> <ul> <li>(1)proposerは過半数のacceptorから返事が来たのなら、次の提案をaccepterに送る。これをacceptリクエストという。 <ul> <li>(a)もし、約束のみ帰って来ているのならば、任意の値vをprepareリクエストで送った提案に設定する。</li> <li>(b)もし、acceptされた提案が帰って来たら、その中で最大の提案番号v’をprepareリクエストで送った提案の値として設定する。</li> </ul> </li> <li>(2)acceptorはacceptリクエストが来た場合、Promiseした提案よりもacceptリクエストで提案された番号が低ければ、その提案を拒否する。それ以外の場合、acceptする。</li> </ul> <div style="text-align: center;"> <img src="../paper/images/accept-accepted.pdf" alt="MetaGear" width="600" /> </div> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="paxosとproof-of-workの比較">PaxosとProof of Workの比較</h2> <ul> <li>Proof of Workと比較しメッセージ通信量と耐障害性のトレードオフになっている。</li> <li>Paxosでコンセンサスを取る際、Proof of Workと比較して次のようなメリットがある。 <ul> <li>CPUにリソースを消費しない。</li> <li>Transactionの確定に時間がかからない。</li> </ul> </li> <li>Paxos自体がリーダー選出に向いているアルゴリズムである。そのため、リーダーを決定し、そのノードのブロックチェーンの一貫性のみをかんがえることができる。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="christieにおけるブロックチェーンの実装の利点">Christieにおけるブロックチェーンの実装の利点</h2> <ul> <li>データの取り出しが簡単。ChristieはDataGearという単位でデータを保持する。そのためブロックやトランザクションはDataGearに包めばいいため、どう送るか考えなくて済む。</li> <li>TopologyManagerでのテストが便利。dotファイルがあれば、TopologyManagerが任意の形でTopologyを作れる。そのため、ノードの配置については理想の環境を作れるため、理想のテスト環境を作ることができる。</li> <li>機能ごとにファイルが実装できるため、見通しが良い。ChristieはCbCのgotoと同じように関数が終わるとsetupによって別の関数に移動する。そのため自然に機能ごとにファイルを作るため、見通しがよくなる。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="christieにおけるブロックチェーンの実装の欠点">Christieにおけるブロックチェーンの実装の欠点</h2> <ul> <li>デバックが難しい。cgm.setupでCodeGearが実行されるが、keyの待ち合わせで止まり、どこのCGで止まっているのか分からないことが多かった。例えばputするkeyのスペルミスでコードの待ち合わせが起こり、CGが実行されず、エラーなども表示されずにwaitすることがある。その時に、どこで止まっているか特定するのが難しい。</li> <li>Takefrom,PeekFromの使い方が難しい。TakeFrom,PeekFromは引数でDGMnameを指定する。しかし、DGMの名前を静的に与えるよりも、動的に与えたい場合が多かった。</li> <li>Takeの待ち合わせでCGが実行されない。2つのCGで同じ変数をTakeしようとすると、setupされた時点で変数がロックされる。この時、片方のCGはDGがもう全て揃っているのに、全ての変数が揃っていないもう片方のCGに同名の変数がロックされ、実行されない場合がある。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="実験">実験</h2> <ul> <li>実際にコンセンサスアルゴリズムPaxosをPC上に分散環境を実装して検証した。分散環境場で動かすため、JobScheduleの一種であるTorque Resource Manager(Torque)を使用した。</li> <li>Torqueはjobという単位でプログラムを管理し、リソースを確保できたら実行する。jobはqsubというコマンドを使って複数登録することができる。</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="torque">Torque</h2> <ul> <li>Torqueには主に三つのNodeの種類がある。 <ul> <li>Master Node <ul> <li>pds.serverを実行しているノード。他のノードの役割とも併用できる。</li> </ul> </li> <li>Submit/Interactive Nodes <ul> <li>クライアントがjobを投入したり監視したりするノード。qsubやqstatのようなクライアントコマンドが実行できる。</li> </ul> </li> <li>Computer Nodes <ul> <li>投入されたjobを実際に実行するノード。pds.momが実行されており、それによってjobをstart、kill、管理する。</li> </ul> </li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="実際の実験内容">実際の実験内容</h2> <ul> <li>KVM上にMaster NOde, Submit/InteractiveNodeの役割を持つVM1台、ComputerNOdesとして15台を用意しjobへ投入。</li> <li>一意の数を決定することが確認できた。</li> <li>Lernerが値を選択した後も、提案番号がより大きいものを出力していたが値が覆らなかった。</li> <li>本実験では分かりやすいよう数字で行なったが、タランザクション、ブロックに応用することでブロックチェーンのコンセンサス部分を完成させることができる。</li> </ul> <div style="text-align: center;"> <img src="../paper/images/kvm.svg" alt="MetaGear" width="600" /> </div> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="実際にpaxosを動かした際の解説">実際にPaxosを動かした際の解説</h2> <ul> <li>単純化としてproposerの数えを2、accepterの数を3、lernerの数を1とする。</li> </ul> <div style="text-align: center;"> <img src="../paper/images/paxos1.svg" alt="MetaGear" width="900" /> </div> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="まとめ">まとめ</h2> <ul> <li>Paxosの動作は確認できた。トランザクションの速度がノード数にどのように影響されるか調査する必要がある。</li> <li>ChristieのTopology Managerは実験するノードの設定を行う集中制度ノードであり、ブロックチェーンとの相性は良くないが、分散ファイルシステムなどの用途の場合、このような手法の方がノードの管理が可能な利点がある。</li> <li>ChristieではBlock,Transaction,Hashの生成、署名、Proof of Workのためのクラスは作られている。しかし、Transactionに置いてまだファイルのデータを入れる機能がない。</li> <li>以上のものを組み合わせれば簡易的なブロックチェーンが作ることができ、Paxosによるブロックチェーンが分散クラスタ上でファイルやり取りをした際のスケーラビリティを計測することができるようになる。</li> </ul> </div> </div><!-- presentation --> </body> </html>