OpenZFS 2.1.14 and 2.2.2 update fixing the bug causing file corruption

Korrigerande versioner av OpenZFS 2.1.14 och 2.2.2 har skapats, vilket vidareutvecklar implementeringen av filsystemet ZFS för Linux och FreeBSD. I uppdateringarna åtgärdades ett problem i koden för konsistenskontroll av dnode-cache, vilket ledde till datakorruption i filer som innehöll tomma områden när de kopierades efter ändringar.

Problemet försökte först åtgärdas i version 2.2.1, men fixen visade sig vara ineffektiv. Felet förblev länge obemärkt och började uppstå efter ändringar som infördes i "cp"-verktyget i coreutils 9.x. Det antas att problemet inte förekommer i Red Hat Enterprise Linux och dess basdistributioner, eftersom RHEL 9 använder coreutils 8.x-paketet med en annan logik för "cp"-verktyget.

Problemet uppstår vid användning av filkopieringsverktyg som kan identifiera och optimera tomma områden i filer. Korruption kan inträffa i belastade FS när en fil kopieras om operationen utförs nästan omedelbart efter en ändring och en del data endast finns i dirty-cachen och ännu inte har skrivits till disken.

För att optimera hanteringen av tomma områden i filer stöder OpenZFS, sedan version 0.6.2, operationer som SEEK_HOLE och SEEK_DATA, som möjliggör att hoppa över tomma områden i en fil vid läsning från disken. Identifiering av tomma områden och lagring av information om dem görs först efter att alla kvarvarande data i cachen som är kopplade till filen har skrivits till disken. För att initiera skrivningen finns det en kontroll i OpenZFS som bedömer förekomsten av osparade data i cachen och utför en tvångsskrivning av informationen till disken, vilket är nödvändigt för användning av SEEK_HOLE och SEEK_DATA.

Tyvärr var kontrollen ofullständigt och vid vissa omständigheter fastställdes återställningsstatusen felaktigt, och det fanns gammal information om filens innehåll på disken, om en begäran kom in under ett litet tidsfönster mellan två databasåterställningsoperationer. Läsoperationer för att optimera laddningen av tomma områden kan därför ha missat att läsa vissa data och trott att de var tomma, medan programmet som arbetade med filen tidigare kunde ha gjort ändringar i tomma områden. Som ett resultat kunde användningen av verktyget "cp" ha lett till att en kopia skapades som innehöll tomma områden där det inte fanns några i originalfilen.

Källa: opennet.ru