Tailscale wykrył 16-letni błąd SQLite uszkadzający bazy danych
Inżynierowie Tailscale natrafili na 16-letni błąd w silniku SQLite podczas weryfikacji mechanizmów współbieżności. Defekt znajdował się w implementacji WAL (Write-Ahead Logging). Problem dotyczył konkretnego scenariusza z wygasaniem timeoutów. TL;DR: Tailscale odkryło wieloletni defekt w bazie SQLite za pomocą narzędzia TLA+. Błąd w logice WAL pojawiał się, gdy system operacyjny przerywał operację wejścia/wyjścia przez timeout. Aby […]