$30 off During Our Annual Pro Sale. View Details »

ブロックチェーン連続講義 第2-5回 分散システムのリテラシー / Distributed System Literacy

ブロックチェーン連続講義 第2-5回 分散システムのリテラシー / Distributed System Literacy

ブロックチェーンハブ主催で開催している第2期ブロックチェーン連続講義の第5回「分散システムのリテラシー」のスライドです。2016年8月26日(金) に使用しました。

Kenji Saito
PRO

August 26, 2016
Tweet

More Decks by Kenji Saito

Other Decks in Technology

Transcript

  1. 2 5 SFC / CSO ks91@sfc.wide.ad.jp — 2016-08-26 – p.1/31

  2. FLP CAP CUP ( ) P2P — 2016-08-26 – p.2/31

  3. 1. 2. 3. P2P 4. — 2016-08-26 – p.3/31

  4. 1. FLP CAP — 2016-08-26 – p.4/31

  5. A, B A-B m A B A B A B

    . . . — 2016-08-26 – p.5/31
  6. 1. X 2. X C 3. C 1. 2. 3.

    reliable multicast — 2016-08-26 – p.6/31
  7. : — 2016-08-26 – p.7/31

  8. (safety) (liveness) ( ) ( = ) — 2016-08-26 –

    p.8/31
  9. → / (benign) → (Byzantine) (malicious) — 2016-08-26 – p.9/31

  10. FLP Fischer, Lynch, Paterson — 2016-08-26 – p.10/31

  11. CAP Consistency ( ) Availability ( ) Partition tolerance (

    ) ⇒ 3 C Eventual consistency ( ) . . . — 2016-08-26 – p.11/31
  12. Consistency ( ) Strong consistency ( ) (safety) Eventual consistency

    ( ) (liveness) ↑ Weak consistency ( ) ← ( ) — 2016-08-26 – p.12/31
  13. n = f ( ) — 2016-08-26 – p.13/31

  14. 1 1, 2 n ≤ 3f — 2016-08-26 – p.14/31

  15. CS1 : CS2 : CS3 : CL1 : CL2 :

    : : (e.g. ) — 2016-08-26 – p.15/31
  16. Paxos (1) : (The Part-Time Parliament) Paxos ( ) ↔

    ↔ ↔ ⇒ — 2016-08-26 – p.16/31
  17. Paxos (2) (proposers), (acceptors), (learners) 1. 2. Paxos ( )

    — 2016-08-26 – p.17/31
  18. Paxos Paxos 2f + 1 Paxos f “byzantizing” Byzantine Paxos

    PBFT (Practical Byzantine Fault-Tolerance) — 2016-08-26 – p.18/31
  19. 2. CUP (Consensus with Unknown Participants) - — 2016-08-26 –

    p.19/31
  20. (B)FT-CUP (Consensus with Unknown Participants) ( / ) : FT

    (Fault-Tolerant) : BFT (Byzantine Fault-Tolerant) P2P n FT/BFT — 2016-08-26 – p.20/31
  21. - n ( ) p.6 — 2016-08-26 – p.21/31

  22. 3. P2P P2P - - — 2016-08-26 – p.22/31

  23. P2P : P2P 3 3 — 2016-08-26 – p.23/31

  24. (Sybil) 16 — 2016-08-26 – p.24/31

  25. again n > 3f R F R > 2F ⇒

    — 2016-08-26 – p.25/31
  26. ( ) f = 1 ⇒ R — 2016-08-26 –

    p.26/31
  27. 4. — 2016-08-26 – p.27/31

  28. 3 1. ⇒ 2. ⇒ 3. TX · ⇒ —

    2016-08-26 – p.28/31
  29. 10 ATM 1 ATM 1 : http://www.slideshare.net/yamaz2/ss-58813038 ⇒ KVS —

    2016-08-26 – p.29/31
  30. vs. — 2016-08-26 – p.30/31

  31. — 2016-08-26 – p.31/31