- -

ブロックチェーンとは

ノード同士はP2Pでつながっており対等である. そのため, 管理者がいなくてもデータの管理が行える.

@@ -145,39 +135,7 @@

ブロックチェーンとは

- -

ブロックチェーンにも種類がある. パブリックブロックチェーンとプライベートブロックチェーンである. 以下に, その違いを述べる.

- - - - - - - - - - - - - - - - - - - - - -

	パブリックブロックチェーン	プライベートブロックチェーン
ノードの参加権	誰でも参加可能	許可された場合のみ参加可能
コンセンサス	遅い	速い

- -

細かい違いは色々あるが, ほとんどはこの2つの違いから生まれる.

- - -

- -

コンセンサスアルゴリズム

コンセンサスアルゴリズムは分散環境上で値を一意に決めるためのアルゴリズムである. @@ -186,19 +144,18 @@
故障モデルというものがあって, コンセンサスアルゴリズムでレベルが4段階ある. Paxos, Raftはレベル3で, ノードに裏切り者がいなければ安全に動く.

Proof of Workを使っているパブリックブロックチェーンは「ブロックが多ければ多いほど」, レベル4に近づく.

プライベートブロックチェーンのコンセンサスアルゴリズム

プライベートブロックチェーンは管理者が許可するノードしか参加しない. つまり, レベル3のコンセンサスアルゴリズムで十分.
新しいブロックもパブリックブロックチェーンより早く作れる.
Paxosを実装しました.
よってPaxosを実装しました.

@@ -215,6 +172,10 @@

これによって, 値が一意に決まる.

@@ -222,7 +183,12 @@

Christieとは

研究室で使っていたAliceの問題点を解消した, 分散プログラミングを簡単に書けるjavaのフレームワーク.
研究室で使っていたAliceの問題点を解消した, 分散プログラミングを簡単に書けるjavaのフレームワーク. +
- データの取り出しをアノテーションを用いてシンプルに記述することができるようになった. そのため, ソースコードの可視性が上がった.
- テストが簡単になった. AliceではLocalDataGearManagerを一つしか持てないため, LocalDataGearManagerの通信のテストが難しかった. Christieは複数のLocalDataGearManagerを持てるようになったため, 1つのアプリケーション内で分散のテストができるようになった.
+
Continued based C(CbC)と似た書き方が可能. DataGearという単位でDataの移動ができる.
まだAliceから引き継いでない機能でTopologyManagerというものがある. これは, Topologyを構成するための機能.
簡単に言えば, ノード間の配線をしてくれる. 分散環境上で実験を行いたい場合に便利なため, これを実装してからPaxosを実装した.

Paxos実験1

- -

- - -

- -

PCクラスタ上でPaxosを動かした話

PCクラスタ上でのPaxosの実行

ブロックチェーンにおいて, 分散環境上でテストしなければいけないのはコンセンサスアルゴリズムである. そのため, Paxosを実装し, 実際の分散環境上で動かした.

まとめ

Paxos実行結果1

+ +

+ + +

+ +

まとめ

Christieを用いてコンセンサスアルゴリズムのPaxos, ブロック, トランザクション, proof of workも実装しました.
これらを繋げてブロックチェーンにできれば, Christieにブロックチェーンが実装できます. パブリックブロックチェーンもプライベートブロックチェーンもどちらも作れる. 2つ作って速度比較も行える.
Christieを用いてコンセンサスアルゴリズムのPaxos, ブロック, トランザクション, proof of workも実装した.
これらを繋げてブロックチェーンにできれば, Christieにブロックチェーンが実装できる. パブリックブロックチェーンもプライベートブロックチェーンもどちらも作れる. 2つ作って速度比較も行える.

