Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Sign up for free
Menu
Search
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Pricing
Search
Sign in
Sign up for free
ブロックチェーン連続講義 第2-5回 分散システムのリテラシー / Distributed S...
Search
Kenji Saito
PRO
August 26, 2016
Technology
750
3
Share
Embed
Copy iframe code
Copy JS code
Copy link
Start on current slide
ブロックチェーン連続講義 第2-5回 分散システムのリテラシー / Distributed System Literacy
ブロックチェーンハブ主催で開催している第2期ブロックチェーン連続講義の第5回「分散システムのリテラシー」のスライドです。2016年8月26日(金) に使用しました。
Kenji Saito
PRO
August 26, 2016
More Decks by Kenji Saito
See All by Kenji Saito
国と地域のマネジメントと AGI / National and Regional Management and AGI
ks91
PRO
0
23
2026 年度「AI による研究・教育サポート」ワークショップ (教員向け) / AY 2026 “AI-Based Research and Education Support” Workshop (For Faculty)
ks91
PRO
0
45
エージェント化するAI:現在地とその先に起きる変化 / AI as Agents: The Current State and the Changes Ahead
ks91
PRO
0
210
文化的ループ (推論, エージェント) と思考プロセスの検証可能性 / Cultural Loops (Inference, Agents) and the Verifiability of Thought Processes
ks91
PRO
0
49
アカデミーキャンプ2026 夏 「ヤツらを究めろ!ウチらとヤツらの自由研究∼ シーズン2」DAY 3 / Academy Camp 2026 Summer: Master Them! Our Independent Research Project with Them—Season 2 DAY3
ks91
PRO
0
91
アカデミーキャンプ2026 夏 「ヤツらを究めろ!ウチらとヤツらの自由研究∼ シーズン2」DAY 1 / Academy Camp 2026 Summer: Master Them! Our Independent Research Project with Them—Season 2 DAY1
ks91
PRO
0
82
アカデミーキャンプ2026 夏 「ヤツらを究めろ!ウチらとヤツらの自由研究∼ シーズン2」DAY 2 / Academy Camp 2026 Summer: Master Them! Our Independent Research Project with Them—Season 2 DAY2
ks91
PRO
0
110
責任2.0 ∼ AI が主体となる世界で ∼ / Responsibility 2.0: In a World Where AI Takes Responsibilities
ks91
PRO
0
110
発表と総括 / Presentations and Summary
ks91
PRO
0
250
Other Decks in Technology
See All in Technology
synctest時代のhttptest Go 1.27で変わるHTTPサーバテストの裏側 / go conference2026 synctest and httptest
budougumi0617
1
2.8k
Slack上でインフラをトラブルシュートする! Agentic Platform Engineeringの第一歩
teru0x1
4
1.6k
AI 駆動 Terraform 開発/SRE_BizReach_MIXI_2
visional_engineering_and_design
5
2.1k
リージョンの壁を越える、 ちょっと変わったAWSサービスの話
falken
PRO
1
310
TinyGo 開発サイクルを高速化する:Go で作るエミュレータ入門
zozotech
PRO
1
680
2026/09/10 Spring Bootから Jakarta EE/MicroProfileへの移行
megascus
0
350
消えない 動かない 効かない
yama3133
1
120
The Agent Builder Loop from Daily Work to OSS
minorun365
PRO
3
160
日経電子版を支えていく Kasane Design System/fec_fukuoka
nikkei_engineer_recruiting
0
1.2k
HRC_Frontend_Conference_Fukuoka_2026.pdf
ts020
0
650
AI時代の「技術的負債」の変質ー概念の終焉と再解釈、エージェントと共に向かう先
nwiizo
0
1k
AIオーケストレーションを活用した 開発ワークフローの設計と実践
bqnq
0
170
Featured
See All Featured
Rebuilding a faster, lazier Slack
samanthasiow
85
9.6k
Conquering PDFs: document understanding beyond plain text
inesmontani
PRO
4
3k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
52
6.1k
Fashionably flexible responsive web design (full day workshop)
malarkey
408
67k
For a Future-Friendly Web
brad_frost
183
10k
Building Applications with DynamoDB
mza
96
7.2k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
35
3.8k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
12
1.8k
Learning to Love Humans: Emotional Interface Design
aarron
275
41k
Navigating the Design Leadership Dip - Product Design Week Design Leaders+ Conference 2024
apolaine
2
430
Automating Front-end Workflow
addyosmani
1369
210k
Site-Speed That Sticks
csswizardry
13
1.5k
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