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
分散システムのリテラシー / Distributed Systems Literacy
Search
Kenji Saito
PRO
July 05, 2017
Technology
0
180
分散システムのリテラシー / Distributed Systems Literacy
ブロックチェーンハブ主催で開催しているブロックチェーン基盤技術講義『分散システムのリテラシー』のスライドです。2017年7月5日(水) に使用しました。
Kenji Saito
PRO
July 05, 2017
Tweet
Share
More Decks by Kenji Saito
See All by Kenji Saito
LLM とプロンプトエンジニアリング/チューターをビルドする / LLM and Prompt Engineering and Building Tutors
ks91
PRO
0
220
講師自己紹介 / Lecturer's Self-Introduction
ks91
PRO
0
74
講師研究紹介 / Lecturer's Research Introduction
ks91
PRO
0
58
Discord とビルダー&チャットボットの使い方 / How to use Discord and Builder & Chatbots
ks91
PRO
0
130
研究って何だっけ / What's Research?
ks91
PRO
0
20
ブロックチェーンと分散ファイナンス概論 / Introduction to Blockchain and Decentralized Finance
ks91
PRO
0
16
招き猫コマロ— ネットワーク贈答経済のエージェント / Manekineko Komaro - Network Gift Economy Agent
ks91
PRO
0
13
Implementation of Blockchain Ecosystems
ks91
PRO
0
10
Utilization of Blockchain in the Public Sector
ks91
PRO
0
6
Other Decks in Technology
See All in Technology
普段有償でサポート業務をしているCSAが技術知見を無料で公開する理由
07jp27
1
640
ChatGPT for IT Service Management (IT Pro)
dahatake
2
150
2024/4/26 コンピュータ歴史博物館解説告知
toshi_atsumi
0
200
HEXA OSINT CTF V3 作戦会議
meow_noisy
0
110
長期間TiDBを使ってきた話 @ 私たちはなぜNewSQLを使うのかTiDB選定5社が語る選定理由と活用LT / Experiences with TiDB Over Time
chibiegg
2
700
**強い**エンジニアのなり方 - フィードバックサイクルを勝ち取る / grow one day each day
soudai
61
18k
少数チームで挑む: SwiftUI, TCA, KMPを用いた 新規動画配信アプリ 「ABEMA Live」の開発について
tomu28
0
540
強みを伸ばすキャリアデザイン
yug1224
0
200
Oracle Cloud Infrastructure:2024年4月度サービス・アップデート
oracle4engineer
PRO
1
110
AWS を使う上で知っておきたいオンプレミス知識/aws-on-premise-essentials
emiki
1
4.2k
Postman v10リリース後を振り返る
nagix
0
130
プロトタイピングによる不確実性の低減 / Reducing Uncertainty through Prototyping
ohbarye
3
240
Featured
See All Featured
Rebuilding a faster, lazier Slack
samanthasiow
72
8.2k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
19
1.9k
Put a Button on it: Removing Barriers to Going Fast.
kastner
58
3k
What's in a price? How to price your products and services
michaelherold
237
11k
Done Done
chrislema
178
15k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
60
14k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
501
140k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
226
51k
The Art of Programming - Codeland 2020
erikaheidi
41
12k
Documentation Writing (for coders)
carmenintech
59
3.9k
BBQ
matthewcrist
80
8.7k
GraphQLの誤解/rethinking-graphql
sonatard
50
9.2k
Transcript
SFC / CSO
[email protected]
— — 2017-07-05 – p.1/38
( ) SFC ( ) CSO (Chief Science Officer) CEO
1993 M.Eng ( ) 2006 ( ) SFC 16 P2P 2011 → ( ) — — 2017-07-05 – p.2/38
FLP CAP CUP ( ) P2P — — 2017-07-05 –
p.3/38
1. 2. 3. Paxos 4. 5. P2P 6. — —
2017-07-05 – p.4/38
1. FLP CAP — — 2017-07-05 – p.5/38
A, B A-B m A B A B A B
. . . — — 2017-07-05 – p.6/38
1. X 2. X C 3. C 1. 2. 3.
reliable multicast — — 2017-07-05 – p.7/38
: — — 2017-07-05 – p.8/38
(safety) (liveness) ( ) ( = ) — — 2017-07-05
– p.9/38
→ / (benign) → (Byzantine) (malicious) — — 2017-07-05 –
p.10/38
FLP Fischer, Lynch, Paterson — — 2017-07-05 – p.11/38
CAP Consistency ( ) Availability ( ) Partition tolerance (
) ⇒ 3 C Eventual consistency ( ) . . . — — 2017-07-05 – p.12/38
Consistency ( ) Strong consistency ( ) (safety) Eventual consistency
( ) (liveness) ↑ Weak consistency ( ) ↑ ( ) — — 2017-07-05 – p.13/38
2. — — 2017-07-05 – p.14/38
n = f ( ) ⇒ — — 2017-07-05 –
p.15/38
(1) 1 1, 2 n ≤ 3f — — 2017-07-05
– p.16/38
(2) — — 2017-07-05 – p.17/38
3. Paxos Paxos Paxos — — 2017-07-05 – p.18/38
CS1 : CS2 : CS3 : CL1 : CL2 :
: : (e.g. ) ( ) — — 2017-07-05 – p.19/38
Paxos (1) : (The Part-Time Parliament) Paxos ( ) ↔
↔ ↔ ⇒ — — 2017-07-05 – p.20/38
Paxos (2) (proposers), (acceptors), (learners) 1. 2. Paxos ( )
— — 2017-07-05 – p.21/38
Paxos Paxos 2f + 1 Paxos f “byzantizing” Byzantine Paxos
PBFT (Practical Byzantine Fault-Tolerance) PBFT — — 2017-07-05 – p.22/38
4. CUP (Consensus with Unknown Participants) vs. — — 2017-07-05
– p.23/38
(B)FT-CUP (Consensus with Unknown Participants) ( / ) : FT
(Fault-Tolerant) : BFT (Byzantine Fault-Tolerant) P2P n FT/BFT — — 2017-07-05 – p.24/38
State Machine Replication ( ) (by ) (since 1984) (
) ( ) . . . ( ) — — 2017-07-05 – p.25/38
( ) ( ) ( ) ( ) (by )
⇒ ( ) — — 2017-07-05 – p.26/38
5. P2P P2P - - — — 2017-07-05 – p.27/38
P2P : P2P 3 3 ( ) strategyproof group strategyproof
— — 2017-07-05 – p.28/38
(Sybil) 16 — — 2017-07-05 – p.29/38
again n > 3f R F R > 2F ⇒
— — 2017-07-05 – p.30/38
( ) f = 1 ⇒ R — — 2017-07-05
– p.31/38
6. — — 2017-07-05 – p.32/38
3 1. ( : UTXO ) ⇒ ( ) 2.
( : ) ⇒ 3. ( : ) TX ⇒ 2 3 — — 2017-07-05 – p.33/38
10 ATM 1 ATM 1 : http://www.slideshare.net/yamaz2/ss-58813038 ⇒ KVS —
— 2017-07-05 – p.34/38
— — 2017-07-05 – p.35/38
vs. — — 2017-07-05 – p.36/38
(centralized) (decentralized) (distributed) Paul Baran, “On Distributed Communications Networks”, 1964
(C) (A) — — 2017-07-05 – p.37/38
— — 2017-07-05 – p.38/38