Upgrade to Pro — share decks privately, control downloads, hide ads and more …

分散システムのリテラシー / Distributed Systems Literacy

Avatar for Kenji Saito Kenji Saito PRO
February 24, 2017

分散システムのリテラシー / Distributed Systems Literacy

ブロックチェーンハブ主催で開催している連続講義 (通算第3期) ブロックチェーン基盤技術 第4回「分散システムのリテラシー」のスライドです。2017年2月24日(金) に使用しました。

Avatar for Kenji Saito

Kenji Saito PRO

February 24, 2017
Tweet

More Decks by Kenji Saito

Other Decks in Technology

Transcript

  1. A, B A-B m A B A B A B

    . . . — 4 — 2017-02-24 – p.5/34
  2. 1. X 2. X C 3. C 1. 2. 3.

    reliable multicast — 4 — 2017-02-24 – p.6/34
  3. CAP Consistency ( ) Availability ( ) Partition tolerance (

    ) ⇒ 3 C Eventual consistency ( ) . . . — 4 — 2017-02-24 – p.11/34
  4. Consistency ( ) Strong consistency ( ) (safety) Eventual consistency

    ( ) (liveness) ↑ Weak consistency ( ) ↑ ( ) — 4 — 2017-02-24 – p.12/34
  5. (1) 1 1, 2 n ≤ 3f — 4 —

    2017-02-24 – p.14/34
  6. CS1 : CS2 : CS3 : CL1 : CL2 :

    : : (e.g. ) — 4 — 2017-02-24 – p.16/34
  7. Paxos (1) : (The Part-Time Parliament) Paxos ( ) ↔

    ↔ ↔ ⇒ — 4 — 2017-02-24 – p.17/34
  8. Paxos Paxos 2f + 1 Paxos f “byzantizing” Byzantine Paxos

    PBFT (Practical Byzantine Fault-Tolerance) PBFT — 4 — 2017-02-24 – p.19/34
  9. (B)FT-CUP (Consensus with Unknown Participants) ( / ) : FT

    (Fault-Tolerant) : BFT (Byzantine Fault-Tolerant) P2P n FT/BFT — 4 — 2017-02-24 – p.21/34
  10. P2P : P2P 3 3 ( ) strategyproof group strategyproof

    — 4 — 2017-02-24 – p.24/34
  11. again n > 3f R F R > 2F ⇒

    — 4 — 2017-02-24 – p.26/34
  12. ( ) f = 1 ⇒ R — 4 —

    2017-02-24 – p.27/34
  13. 3 1. ( ) ⇒ 2. ( ) ⇒ 3.

    ( ) TX · ⇒ — 4 — 2017-02-24 – p.29/34