Skip to main content
  1. Blog
  2. Alberto Carretero
Alberto Carretero

Alberto Carretero

1 posts

Alberto Carretero
25 June 2026

Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected?

DevOps Article

This article was written by Marco Manino and Alberto Carretero, dqlite team at Canonical. 1. Anatomy of a SQLite bug Recently SQLite published a new version with a fix to a long-standing bug in the way that the Write Ahead Log (WAL) is checkpointed that leads to the corruption of the database. The important aspect ...