Let it crash

Nous savons que cela va arriver, que cela soit sous une forte montée en
charge de l'application, une cause non prévue, notre application va
planter. Le crash est toujours la, peu importe les précautions que nous
avons prises. Au travers quelques exemples cette présentation va tenter
de mettre en évidence quels sont les points forts de Erlang et de son
framework OTP. En quoi sa philosophie diffère de la plupart des autres
langages.

Transcript

1. Let it crash Benoit Chesneau @benoitc OSDC - Paris, 2013 http://enki-multimedia.org
2. A la recherche de
 la fiabilité
3. Qu’est qu’un programme
 fiable (reliable) ? ‣Résistant aux défaillance ‣Récupère facilement ‣Se change sans interruption
4. Du programme au système ‣Superviseurs ‣Load-balancer & Proxy
5. Le problème?
 S’assurer que le programme reste en vie
6. Erlang & OTP
7. Quoiqu’il advienne rester en vie
8. Isolation de process
9. P P P P Chaque process est isolé
10. P P P P Défaillance Le système continue de fonctionner
11. P P P P Récuperer Détecte les défaillances et relance
12. Isolation ‣Pas de memoire partagée ‣Des process independants ➡ Message passing ‣Un process crash rapidement ‣Récupère indépendamment
13. Let it crash {ok, Socket} = connect() {error, Error} will crash receive! {say, Msg} -> say(Msg);! quit -> quit();! _ ->! % other value will crash! throw(Error);! end case msg() of! {say, Msg} -> say(Msg);! quit -> quit()! % other value will crash! end
14. Fiabilité ‣Pattern matching ‣Isolation des process ➡ assertion ‣Supervision des process ‣Relance des process en échec
15. OTP ‣supervisor ‣gen_server, gen_fsm, gen_event ‣application ‣release
16. Changer un module fonctionnel {"2",! [{"1", [{load_module, m}]}],! [{"1", [{load_module, m1}]}]! }.! nouvelle version version à remplacer
17. demo https://github.com/benoitc/osdc2013_demo
18. En resumé, Erlang fournit ‣supervision ‣isolation des process ‣relance des process qui échouent ‣mise à jour à chaud
19. ? @benoitc