Stagione 76: Database internals

I database internals raccontati con la metafora della biblioteca: il banco e il magazzino, lo schedario e il registro scritto prima di essere vero. Un database e' l'arte di fingere che il disco sia veloce come la memoria e che la corrente non vada mai via, e ogni interno combatte uno di due nemici: il disco lento o il crollo improvviso. Dieci puntate dalla pagina al buffer pool, dagli indici ai due modi di tenere l'ordine, dal registro alle transazioni, dalla concorrenza al pianificatore delle query. Il ritornello di tutta la stagione: veloce in lettura, veloce in scrittura, o compatto, puoi sceglierne due.

Episodi

10 episodi
EP 0010
La scatola che non dimentica

La scatola che non dimentica

La sintesi: i due nemici e tutta la macchina come loro risposta, la pietra angolare per intero, e il cambio di sguardo dalla scatola magica alla macchina onesta...

5 min
EP 009
La strada giusta

La strada giusta

Il pianificatore che sceglie la strada: il dichiarativo, quando la scansione batte l'indice, le tre strade per unire, e perche' a volte stima male...

5 min
EP 008
Leggere senza bloccare

Leggere senza bloccare

Il controllo di concorrenza: fermi contro versioni, la fotografia coerente che fa leggere senza bloccare, e i livelli di isolamento come manopole pratiche...

5 min
EP 007
Tutto o niente

Tutto o niente

La transazione come fascio indivisibile: le quattro promesse, la bolla dove i due nemici sono sospesi, e la marcia indietro come liberta'...

5 min
EP 006
Scritto prima di essere vero

Scritto prima di essere vero

Il registro scritto prima di agire: durabilita' e ricostruzione dopo il guasto, il rifare e il disfare, e perche' una conferma costa una scrittura reale...

5 min
EP 005
Due modi di tenere l'ordine

Due modi di tenere l'ordine

Due filosofie per tenere l'ordine: ordinare mentre vai contro scrivere veloce e ordinare dopo, con write amplification e fusioni...

5 min
EP 004
Lo schedario

Lo schedario

Gli indici e la forma ad albero largo e basso: trovare senza camminare, gli intervalli ordinati, e il costo di tenere tutto in ordine a ogni scrittura...

5 min
EP 003
Il tavolo di lettura

Il tavolo di lettura

Il buffer pool come cache delle pagine: colpi a segno, scelta di chi mandare indietro, pagine sporche, e perche' la memoria da sola non basta mai...

4 min
EP 002
La pagina, non la riga

La pagina, non la riga

La pietra angolare: i dati vivono in pagine di dimensione fissa, e la pagina, non la riga, e' l'atomo che la macchina sposta, tiene in memoria e protegge...

5 min
EP 001
Il banco e il magazzino

Il banco e il magazzino

La gerarchia tra memoria e disco e i due nemici di ogni database: il magazzino lento e il guasto improvviso...

5 min