Stagione 71: Sistemi distribuiti
Dieci puntate per capire i sistemi distribuiti senza illusioni: perche' mettere insieme tanti computer non li rende un unico super-computer infallibile, ma un arcipelago di macchine separate che si parlano su una rete inaffidabile. Dalla rete-avversario al tempo che si frantuma, dai guasti ambigui alla replica, dal consenso al teorema CAP, fino agli schemi per scalare e ai conti onesti su quanto tutto questo costa. La rete e' un avversario, il guasto e' il clima: si sceglie con gli occhi aperti, dato per dato.
Episodi
10 episodi
Tante macchine, un solo scopo
Il finale ricuce l'arco: non un super-computer magico, ma tante macchine fallibili che cooperano su una rete bugiarda...
Non esiste il sistema distribuito perfetto
I conti onesti: distribuire compra scala e resilienza ma costa coordinamento, latenza, complessita' e guasti nuovi...
Dividere per scalare
Gli schemi pratici della scala: dividere i dati in fette, distribuire il carico tra macchine intercambiabili, copie di lettura vicino a chi legge, operazioni ripetibili in sicurezza con un'etichetta unica, e la coda di messaggi...
Non puoi avere tutto
Il teorema CAP reso concreto: quando la rete si spezza devi scegliere tra restare disponibile o restare coerente, non c'e' terza porta...
Mettersi d'accordo
Il consenso: come macchine che non si fidano della rete concordano un valore comune...
Due volte la stessa verita'
Teniamo copie dei dati per guasti e velocita', ma le copie divergono...
E' morto o solo lento?
Quando una macchina tace non sai se e' morta, lenta o irraggiungibile: i casi sono indistinguibili...
Che ore sono?
In un sistema distribuito non esiste un adesso condiviso: gli orologi si sfasano e fidarsi degli orari corrompe i dati...
Il nemico si chiama rete
La rete e' inaffidabile sempre: ritarda, perde, duplica, riordina...
L'illusione dell'unico computer
Perche' si distribuisce: scala e resistenza ai guasti...