We Hear You Like Papers Velocity Edition

Transcript

1. Papers We hear you like Velocity 2016 Edition
2. @Caitie Caitie 
 McCaffrey
3. INES 
 Sombra @Randommood
4. A sample Application Config System Config System Config System Service Service Service Service Service Service
5. A sample Application Config System Config System Config System Service Service Service Service Service Service
6. A sample Application Config System Config System Config System Service Service Service Service Service Service
7. A sample Application Config System Config System Config System Service Service Service Service Service Service
8. A sample Application Service Service Service Service Service Service Config System Config System Config System
9. We all build Distributed Systems
10. Distributed Systems Are hard ASYNCHRONY No bound on message delay, clock drift, or the time necessary to execute a step. No timing assumptions Component(s) and communication attempts may fail during execution PARTIAL FAILURE
11. academic Papers
12. “Consensus is unsolvable [in asynchronous networks] because accurate failure detection is impossible” - Impossibility of Distributed Consensus with One Faulty Process
13. https://www.flickr.com/photos/benny_lin/191393604
14. 1996
15. “We believe that unreliable failure detectors can be used to bridge the gap between known impossibility results and the need for practical solutions for fault- tolerant asynchronous systems.”
16. Failure Detectors Every crashed process is eventually suspected by a correct process Not enough on its own
 (A paranoid failure detector is complete) Some correct process is never suspected by a correct process Restricts mistakes that can be made by the failure detector COMPLETENESS ACCURACY
17. Failure Detectors ACCURACY STRONG WEAK STRONG COMPLETENESS WEAK EVENTUALLY
 STRONG EVENTUALLY
 WEAK PERFECT STRONG WEAK EVENTUALLY
 PERFECT EVENTUALLY
 STRONG EVENTUALLY
 WEAK
18. Failure Detectors ACCURACY STRONG WEAK STRONG COMPLETENESS WEAK EVENTUALLY
 STRONG EVENTUALLY
 WEAK PERFECT STRONG WEAK EVENTUALLY
 PERFECT EVENTUALLY
 STRONG EVENTUALLY
 WEAK
19. CLOCK SYNCHRONIZATION BYZANTINE GENERALS 
 NON-BLOCKING ATOMIC COMMIT CONSENSUS
 ATOMIC BROADCAST RELIABLE BROADCAST ASYNCHRONOUS SYSTEM ASYNCHRONOUS SYSTEM & EVENTUALLY WEAK FAILURE DETECTOR ASYNCHRONOUS SYSTEM & PERFECT FAILURE DETECTOR SYNCHRONOUS SYSTEM Failure Detectors & problems
20. CLOCK SYNCHRONIZATION BYZANTINE GENERALS PROBLEM
 NON-BLOCKING ATOMIC COMMIT Problem Solvability CONSENSUS & ATOMIC BROADCAST RELIABLE BROADCAST
21. We now have a mechanism for solving consensus in asynchronous systems with crash failures & a way to classify problem solvability
22. Embrace the nature of the asynchronous model. Trying to find solutions that are perfect (don’t assume failure) will give you a system that is fragile or impossible to build. Embrace academic research, it helps you understand what is and isn’t possible. Don’t waste time trying to build impossible systems that are bound to fail! Tl;DR
23. Where to start?
24. References & love @ github.com/Randommood/Velocity2016 @Caitie & @Randommood Thank you!