Temat: SQLite | gikiewicz.eu

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 […]

Jak TLA+ pomogło znaleźć 16-letni błąd w SQLite

Błąd w mechanizmie Write-Ahead Logging (WAL) w SQLite był obecny w kodzie przez szesnaście lat. Nikt go nie zauważył. Dopiero formalna weryfikacja przy pomocy narzędzia TLA+ ujawniła problem z przełączaniem ramek, który mógł prowadzić do utraty danych w specyficznych warunkach. To pokazuje, jak trudne jest projektowanie niezawodnych systemów transakcyjnych. TL;DR: Szesnastoletni błąd w implementacji algorytmu […]

Turso przepisało SQLite w Rust od podstaw. Co to oznacza dla baz danych?

Turso to baza danych nowej generacji, która powstała poprzez całkowite przepisanie kodu SQLite w języku Rust od podstaw. Ten krok dostarczył architekturę opartą na asynchronicznym wejściu-wyjściu oraz pełną zgodność z istniejącymi zapytaniami SQL. TL;DR: Turso stanowi implementację silnika bazodanowego w języku Rust, zachowującą pełną kompatybilność z SQLite. Projekt wprowadza mechanizm MVCC dla współbieżnych operacji zapisu, […]

SQLite do trwałych przepływów pracy: 7 powodów, dla których wystarczy

SQLite obsługuje ponad 1 bilion aktywnych wdrożeń na całym świecie. Ta baza danych to format przechowywania danych zalecany przez Bibliotekę Kongresu, a jednocześnie fundament trwałych przepływów pracy w systemach rozproszonych. Dlaczego tak prosta technologia wciąż dominuje? TL;DR: SQLite to nie tylko baza danych na urządzenia mobilne. Trwałość przepływów pracy wymaga niezawodności, atomowości operacji, braku zależności […]

Programowanie archiwizacja danych Biblioteka Kongresu FDS SQLite 07.05.2026

SQLite zalecany przez Bibliotekę Kongresu do archiwizacji danych

TL;DR: Biblioteka Kongresu USA oficjalnie zarekomendowała SQLite jako preferowany format do długoterminowego przechowywania danych tabelarycznych. Pliki z rozszerzeniem .db zastępują tradycyjne formaty tekstowe, zapewniając samowystarczalność, pełną kompatybilność ze standardami otwartymi oraz minimalizując ryzyko utraty informacji na kolejne dziesięciolecia. Koniec ery CSV? Biblioteka Kongresu wybiera SQLite do archiwizacji na dekady Biblioteka Kongresu Stanów Zjednoczonych wskazała ten […]