Cacciando un bug SQLite di 16 anni con TLA+: dqlite è a rischio?

Hunting a 16-year-old SQLite WAL bug with TLA+

Abbiamo scoperto come un bug di 16 anni in SQLite possa corrompere i dati durante il checkpoint del WAL. Utilizzando TLA+ per modellare il comportamento del database, abbiamo identificato la sequenza esatta che causa il problema. Ora stiamo verificando se dqlite, il nostro sistema distribuito, è vulnerabile a questo difetto storico.

"L'aspetto più importante di questo bug non è il suo impatto reale, che è molto basso, ma quanto tempo è rimasto nel repository e quanto sia stato difficile da trovare e riprodurre."