diff -r 8296b649f53e -r 1bbebae0635c slide/slide.md --- a/slide/slide.md Wed Feb 20 11:40:41 2019 +0900 +++ b/slide/slide.md Wed Feb 20 13:01:36 2019 +0900 @@ -11,12 +11,12 @@ - コンセンサスアルゴリズム - Christieとは - TopologyManagerの実装 -- PCクラスタ上でPaxosを動かした話 +- PCクラスタ上でPaxosの実行 - まとめ -# 研究目的 OS単位での分散システム +# OS単位での分散システム -- コンピュータのデータに不整合は起こりえます. 不整合は誤操作や, 複数人によるデータの同時書き込みによって起こる. +- コンピュータのデータに不整合は起こり得る. 不整合は誤操作や, 複数人によるデータの同時書き込みによって起こる. - ブロックチェーンはデータを分散でき, 不整合の検知が可能である. - 当研究室ではGearsOS, そしてGearsOSに組み込む予定がある分散フレームワークChristieがある. - Christieにブロックチェーンを実装し, GearsOSに組み込むことで, GearsOS間の分散システムを構成することが可能になる. また, 分散システムを作らずとも, hash chainとしてデータの不整合を検知できる. @@ -26,37 +26,23 @@ ブロックチェーンとは分散型台帳技術と呼ばれる. 複数のトランザクションをまとめたブロックをつなげたものを, 台帳と呼ぶ. その台帳をシステムに参加しているノードが保持する技術である. -ノード同士はP2Pでつながっており, 対等である. そのため, 管理者がいなくてもデータの管理が行える. - -# ブロックチェーンとは -

-# ブロックチェーンとは -ブロックチェーンにも種類がある. パブリックブロックチェーンとプライベートブロックチェーンである. 以下に, その違いを述べる. - -| | パブリックブロックチェーン | プライベートブロックチェーン | -|:-----------:|:------------:|:------------:| -| ノードの参加権 | 誰でも参加可能 | 許可された場合のみ参加可能 | -| コンセンサス | 遅い | 速い | - -細かい違いは色々あるが, ほとんどはこの2つの違いから生まれる. # コンセンサスアルゴリズム - コンセンサスアルゴリズムは分散環境上で値を一意に決めるためのアルゴリズムである. - Paxos, Raftなどが有名. 簡単に言えば多数決を安全に行うためのアルゴリズム. - 故障モデルというものがあって, コンセンサスアルゴリズムでレベルが4段階ある. Paxos, Raftはレベル3で, ノードに裏切り者がいなければ安全に動く. -- Proof of Workを使っているパブリックブロックチェーンは「ブロックが多ければ多いほど」, レベル4に近づく. # プライベートブロックチェーンのコンセンサスアルゴリズム - プライベートブロックチェーンは管理者が許可するノードしか参加しない. つまり, レベル3のコンセンサスアルゴリズムで十分. - 新しいブロックもパブリックブロックチェーンより早く作れる. -- Paxosを実装しました. +- よってPaxosを実装しました. # Paxos @@ -66,10 +52,16 @@ これによって, 値が一意に決まる. +

+ # Christieとは - 研究室で使っていたAliceの問題点を解消した, 分散プログラミングを簡単に書けるjavaのフレームワーク. + - データの取り出しをアノテーションを用いてシンプルに記述することができるようになった. そのため, ソースコードの可視性が上がった. + - テストが簡単になった. AliceではLocalDataGearManagerを一つしか持てないため, LocalDataGearManagerの通信のテストが難しかった. Christieは複数のLocalDataGearManagerを持てるようになったため, 1つのアプリケーション内で分散のテストができるようになった. - Continued based C(CbC)と似た書き方が可能. DataGearという単位でDataの移動ができる. - まだAliceから引き継いでない機能でTopologyManagerというものがある. これは, Topologyを構成するための機能. - 簡単に言えば, ノード間の配線をしてくれる. 分散環境上で実験を行いたい場合に便利なため, これを実装してからPaxosを実装した. @@ -91,8 +83,6 @@ blockchain