Link
Embed
Share
Beginning
This slide
Copy link URL
Copy link URL
Copy iframe embed code
Copy iframe embed code
Copy javascript embed code
Copy javascript embed code
Share
Tweet
Share
Tweet
Slide 1
Slide 1 text
2 5 SFC / CSO
[email protected]
— 2016-08-26 – p.1/31
Slide 2
Slide 2 text
FLP CAP CUP ( ) P2P — 2016-08-26 – p.2/31
Slide 3
Slide 3 text
1. 2. 3. P2P 4. — 2016-08-26 – p.3/31
Slide 4
Slide 4 text
1. FLP CAP — 2016-08-26 – p.4/31
Slide 5
Slide 5 text
A, B A-B m A B A B A B . . . — 2016-08-26 – p.5/31
Slide 6
Slide 6 text
1. X 2. X C 3. C 1. 2. 3. reliable multicast — 2016-08-26 – p.6/31
Slide 7
Slide 7 text
: — 2016-08-26 – p.7/31
Slide 8
Slide 8 text
(safety) (liveness) ( ) ( = ) — 2016-08-26 – p.8/31
Slide 9
Slide 9 text
→ / (benign) → (Byzantine) (malicious) — 2016-08-26 – p.9/31
Slide 10
Slide 10 text
FLP Fischer, Lynch, Paterson — 2016-08-26 – p.10/31
Slide 11
Slide 11 text
CAP Consistency ( ) Availability ( ) Partition tolerance ( ) ⇒ 3 C Eventual consistency ( ) . . . — 2016-08-26 – p.11/31
Slide 12
Slide 12 text
Consistency ( ) Strong consistency ( ) (safety) Eventual consistency ( ) (liveness) ↑ Weak consistency ( ) ← ( ) — 2016-08-26 – p.12/31
Slide 13
Slide 13 text
n = f ( ) — 2016-08-26 – p.13/31
Slide 14
Slide 14 text
1 1, 2 n ≤ 3f — 2016-08-26 – p.14/31
Slide 15
Slide 15 text
CS1 : CS2 : CS3 : CL1 : CL2 : : : (e.g. ) — 2016-08-26 – p.15/31
Slide 16
Slide 16 text
Paxos (1) : (The Part-Time Parliament) Paxos ( ) ↔ ↔ ↔ ⇒ — 2016-08-26 – p.16/31
Slide 17
Slide 17 text
Paxos (2) (proposers), (acceptors), (learners) 1. 2. Paxos ( ) — 2016-08-26 – p.17/31
Slide 18
Slide 18 text
Paxos Paxos 2f + 1 Paxos f “byzantizing” Byzantine Paxos PBFT (Practical Byzantine Fault-Tolerance) — 2016-08-26 – p.18/31
Slide 19
Slide 19 text
2. CUP (Consensus with Unknown Participants) - — 2016-08-26 – p.19/31
Slide 20
Slide 20 text
(B)FT-CUP (Consensus with Unknown Participants) ( / ) : FT (Fault-Tolerant) : BFT (Byzantine Fault-Tolerant) P2P n FT/BFT — 2016-08-26 – p.20/31
Slide 21
Slide 21 text
- n ( ) p.6 — 2016-08-26 – p.21/31
Slide 22
Slide 22 text
3. P2P P2P - - — 2016-08-26 – p.22/31
Slide 23
Slide 23 text
P2P : P2P 3 3 — 2016-08-26 – p.23/31
Slide 24
Slide 24 text
(Sybil) 16 — 2016-08-26 – p.24/31
Slide 25
Slide 25 text
again n > 3f R F R > 2F ⇒ — 2016-08-26 – p.25/31
Slide 26
Slide 26 text
( ) f = 1 ⇒ R — 2016-08-26 – p.26/31
Slide 27
Slide 27 text
4. — 2016-08-26 – p.27/31
Slide 28
Slide 28 text
3 1. ⇒ 2. ⇒ 3. TX · ⇒ — 2016-08-26 – p.28/31
Slide 29
Slide 29 text
10 ATM 1 ATM 1 : http://www.slideshare.net/yamaz2/ss-58813038 ⇒ KVS — 2016-08-26 – p.29/31
Slide 30
Slide 30 text
vs. — 2016-08-26 – p.30/31
Slide 31
Slide 31 text
— 2016-08-26 – p.31/31