More Related Content Similar to ソフトウェア工学からコンピューターサイエンスへ (デブサミ2014) Similar to ソフトウェア工学からコンピューターサイエンスへ (デブサミ2014) (20) ソフトウェア工学からコンピューターサイエンスへ (デブサミ2014)8. コンピュータサイエンス
の名著
• Distributed Algorithms
• The Art of Multiprocessor
Programming
• Distributed Systems Principles and
Paradigms
• Guide to Reliable Distributed Systems
• Concurrency Control and Recovery in
Database Systems
• Transactional Information Systems
• プログラミング言語理論への招待
(C) 2014 Microsoft Corporation
8
9. このプログラムの結果は?
• プロセス h と プロセス v が同時実行するとき、
1.
2.
3.
4.
5.
6.
7.
8.
h.w[1]
v.w[1]
h.w[2]
h.w[3]
v.w[2]
h.w[4]
h.w[5]
Print (v.r[ ] + ”-” + h.r[ ])
(C) 2014 Microsoft Corporation
2-5
9
10. 一貫性モデルに依存する解
• プロセス h と プロセス v が同時実行するとき、
1.
2.
3.
4.
5.
6.
7.
8.
h.w[1]
取りうる結果
v.w[1] 一貫性モデル
h.w[2] Linearizability 2-5
h.w[3] Eventual
0-0, 0-1, 0-2, 0-3, 0-4, 0-5, 1-0, 1-1, 1-2,
1-3, 1-4, 1-5, 2-0, 2-1, 2-2, 2-3, 2-4, 2-5
Consistency
v.w[2]
Consistent Prefix 0-0, 0-1, 1-1, 1-2, 1-3, 2-3, 2-4, 2-5
h.w[4]
遅延、メッセージ喪失、ネッ
h.w[5]
トワーク切断、動的構成変更
Print (v.r[ ] + ”-” + h.r[ ])
(C) 2014 Microsoft Corporation
10
11. Correctness Criteria
• Correctness criteria を満足する、証明されたアルゴ
リズムを支援する機構をアーキテクチャーに組込む
• アプリケーションをそのアーキテクチャー機構で実装
• アプリケーションは correctness criteria を満足する
動作が保証される
構造要素 A
構造要素 B
サービス 1
構造要素 C
構造要素 D
サービス 2
サービス 3
サービス 4
(C) 2014 Microsoft Corporation
11