Wie kann die RAID-Parität gültig bleiben, wenn NAS-Daten beschädigt sind?

RAID-Parität kann mathematisch gültig bleiben, während NAS-Daten falsch sind, weil die Parität normalerweise nur beweist, dass die aktuellen Blöcke eine Redundanzgleichung erfüllen. Sie beweist nicht, dass diese Blöcke den historisch korrekten Dateiinhalt enthalten.

Wenn beschädigte Daten über den normalen Speicherpfad geschrieben werden, kann die RAID-Schicht eine passende Parität für diese beschädigten Daten berechnen. Der Stripe ist intern konsistent, aber die Datei kann dennoch logisch oder stillschweigend beschädigt sein.

Was validiert RAID-Parität eigentlich?

Parität ist eine Beziehung zwischen Blöcken in einem Stripe. In einem vereinfachten Einzelparitätsbeispiel sind die Datenblöcke und der Paritätsblock durch eine XOR-Gleichung verbunden. Wenn ein Block fehlt, können die anderen ihn rekonstruieren.

Diese Gleichung beantwortet eine enge Frage: Passen diese aktuellen Blockwerte zur erwarteten Paritätsbeziehung? Sie beantwortet nicht, ob ein Foto noch die ursprünglich gespeicherten Pixel enthält, ob eine Datenbankseite die zuletzt abgeschlossene Transaktion widerspiegelt oder ob Malware die Datei absichtlich verändert hat.

Wie können falsche Daten und korrekte Parität koexistieren?

Angenommen, ein fehlerhafter Speicherpfad, ein Softwarefehler, ein Anwendungsfehler oder bereits beschädigte Quellen erzeugen falsche Daten, bevor RAID die Parität berechnet. Der Speicher-Stack schreibt die falschen Daten und aktualisiert die Parität basierend auf genau diesen falschen Werten. Beide Schreibvorgänge können perfekt abgeschlossen werden.

Der resultierende Stripe ist aus RAID-Sicht kohärent. Eine spätere Paritätsprüfung findet keine Abweichung, weil die Gleichung weiterhin stimmt. Der Fehler trat oberhalb der Paritätsschicht auf, sodass die Parität keine unabhängige Aufzeichnung des beabsichtigten Inhalts hat.

Warum ist ein RAID Write Hole ein anderes Problem?

Ein Write Hole tritt auf, wenn ein Stripe-Update unterbrochen wird, nachdem nur ein Teil der Daten- und Paritätsänderung in den stabilen Speicher geschrieben wurde. Der Stripe kann dann eine Mischung aus alten und neuen Werten enthalten. Dies ist eine Paritätsinkonsistenz, nicht der Fall „falsche Daten mit passender Parität“.

Die Dokumentation zum Partial Parity Log (PPL) im Linux MD erklärt, dass PPL das RAID 5 Write Hole schließt, indem es die partielle Parität vor dem Haupt-Stripe-Update aufzeichnet. Es weist auch auf eine wichtige Grenze hin: Der Schutz der Paritätskonsistenz schützt nicht automatisch die im Flug befindlichen Benutzerdaten vor jedem Ausfallmodus.

RAID-Journale, die in der Linux device-mapper RAID-Dokumentation beschrieben sind, lösen dieselbe Klasse von nicht-atomaren Komponenten-Updates. Sie halten die Paritätsgleichung nach einem unterbrochenen Schreibvorgang kohärent, können aber nicht feststellen, ob die Anwendung die richtigen Bytes geliefert hat.

Was sorgt für End-to-End-Integrität?

End-to-End-Prüfsummen fügen eine separate Identität für einen Datenblock oder Datensatz hinzu. Ein Scrub kann die Prüfsumme neu berechnen und mit dem gespeicherten Wert vergleichen. Wenn eine redundante Kopie die Validierung nicht besteht und eine andere schon, hat das System einen Hinweis darauf, welche Kopie vertrauenswürdig ist.

Die Btrfs-Scrub-Dokumentation beschreibt das Prüfen von Daten und Metadaten auf Prüfsummen- und Lese-Fehler und die Reparatur von einer verifizierten Kopie, wenn eine verfügbar ist. Das unterscheidet sich davon, sich nur auf Parität zu verlassen, um zu sagen, dass eine Stripe-Gleichung ausgeglichen ist.

Die Prüfsumme muss ebenfalls geschützt und über einen vertrauenswürdigen Pfad gespeichert werden. Wenn sowohl der Inhalt als auch seine Prüfsumme zusammen mit einer logisch falschen neuen Version überschrieben werden, kann das System diese falsche Version konsistent verifizieren.

Wo hilft RAID trotzdem?

Parität bleibt wertvoll für den Ausfall von Laufwerken und die Wiederherstellung nicht lesbarer Blöcke. Sie kann fehlende Informationen rekonstruieren, Verfügbarkeit erhalten und Reparaturen unterstützen, wenn der Fehler innerhalb des RAID-Modells liegt. Der Fehler ist es, von der Parität zu erwarten, dass sie Anwendungsrichtigkeit, historische Wahrheit oder Unabhängigkeit vom gleichen Speicher-Stack beweist.

Diese Grenze ist Teil von den Grenzen von RAID für den Heim-NAS-Datenschutz. RAID, Prüfsummen, Snapshots und Backups beantworten unterschiedliche Fragen und werden stärker, wenn sie geschichtet statt austauschbar behandelt werden.

FAQ

Beweist eine erfolgreiche Paritätsprüfung, dass jede Datei korrekt ist?

Nein. Sie beweist, dass die geprüften Stripes ihre aktuellen Paritätsbeziehungen erfüllen. Dateien können dennoch logisch falsch, böswillig verändert oder oberhalb der RAID-Schicht konsistent beschädigt sein.

Können Prüfsummen die korrekte Kopie identifizieren?

Sie können eine Kopie unterscheiden, die mit ihrer gespeicherten Prüfsumme übereinstimmt, von einer, die das nicht tut. Die Reparatur erfordert jedoch weiterhin eine gültige redundante Kopie oder ein Backup, und eine Prüfsumme kann keine schlechte Version erkennen, die nach dem Schreiben legitim geprüft wurde.

Ist RAID-Journaling dasselbe wie Dateisystem-Journaling?

Nein. RAID-Journaling schützt die Konsistenz von Array-Updates, insbesondere die Daten- und Paritätsbeziehungen. Dateisystem-Journaling schützt die Konsistenz von Dateisystem-Transaktionen wie Metadaten-Updates.

Fazit

Gültige Parität bedeutet, dass der aktuelle Stripe mathematisch selbstkonsistent ist. Es bedeutet nicht, dass die Bytes die beabsichtigten Bytes sind. End-to-End-Prüfsummen, Transaktionssemantik, Snapshots und unabhängige Backups sind notwendig, um die umfassenderen Integritäts- und Wiederherstellungsfragen zu beantworten, die Parität nicht leisten kann.