# HG changeset patch
# User akahori
# Date 1550654577 -32400
# Node ID 3776a23274a79e121d7ac9b4627161305b769c95
# Parent 828b13d9c918f405f9055349725e85648d550404
fix slide
diff -r 828b13d9c918 -r 3776a23274a7 final_main/chapter2/chapter2.tex
--- a/final_main/chapter2/chapter2.tex Wed Feb 20 15:37:20 2019 +0900
+++ b/final_main/chapter2/chapter2.tex Wed Feb 20 18:22:57 2019 +0900
@@ -7,9 +7,6 @@
ブロックチェーンとは分散型台帳技術とも呼ばれ, 複数のトランザクションをまとめたブロック, そのブロックをハッシュによって繋げ, 前後関係を表した台帳というものを, システムに参加している複数のノードが保持する技術である. ブロックチェーンにはパブリック型とコンソーシアム型の2種類がある. パブリック型は不特定多数のノードを対象にしており, コンソーシアム型は管理者が許可したノードが参加している.
-\section{P2P}
-ブロックチェーンのネットワーク間はP2Pで動く. つまり, ブロックチェーンネットワークはサーバー, クライアントの区別がなく, すべてのノードが平等である. そのため, 非中央的にデータの管理を行う.
-
\section{ブロックとその構造}
ブロックチェーンにおけるブロックは, 複数のトランザクションをまとめたものである. ブロックの構造は使用するコンセンサスアルゴリズムによって変わるが, 基本的な構造としては次のとおりである.
@@ -60,8 +57,16 @@
\section{fork}
-ブロックの生成をしたあとにブロードキャストをすると, ブロック高の同じ, もしくは相手のブロック高のほうが高いブロックチェーンにたどり着く場合がある. もちろん, 相手のブロックチェーンはそのブロックを破棄する. しかしこの場合, 異なるブロックを持った2つのブロックチェーンができる. この状態をforkという. fork状態になると, 2つの異なるブロックチェーンができることになるため, 1つにまとめなければならない. 1つにまとめるためにコンセンサスアルゴリズムを使うが, コンセンサスアルゴリズムについては次章で説明する.
+ブロックの生成をしたあとにブロードキャストをすると, ブロック高の同じ, もしくは相手のブロック高のほうが高いブロックチェーンにたどり着く場合がある. もちろん, 相手のブロックチェーンはそのブロックを破棄する. しかしこの場合, 異なるブロックを持った2つのブロックチェーンができる. この状態をforkという. その状態を図\ref{fig:fork}に示す. fork状態になると, 2つの異なるブロックチェーンができることになるため, 1つにまとめなければならない. 1つにまとめるためにコンセンサスアルゴリズムを使う. コンセンサスアルゴリズムについては次章で説明する.
+\begin{figure}[H]
+\centering
+ \fbox{
+ \includegraphics[scale=1]{}
+ }
+\caption{}
+\label{fig:}
+\end{figure}
diff -r 828b13d9c918 -r 3776a23274a7 slide/slide.html
--- a/slide/slide.html Wed Feb 20 15:37:20 2019 +0900
+++ b/slide/slide.html Wed Feb 20 18:22:57 2019 +0900
@@ -2,7 +2,7 @@
- Christieによるブロックチェーンの実装
+ Christieによる
ブロックチェーンの実装
@@ -66,7 +66,7 @@
- Christieによるブロックチェーンの実装
+ Christieによる ブロックチェーンの実装
|
@@ -86,7 +86,7 @@
@@ -113,7 +113,7 @@
コンピュータのデータに不整合は起こり得る. 不整合は誤操作や, 複数人によるデータの同時書き込みによって起こる.
ブロックチェーンはデータを分散でき, 不整合の検知が可能である.
当研究室ではGearsOS, そしてGearsOSに組み込む予定がある分散フレームワークChristieがある.
- Christieにブロックチェーンを実装し, GearsOSに組み込むことで, GearsOS間の分散システムを構成することが可能になる. また, 分散システムを作らずとも, hash chainとしてデータの不整合を検知できる.
+ Christieにブロックチェーンを実装し, GearsOSに組み込むことで, GearsOS間の分散ファイルシステムを構成することが可能になる. また, 分散ファイルシステムを作らずとも, hash chainとしてデータの不整合を検知できる.
よって, Christieにブロックチェーンを実装する.
@@ -141,7 +141,15 @@
コンセンサスアルゴリズムは分散環境上で値を一意に決めるためのアルゴリズムである.
- Paxos, Raftなどが有名. 簡単に言えば多数決を安全に行うためのアルゴリズム.
- - 故障モデルというものがあって, コンセンサスアルゴリズムでレベルが4段階ある. Paxos, Raftはレベル3で, ノードに裏切り者がいなければ安全に動く.
+ - 分散環境に故障モデルというものがあって, コンセンサスアルゴリズムでレベルが4段階ある.
+
+ - 故障が起きない.
+ - 任意のマシンが故障し, メッセージを受信したり送れない可能性がある.
+ - メッセージに遅延が発生する. そのため, マシンが壊れたのかどうか処理に時間がかかっているのかわからない.
+ - 悪意あるマシンがいる可能性がある.
+
+
+ - Paxos, Raftはレベル3で, ノードに裏切り者がいなければ安全に動く.
@@ -170,8 +178,6 @@
Learnerが決めた値を集計して, 多数決により値を選択する.
-これによって, 値が一意に決まる.
-
@@ -183,7 +189,8 @@
Christieとは
- - 研究室で使っていたAliceの問題点を解消した, 分散プログラミングを簡単に書けるjavaのフレームワーク.
+
- 分散プログラミングを簡単に書けるjavaのフレームワーク.
+ - 研究室で使っていたAliceの問題点を解消した.
- データの取り出しをアノテーションを用いてシンプルに記述することができるようになった. そのため, ソースコードの可視性が上がった.
- テストが簡単になった. AliceではLocalDataGearManagerを一つしか持てないため, LocalDataGearManagerの通信のテストが難しかった. Christieは複数のLocalDataGearManagerを持てるようになったため, 1つのアプリケーション内で分散のテストができるようになった.
@@ -213,7 +220,7 @@
-
+
@@ -259,8 +266,8 @@
まとめ
+
- - 実装をし, 分散環境でのデバッグが難しいことがわかった.
- Christieを用いてコンセンサスアルゴリズムのPaxos, ブロック, トランザクション, proof of workも実装した.
- これらを繋げてブロックチェーンにできれば, Christieにブロックチェーンが実装できる. パブリックブロックチェーンもプライベートブロックチェーンもどちらも作れる. 2つ作って速度比較も行える.
diff -r 828b13d9c918 -r 3776a23274a7 slide/slide.md
--- a/slide/slide.md Wed Feb 20 15:37:20 2019 +0900
+++ b/slide/slide.md Wed Feb 20 18:22:57 2019 +0900
@@ -1,4 +1,4 @@
-title: Christieによるブロックチェーンの実装
+title: Christieによる
ブロックチェーンの実装
author: 赤堀 貴一
profile: 並列信頼研
lang: Japanese
@@ -43,7 +43,7 @@
- 悪意あるマシンがいる可能性がある.
- Paxos, Raftはレベル3で, ノードに裏切り者がいなければ安全に動く.
-
+-
# プライベートブロックチェーンのコンセンサスアルゴリズム
@@ -87,7 +87,7 @@
```
-
+
# Christieによる実装の利点