Let it crash Benoit Chesneau @benoitc OSDC - Paris, 2013 http://enki-multimedia.org 

A la recherche de
 la fiabilité 

Qu’est qu’un programme
 fiable (reliable) ? ‣Résistant aux défaillance ‣Récupère facilement ‣Se change sans interruption 

Du programme au système ‣Superviseurs ‣Load-balancer & Proxy 

Le problème?
 S’assurer que le programme reste en vie 

Erlang & OTP 

Quoiqu’il advienne rester en vie 

Isolation de process 

P P P P Chaque process est isolé 

P P P P Défaillance Le système continue de fonctionner 

P P P P Récuperer Détecte les défaillances et relance 

Isolation ‣Pas de memoire partagée ‣Des process independants ➡ Message passing ‣Un process crash rapidement ‣Récupère indépendamment 

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 

Fiabilité ‣Pattern matching ‣Isolation des process ➡ assertion ‣Supervision des process ‣Relance des process en échec 

OTP ‣supervisor ‣gen_server, gen_fsm, gen_event ‣application ‣release 

Changer un module fonctionnel {"2",! [{"1", [{load_module, m}]}],! [{"1", [{load_module, m1}]}]! }.! nouvelle version version à remplacer 

demo https://github.com/benoitc/osdc2013_demo 

En resumé, Erlang fournit ‣supervision ‣isolation des process ‣relance des process qui échouent ‣mise à jour à chaud 

? @benoitc