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!