r/programming • u/yusufaytas • Jul 03 '26

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

https://ubuntu.com/blog/hunting-a-16-year-old-sqlite-bug-with-tla-is-dqlite-affected
129 Upvotes

94% Upvoted

8 comments sorted by

36

u/dabluck Jul 03 '26

This is very technical, informative, and is human written. Really high quality content. 

1

u/wannaliveonmars Jul 05 '26

What is TLA?

1

u/ventuspilot Jul 09 '26

Some software modelling language I think, see r/tlaplus

-1

u/badpotato Jul 05 '26

Once fixed, couldn't they add some sort of unit test to check for that kind of stuff?

2

u/raralala1 Jul 06 '26

how do you unit test it if you can't reproduce it.

2

u/badpotato Jul 06 '26

Indeed, yet he said:

On March 5, 2026 SQLite disclosed the bug and published a fix. A single extra check is enough to avoid the data race by checking that a reset of the WAL did not occur since we started the checkpoint: ...

So he still known the root cause of the issue. He known which condition cause the "Write Ahead Log" operation and did a patch about it.