Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
ブロックチェーン連続講義 第2-5回 分散システムのリテラシー / Distributed S...
Search
Sponsored
·
Ship Features Fearlessly
Turn features on and off without deploys. Used by thousands of Ruby developers.
→
Kenji Saito
PRO
August 26, 2016
Technology
3
740
ブロックチェーン連続講義 第2-5回 分散システムのリテラシー / Distributed System Literacy
ブロックチェーンハブ主催で開催している第2期ブロックチェーン連続講義の第5回「分散システムのリテラシー」のスライドです。2016年8月26日(金) に使用しました。
Kenji Saito
PRO
August 26, 2016
Tweet
Share
More Decks by Kenji Saito
See All by Kenji Saito
AI 前提社会におけるトラスト / Trust in an AI-Driven Society
ks91
PRO
0
6
非営利組織の起業/発表と総括 / Starting up a Nonprofit Organization, Presentation and Summary
ks91
PRO
0
56
自己開発 / Self-Development
ks91
PRO
1
16
あなたは何によって憶えられたいですか? / What Do You Want to be Remembered for?
ks91
PRO
0
19
ボランティアと理事会 / Volunteers and Board of Directors
ks91
PRO
0
42
メタ・ネイチャーポジティブへの道 / The Path to Meta Nature Positive
ks91
PRO
0
34
アカデミーキャンプ2026 初春「ミライ、ゲーミファイ」DAY 3 / Academy Camp 2026 Early Spring "GAMIFY THE FUTURE!!" DAY 3
ks91
PRO
0
50
アカデミーキャンプ2026 初春「ミライ、ゲーミファイ」DAY 2 / Academy Camp 2026 Early Spring "GAMIFY THE FUTURE!!" DAY 2
ks91
PRO
0
85
アカデミーキャンプ2026 初春「ミライ、ゲーミファイ」DAY 1 / Academy Camp 2026 Early Spring "GAMIFY THE FUTURE!!" DAY 1
ks91
PRO
0
82
Other Decks in Technology
See All in Technology
プロポーザルに込める段取り八分
shoheimitani
1
180
Frontier Agents (Kiro autonomous agent / AWS Security Agent / AWS DevOps Agent) の紹介
msysh
3
150
Amazon S3 Vectorsを使って資格勉強用AIエージェントを構築してみた
usanchuu
3
440
CDK対応したAWS DevOps Agentを試そう_20260201
masakiokuda
1
210
10Xにおける品質保証活動の全体像と改善 #no_more_wait_for_test
nihonbuson
PRO
2
210
名刺メーカーDevグループ 紹介資料
sansan33
PRO
0
1k
ブロックテーマ、WordPress でウェブサイトをつくるということ / 2026.02.07 Gifu WordPress Meetup
torounit
0
140
クレジットカード決済基盤を支えるSRE - 厳格な監査とSRE運用の両立 (SRE Kaigi 2026)
capytan
6
2.6k
Azure Durable Functions で作った NL2SQL Agent の精度向上に取り組んだ話/jat08
thara0402
0
150
セキュリティについて学ぶ会 / 2026 01 25 Takamatsu WordPress Meetup
rocketmartue
1
290
サイボウズ 開発本部採用ピッチ / Cybozu Engineer Recruit
cybozuinsideout
PRO
10
73k
Embedded SREの終わりを設計する 「なんとなく」から計画的な自立支援へ
sansantech
PRO
3
2.2k
Featured
See All Featured
ラッコキーワード サービス紹介資料
rakko
1
2.2M
Conquering PDFs: document understanding beyond plain text
inesmontani
PRO
4
2.3k
Marketing Yourself as an Engineer | Alaka | Gurzu
gurzu
0
130
How to optimise 3,500 product descriptions for ecommerce in one day using ChatGPT
katarinadahlin
PRO
0
3.4k
Efficient Content Optimization with Google Search Console & Apps Script
katarinadahlin
PRO
0
310
Design in an AI World
tapps
0
140
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
25
1.7k
Evolving SEO for Evolving Search Engines
ryanjones
0
120
Design of three-dimensional binary manipulators for pick-and-place task avoiding obstacles (IECON2024)
konakalab
0
350
Applied NLP in the Age of Generative AI
inesmontani
PRO
4
2k
The browser strikes back
jonoalderson
0
360
Measuring Dark Social's Impact On Conversion and Attribution
stephenakadiri
1
120
Transcript
2 5 SFC / CSO
[email protected]
— 2016-08-26 – p.1/31
FLP CAP CUP ( ) P2P — 2016-08-26 – p.2/31
1. 2. 3. P2P 4. — 2016-08-26 – p.3/31
1. FLP CAP — 2016-08-26 – p.4/31
A, B A-B m A B A B A B
. . . — 2016-08-26 – p.5/31
1. X 2. X C 3. C 1. 2. 3.
reliable multicast — 2016-08-26 – p.6/31
: — 2016-08-26 – p.7/31
(safety) (liveness) ( ) ( = ) — 2016-08-26 –
p.8/31
→ / (benign) → (Byzantine) (malicious) — 2016-08-26 – p.9/31
FLP Fischer, Lynch, Paterson — 2016-08-26 – p.10/31
CAP Consistency ( ) Availability ( ) Partition tolerance (
) ⇒ 3 C Eventual consistency ( ) . . . — 2016-08-26 – p.11/31
Consistency ( ) Strong consistency ( ) (safety) Eventual consistency
( ) (liveness) ↑ Weak consistency ( ) ← ( ) — 2016-08-26 – p.12/31
n = f ( ) — 2016-08-26 – p.13/31
1 1, 2 n ≤ 3f — 2016-08-26 – p.14/31
CS1 : CS2 : CS3 : CL1 : CL2 :
: : (e.g. ) — 2016-08-26 – p.15/31
Paxos (1) : (The Part-Time Parliament) Paxos ( ) ↔
↔ ↔ ⇒ — 2016-08-26 – p.16/31
Paxos (2) (proposers), (acceptors), (learners) 1. 2. Paxos ( )
— 2016-08-26 – p.17/31
Paxos Paxos 2f + 1 Paxos f “byzantizing” Byzantine Paxos
PBFT (Practical Byzantine Fault-Tolerance) — 2016-08-26 – p.18/31
2. CUP (Consensus with Unknown Participants) - — 2016-08-26 –
p.19/31
(B)FT-CUP (Consensus with Unknown Participants) ( / ) : FT
(Fault-Tolerant) : BFT (Byzantine Fault-Tolerant) P2P n FT/BFT — 2016-08-26 – p.20/31
- n ( ) p.6 — 2016-08-26 – p.21/31
3. P2P P2P - - — 2016-08-26 – p.22/31
P2P : P2P 3 3 — 2016-08-26 – p.23/31
(Sybil) 16 — 2016-08-26 – p.24/31
again n > 3f R F R > 2F ⇒
— 2016-08-26 – p.25/31
( ) f = 1 ⇒ R — 2016-08-26 –
p.26/31
4. — 2016-08-26 – p.27/31
3 1. ⇒ 2. ⇒ 3. TX · ⇒ —
2016-08-26 – p.28/31
10 ATM 1 ATM 1 : http://www.slideshare.net/yamaz2/ss-58813038 ⇒ KVS —
2016-08-26 – p.29/31
vs. — 2016-08-26 – p.30/31
— 2016-08-26 – p.31/31