|
10
|
1 <!DOCTYPE html>
|
|
|
2 <html>
|
|
|
3 <head>
|
|
|
4 <meta http-equiv="content-type" content="text/html;charset=utf-8">
|
|
|
5 <title>Christieによるブロックチェーンの実装</title>
|
|
|
6
|
|
|
7 <meta name="generator" content="Slide Show (S9) v2.5.0 on Ruby 2.3.7 (2018-03-28) [universal.x86_64-darwin17]">
|
|
|
8 <meta name="author" content="赤堀 貴一" >
|
|
|
9
|
|
|
10 <!-- style sheet links -->
|
|
|
11 <link rel="stylesheet" href="s6/themes/projection.css" media="screen,projection">
|
|
|
12 <link rel="stylesheet" href="s6/themes/screen.css" media="screen">
|
|
|
13 <link rel="stylesheet" href="s6/themes/print.css" media="print">
|
|
|
14 <link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection">
|
|
|
15
|
|
|
16 <!-- JS -->
|
|
|
17 <script src="s6/js/jquery-1.11.3.min.js"></script>
|
|
|
18 <script src="s6/js/jquery.slideshow.js"></script>
|
|
|
19 <script src="s6/js/jquery.slideshow.counter.js"></script>
|
|
|
20 <script src="s6/js/jquery.slideshow.controls.js"></script>
|
|
|
21 <script src="s6/js/jquery.slideshow.footer.js"></script>
|
|
|
22 <script src="s6/js/jquery.slideshow.autoplay.js"></script>
|
|
|
23
|
|
|
24 <!-- prettify -->
|
|
|
25 <link rel="stylesheet" href="scripts/prettify.css">
|
|
|
26 <script src="scripts/prettify.js"></script>
|
|
|
27
|
|
|
28 <script>
|
|
|
29 $(document).ready( function() {
|
|
|
30 Slideshow.init();
|
|
|
31
|
|
|
32 $('code').each(function(_, el) {
|
|
|
33 if (!el.classList.contains('noprettyprint')) {
|
|
|
34 el.classList.add('prettyprint');
|
|
|
35 }
|
|
|
36 });
|
|
|
37 prettyPrint();
|
|
|
38 } );
|
|
|
39
|
|
|
40
|
|
|
41 </script>
|
|
|
42
|
|
|
43 <!-- Better Browser Banner for Microsoft Internet Explorer (IE) -->
|
|
|
44 <!--[if IE]>
|
|
|
45 <script src="s6/js/jquery.microsoft.js"></script>
|
|
|
46 <![endif]-->
|
|
|
47
|
|
|
48
|
|
|
49
|
|
|
50 </head>
|
|
|
51 <body>
|
|
|
52
|
|
|
53 <div class="layout">
|
|
|
54 <div id="header"></div>
|
|
|
55 <div id="footer">
|
|
|
56 <div align="right">
|
|
|
57 <img src="s6/images/logo.svg" width="200px">
|
|
|
58 </div>
|
|
|
59 </div>
|
|
|
60 </div>
|
|
|
61
|
|
|
62 <div class="presentation">
|
|
|
63
|
|
|
64 <div class='slide cover'>
|
|
|
65 <table width="90%" height="90%" border="0" align="center">
|
|
|
66 <tr>
|
|
|
67 <td>
|
|
|
68 <div align="center">
|
|
|
69 <h1><font color="#808db5">Christieによるブロックチェーンの実装</font></h1>
|
|
|
70 </div>
|
|
|
71 </td>
|
|
|
72 </tr>
|
|
|
73 <tr>
|
|
|
74 <td>
|
|
|
75 <div align="left">
|
|
|
76 赤堀 貴一
|
|
16
|
77 並列信頼研
|
|
10
|
78 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
|
|
|
79 </div>
|
|
|
80 </td>
|
|
|
81 </tr>
|
|
|
82 </table>
|
|
|
83 </div>
|
|
|
84
|
|
|
85 <div class='slide '>
|
|
|
86 <!-- === begin markdown block ===
|
|
|
87
|
|
|
88 generated by markdown/1.2.0 on Ruby 2.3.7 (2018-03-28) [universal.x86_64-darwin17]
|
|
20
|
89 on 2019-02-20 14:44:28 +0900 with Markdown engine kramdown (1.17.0)
|
|
10
|
90 using options {}
|
|
|
91 -->
|
|
|
92
|
|
|
93 <!-- _S9SLIDE_ -->
|
|
|
94 <h1 id="section">目次</h1>
|
|
|
95
|
|
|
96 <ul>
|
|
13
|
97 <li>研究目的</li>
|
|
10
|
98 <li>ブロックチェーンとは</li>
|
|
19
|
99 <li>コンセンサスアルゴリズム</li>
|
|
10
|
100 <li>Christieとは</li>
|
|
|
101 <li>TopologyManagerの実装</li>
|
|
19
|
102 <li>PCクラスタ上でPaxosの実行</li>
|
|
10
|
103 <li>まとめ</li>
|
|
|
104 </ul>
|
|
|
105
|
|
|
106
|
|
|
107 </div>
|
|
|
108 <div class='slide '>
|
|
|
109 <!-- _S9SLIDE_ -->
|
|
19
|
110 <h1 id="os">OS単位での分散システム</h1>
|
|
10
|
111
|
|
|
112 <ul>
|
|
19
|
113 <li>コンピュータのデータに不整合は起こり得る. 不整合は誤操作や, 複数人によるデータの同時書き込みによって起こる.</li>
|
|
16
|
114 <li>ブロックチェーンはデータを分散でき, 不整合の検知が可能である.</li>
|
|
12
|
115 <li>当研究室ではGearsOS, そしてGearsOSに組み込む予定がある分散フレームワークChristieがある.</li>
|
|
19
|
116 <li>Christieにブロックチェーンを実装し, GearsOSに組み込むことで, GearsOS間の分散システムを構成することが可能になる. また, 分散システムを作らずとも, hash chainとしてデータの不整合を検知できる.</li>
|
|
12
|
117 <li>よって, Christieにブロックチェーンを実装する.</li>
|
|
10
|
118 </ul>
|
|
|
119
|
|
|
120
|
|
|
121 </div>
|
|
|
122 <div class='slide '>
|
|
|
123 <!-- _S9SLIDE_ -->
|
|
|
124 <h1 id="section-1">ブロックチェーンとは</h1>
|
|
|
125
|
|
12
|
126 <p>ブロックチェーンとは分散型台帳技術と呼ばれる. 複数のトランザクションをまとめたブロックをつなげたものを, 台帳と呼ぶ. その台帳をシステムに参加しているノードが保持する技術である.</p>
|
|
10
|
127
|
|
20
|
128 <p>ブロック同士はハッシュでつながっている. そのため, 1つのブロックが変更されると, それ以降のブロックの整合性が保たれないため, そのHashを調べることで不整合を検知できる</p>
|
|
10
|
129
|
|
12
|
130 <div style="text-align: center;">
|
|
16
|
131 <img src="./images/blockchain.svg" alt="blockchain" width="800" />
|
|
12
|
132 </div>
|
|
|
133
|
|
|
134
|
|
|
135 </div>
|
|
|
136 <div class='slide '>
|
|
|
137 <!-- _S9SLIDE_ -->
|
|
19
|
138 <h1 id="section-2">コンセンサスアルゴリズム</h1>
|
|
10
|
139
|
|
|
140 <ul>
|
|
12
|
141 <li>コンセンサスアルゴリズムは分散環境上で値を一意に決めるためのアルゴリズムである.
|
|
|
142 <ul>
|
|
|
143 <li>Paxos, Raftなどが有名. 簡単に言えば多数決を安全に行うためのアルゴリズム.</li>
|
|
|
144 <li>故障モデルというものがあって, コンセンサスアルゴリズムでレベルが4段階ある. Paxos, Raftはレベル3で, ノードに裏切り者がいなければ安全に動く.</li>
|
|
|
145 </ul>
|
|
10
|
146 </li>
|
|
|
147 </ul>
|
|
|
148
|
|
|
149
|
|
|
150 </div>
|
|
|
151 <div class='slide '>
|
|
|
152 <!-- _S9SLIDE_ -->
|
|
19
|
153 <h1 id="section-3">プライベートブロックチェーンのコンセンサスアルゴリズム</h1>
|
|
10
|
154
|
|
|
155 <ul>
|
|
12
|
156 <li>プライベートブロックチェーンは管理者が許可するノードしか参加しない. つまり, レベル3のコンセンサスアルゴリズムで十分.</li>
|
|
|
157 <li>新しいブロックもパブリックブロックチェーンより早く作れる.</li>
|
|
19
|
158 <li>よってPaxosを実装しました.</li>
|
|
10
|
159 </ul>
|
|
|
160
|
|
|
161
|
|
|
162 </div>
|
|
|
163 <div class='slide '>
|
|
|
164 <!-- _S9SLIDE_ -->
|
|
13
|
165 <h1 id="paxos">Paxos</h1>
|
|
|
166
|
|
|
167 <ul>
|
|
16
|
168 <li>Proposerが値を提案する.</li>
|
|
|
169 <li>Acceptorが値を決める.</li>
|
|
|
170 <li>Learnerが決めた値を集計して, 多数決により値を選択する.</li>
|
|
13
|
171 </ul>
|
|
|
172
|
|
16
|
173 <p>これによって, 値が一意に決まる.</p>
|
|
13
|
174
|
|
19
|
175 <div style="text-align: center;">
|
|
|
176 <img src="./images/paxos-choice.svg" alt="blockchain" width="800" />
|
|
|
177 </div>
|
|
|
178
|
|
13
|
179
|
|
|
180 </div>
|
|
|
181 <div class='slide '>
|
|
|
182 <!-- _S9SLIDE_ -->
|
|
10
|
183 <h1 id="christie">Christieとは</h1>
|
|
|
184
|
|
|
185 <ul>
|
|
19
|
186 <li>研究室で使っていたAliceの問題点を解消した, 分散プログラミングを簡単に書けるjavaのフレームワーク.
|
|
|
187 <ul>
|
|
|
188 <li>データの取り出しをアノテーションを用いてシンプルに記述することができるようになった. そのため, ソースコードの可視性が上がった.</li>
|
|
|
189 <li>テストが簡単になった. AliceではLocalDataGearManagerを一つしか持てないため, LocalDataGearManagerの通信のテストが難しかった. Christieは複数のLocalDataGearManagerを持てるようになったため, 1つのアプリケーション内で分散のテストができるようになった.</li>
|
|
|
190 </ul>
|
|
|
191 </li>
|
|
16
|
192 <li>Continued based C(CbC)と似た書き方が可能. DataGearという単位でDataの移動ができる.</li>
|
|
13
|
193 <li>まだAliceから引き継いでない機能でTopologyManagerというものがある. これは, Topologyを構成するための機能.</li>
|
|
|
194 <li>簡単に言えば, ノード間の配線をしてくれる. 分散環境上で実験を行いたい場合に便利なため, これを実装してからPaxosを実装した.</li>
|
|
10
|
195 </ul>
|
|
|
196
|
|
|
197
|
|
|
198 </div>
|
|
|
199 <div class='slide '>
|
|
|
200 <!-- _S9SLIDE_ -->
|
|
|
201 <h1 id="topologymanager">TopologyManagerとは</h1>
|
|
|
202
|
|
|
203 <ul>
|
|
12
|
204 <li>TopologyManagerは参加を表明したノード(TopologyNode)を元にTopologyを作る.</li>
|
|
16
|
205 <li>TopologyManagerはdotファイルというものを読み込んで, そのとおりにTopologyを生成する.</li>
|
|
10
|
206 </ul>
|
|
|
207
|
|
16
|
208 <pre><code>digraph test {
|
|
|
209 node0 -> node1 [label="right"]
|
|
|
210 node1 -> node2 [label="right"]
|
|
|
211 node2 -> node0 [label="right"]
|
|
|
212 }
|
|
|
213 </code></pre>
|
|
|
214
|
|
|
215 <div style="text-align: center;">
|
|
|
216 <img src="./images/ring.svg" alt="blockchain" width="800" />
|
|
|
217 </div>
|
|
|
218
|
|
10
|
219
|
|
|
220 </div>
|
|
|
221 <div class='slide '>
|
|
|
222 <!-- _S9SLIDE_ -->
|
|
16
|
223 <h1 id="christie-1">Christieによる実装の利点</h1>
|
|
|
224
|
|
|
225 <p>ブロックチェーンの実装に伴ってわかったChristieの利点を述べる.</p>
|
|
10
|
226
|
|
|
227 <ul>
|
|
16
|
228 <li>ブロック, トランザクションを送るのが簡単. ChristieはDataGearという単位でデータを保持するため, データ構造に@Messageを付け, putすることでデータの送信ができる.</li>
|
|
|
229 <li>TopologyManagerでのテストが便利. dotファイルが有れば, TopologyManagerが任意の形でTopologyを作れる. そのため, ノードの配置について理想のテスト環境を作ることができる.</li>
|
|
|
230 <li>ソースコードの機能ごとにファイルが実装できるため, 見通しが良い. ChristieはCbCのgotoと同じように関数が終わるとsetupによって別の関数に移動する. そのため自然に機能ごとにファイルを作るため, 見通しが良くなった.</li>
|
|
10
|
231 </ul>
|
|
|
232
|
|
|
233
|
|
|
234 </div>
|
|
|
235 <div class='slide '>
|
|
|
236 <!-- _S9SLIDE_ -->
|
|
19
|
237 <h1 id="pcpaxos">PCクラスタ上でのPaxosの実行</h1>
|
|
13
|
238
|
|
16
|
239 <ul>
|
|
|
240 <li>ブロックチェーンにおいて, 分散環境上でテストしなければいけないのはコンセンサスアルゴリズムである. そのため, Paxosを実装し, 実際の分散環境上で動かした.</li>
|
|
|
241 <li>評価は値が一意に決まるかどうかである. 値が一意に決まるならば, リーダーがコンセンサスをとっても良いし, ブロックごとにコンセンサスをとっても良い.</li>
|
|
|
242 <li>今回は単純化のために, 整数でコンセンサスを取る.</li>
|
|
|
243 <li>また, ノードはproposerが2つ, acceptorが3つ, learnerが1つという構成で実験した.</li>
|
|
|
244 <li>その結果, 値が一意に決まることがわかった.</li>
|
|
|
245 </ul>
|
|
10
|
246
|
|
|
247
|
|
|
248 </div>
|
|
|
249 <div class='slide '>
|
|
|
250 <!-- _S9SLIDE_ -->
|
|
19
|
251 <h1 id="paxos1">Paxos実行結果1</h1>
|
|
|
252
|
|
|
253 <div style="text-align: center;">
|
|
|
254 <img src="./images/paxos1.svg" alt="blockchain" width="800" />
|
|
|
255 </div>
|
|
|
256
|
|
|
257
|
|
|
258 </div>
|
|
|
259 <div class='slide '>
|
|
|
260 <!-- _S9SLIDE_ -->
|
|
|
261 <h1 id="section-4">まとめ</h1>
|
|
10
|
262 <ul>
|
|
20
|
263 <li>実装をし, 分散環境でのデバッグが難しいことがわかった.</li>
|
|
19
|
264 <li>Christieを用いてコンセンサスアルゴリズムのPaxos, ブロック, トランザクション, proof of workも実装した.</li>
|
|
|
265 <li>これらを繋げてブロックチェーンにできれば, Christieにブロックチェーンが実装できる. パブリックブロックチェーンもプライベートブロックチェーンもどちらも作れる. 2つ作って速度比較も行える.</li>
|
|
10
|
266 </ul>
|
|
|
267 <!-- === end markdown block === -->
|
|
|
268 </div>
|
|
|
269
|
|
|
270
|
|
|
271 </div><!-- presentation -->
|
|
|
272 </body>
|
|
|
273 </html>
|
