Download as PDF, PPTX
![このプログラムの結果は？
• プロセス 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](https://image.slidesharecdn.com/devsummit20140214-140214213223-phpapp02/85/2014-9-320.jpg)
![一貫性モデルに依存する解
• プロセス 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](https://image.slidesharecdn.com/devsummit20140214-140214213223-phpapp02/85/2014-10-320.jpg)
ソフトウェア工学からコンピューターサイエンスへ （デブサミ2014）
- 1.
- 2. 目的とアジェンダ • 目的：システムアーキテクチャーを支配 する新しいルール、考え方を提言 • アジェンダ： –ソフトウェア工学とコンピュータサイエンス – コンピュータサイエンスの先端事例 – 大事なこと (C) 2014 Microsoft Corporation 2
- 3. ソフトウェア技術者の2極化 出典： IT人材白書2013 製本版 (C)2014 Microsoft Corporation 3
- 4. ソフトウェア技術者を取り巻く課題 • 自己流の経験で何でもうまくいくと錯覚 • 不可能なことが証明されているのに、努力 を続ける無駄 •設計の正しさ、合理性に確証が持てない • 複雑な技術をどう理解し使いこなすか • 人より先行して技術を習得する技 (C) 2014 Microsoft Corporation 4
- 5.
- 6. ソフトウェア開発の複雑度 • 複雑な問題領域（ドメイン） • 機能数、データ項目数、デー タ量、画面数などの開発規模 •適応すべき複合技術 • 複雑な開発組織 http://gigaom.com/2011/04/26/ facts-and-figures-behind-greenpeace%E2%80%99s-green-data-center-report/ (C) 2014 Microsoft Corporation
- 7. ソフトウェア工学 の名著 • 実践UML―パターンによる統一プロセスガイド • オブジェクト指向における再利用のためのデザイン パターン(GoF) • ソフトウェアアーキテクチャ―ソフトウェア開発の ためのパターン体系 (POSA) • AWS-CloudDesignPattern • ドメイン駆動設計 • データ中心アプローチによる情報システムの構築 • アナリシスパターン―再利用可能なオブジェクトモ デル • 人月の神話―狼人間を撃つ銀の弾はない • リーン・スタートアップ (C) 2014 Microsoft Corporation 7
- 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 • Correctnesscriteria を満足する、証明されたアルゴ リズムを支援する機構をアーキテクチャーに組込む • アプリケーションをそのアーキテクチャー機構で実装 • アプリケーションは correctness criteria を満足する 動作が保証される 構造要素 A 構造要素 B サービス 1 構造要素 C 構造要素 D サービス 2 サービス 3 サービス 4 (C) 2014 Microsoft Corporation 11
- 12. LSM-Tree (C) 2014 MicrosoftCorporation 12
- 13.
- 14.
- 15. これからのこと • ビジネスニーズ – リアルタイム、アドホック、双方向性、スケール する更新 •コンピュータサイエンスとソフトウェア工学 の役割 – 技術選択肢、自由度が多い方がよいという考え方 – 制約の中で洗練された設計は美しい – IT のイノベーションの大半はクラウドから起こる ⇒ 分散システムが主要なテーマとなる – スケーラビリティは可用性、耐障害性 （Resiliency）の前提で考える (C) 2014 Microsoft Corporation 15