SQLite 3.51.3 med fix för möjligt databasöverskridande i WAL-läget.

Den 13 mars genomfördes en korrigerande version 3.51.3 av den kompakt inbäddade databashanteraren. SQLite. Projektkoden är skriven i C och distribueras som offentlig egendom (public domain).

På grund av bakåtkompatibilitetsproblem relaterade till vissa nya funktioner drogs versionen 3.52.0 (som släpptes den 6 mars) tillbaka.

Ändringslistan för version 3.51.3:

• Den 3 mars upptäckte och åtgärdade en av SQLite:s utvecklare (Dan) en bugg som i sällsynta fall kunde leda till att databasen blev korrupt, kallad «WAL-reset bug»:
  • Denna bugg uppstår endast i databaser som körs i WAL-läge, om två eller fler anslutningar öppnas till samma fil i olika trådar eller processer, och om dessa två anslutningar försöker skriva eller skapa en kontrollpunkt samtidigt.
  • Buggen är relaterad till datakonflikter under strikta tidsbegränsningar. Under normala driftsförhållanden uppstår den mycket sällan. Utvecklarna kunde aldrig återskapa buggen under naturliga förhållanden, och de var tvungna att lägga till särskild testlogik i SQLite som avsiktligt skapar förhållanden för att återskapa buggen, för att säkerställa att problemet var löst.
  • Buggen uppstår när:
    1. En anslutning genomför en kontrollpunkt. Denna första kontrollpunkt måste slutföras. Med andra ord, under kontrollpunkten måste hela innehållet i WAL-filen framgångsrikt kopieras tillbaka till databasen och WAL-filen återställas så att den kan återställas.
    2. Så snart den första kontrollpunkten är klar, startar en andra.
    3. Medan den andra kontrollpunkten från steg 2 körs, registrerar en annan databasanslutning en transaktion som återställer WAL-filen och skriver nytt innehåll i början av WAL-filen.
    4. På grund av datakonflikten beaktar inte den andra kontrollpunkten från steg 2 att WAL-filen har återställts till följd av transaktionen i steg 3. Den andra kontrollpunkten sätter ett felaktigt värde för ett av fälten i WAL-indexhuvudet. Detta fält anger att en del av WAL-filen redan har registrerats i kontrollpunkten, även om så inte är fallet.
    5. Registrering av ytterligare transaktioner leder till en ökning av antalet sidor i WAL-filen, vilket överstiger antalet sidor som fanns vid den första kontrollpunkten från steg 1.
    6. Senare, när den tredje kontrollpunkten inträffar, hoppar den över hela eller delar av transaktionen som registrerades i steg 3. Därmed når delar av transaktionen från steg 3 aldrig databasfilen, vilket resulterar i att databasfilen skadas.
  • Felet finns troligen i alla versioner av SQLite, från 3.7.0 (21.07.2010) till 3.51.2. Korrigeringar har också släppts för vissa tidigare versioner: 3.44.6 och 3.50.7.
• Andra mindre korrigeringar.

Källa: linux.org.ru