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
EP 0010
Tante macchine, un solo scopo

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...

4 min
EP 009
Non esiste il sistema distribuito perfetto

Non esiste il sistema distribuito perfetto

I conti onesti: distribuire compra scala e resilienza ma costa coordinamento, latenza, complessita' e guasti nuovi...

5 min
EP 008
Dividere per scalare

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...

5 min
EP 007
Non puoi avere tutto

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...

5 min
EP 006
Mettersi d'accordo

Mettersi d'accordo

Il consenso: come macchine che non si fidano della rete concordano un valore comune...

5 min
EP 005
Due volte la stessa verita'

Due volte la stessa verita'

Teniamo copie dei dati per guasti e velocita', ma le copie divergono...

4 min
EP 004
E' morto o solo lento?

E' morto o solo lento?

Quando una macchina tace non sai se e' morta, lenta o irraggiungibile: i casi sono indistinguibili...

5 min
EP 003
Che ore sono?

Che ore sono?

In un sistema distribuito non esiste un adesso condiviso: gli orologi si sfasano e fidarsi degli orari corrompe i dati...

5 min
EP 002
Il nemico si chiama rete

Il nemico si chiama rete

La rete e' inaffidabile sempre: ritarda, perde, duplica, riordina...

5 min
EP 001
L'illusione dell'unico computer

L'illusione dell'unico computer

Perche' si distribuisce: scala e resistenza ai guasti...

5 min