كيف يمكن لتكافؤ RAID أن يظل صالحًا عندما تتلف بيانات NAS؟

يمكن أن تظل تساوي RAID صحيحًا رياضيًا بينما تكون بيانات NAS خاطئة لأن التساوي عادةً ما يثبت أن الكتل الحالية تفي بمعادلة التكرار. لكنه لا يثبت أن تلك الكتل تحتوي على محتوى الملف الصحيح تاريخيًا.

إذا تم كتابة بيانات تالفة عبر مسار التخزين العادي، فقد يحسب طبقة RAID تساويًا مطابقًا لتلك البيانات التالفة. يكون الشريط متسقًا داخليًا، ومع ذلك يمكن أن يكون الملف تالفًا منطقيًا أو صامتًا.

ما الذي يتحقق منه تساوي RAID فعليًا؟

التساوي هو علاقة بين الكتل في الشريط. في مثال مبسط لتساوي واحد، ترتبط كتل البيانات وكتلة التساوي بمعادلة XOR. إذا فقدت كتلة واحدة، يمكن للكتل الأخرى إعادة إنشائها.

تجيب هذه المعادلة على سؤال ضيق: هل تتناسب قيم الكتل الحالية مع علاقة التساوي المتوقعة؟ لكنها لا تجيب عما إذا كانت صورة ما لا تزال تحتوي على البكسلات التي حفظها المستخدم أصلاً، أو ما إذا كانت صفحة قاعدة البيانات تعكس أحدث معاملة ملتزمة، أو ما إذا كان البرمجيات الخبيثة قد غيرت الملف عمدًا.

كيف يمكن أن تتعايش بيانات خاطئة مع تساوي صحيح؟

افترض أن مسار ذاكرة سيء، أو خلل برمجي، أو خطأ في التطبيق، أو مصدر تالف مسبقًا ينتج بيانات خاطئة قبل أن يحسب RAID التساوي. يكتب نظام التخزين البيانات الخاطئة ويحدث التساوي من نفس القيمة الخاطئة. يمكن أن تكتمل كلا العمليتين بنجاح تام.

يكون الشريط الناتج متماسكًا من وجهة نظر RAID. لا يمكن لفحص التساوي اللاحق أن يجد أي تعارض لأن المعادلة لا تزال صحيحة. حدث الفشل فوق طبقة التساوي، لذا لا يمتلك التساوي سجلًا مستقلًا للمحتوى المقصود.

لماذا تعتبر ثغرة كتابة RAID مشكلة مختلفة؟

تحدث ثغرة الكتابة عندما يتم مقاطعة تحديث الشريط بعد وصول جزء فقط من تغيير البيانات والتساوي إلى التخزين المستقر. يمكن أن يحتوي الشريط حينها على مزيج من القيم القديمة والجديدة. هذه هي حالة عدم اتساق التساوي، وليست حالة "بيانات خاطئة مع تساوي مطابق".

يوضح توثيق سجل التساوي الجزئي في Linux MD أن PPL يغلق ثغرة كتابة RAID 5 عن طريق تسجيل التساوي الجزئي قبل تحديث الشريط الرئيسي. كما يشير إلى حد مهم: حماية اتساق التساوي لا تحمي تلقائيًا بيانات المستخدم الجارية من كل أوضاع الفشل.

تسجلات RAID الموضحة في توثيق RAID في جهاز Linux device-mapper تحل نفس فئة تحديثات المكونات غير الذرية. تحافظ على اتساق معادلة التساوي بعد كتابة مقطوعة، لكنها لا تستطيع تحديد ما إذا كانت البيانات التي زودها التطبيق صحيحة.

ما الذي يضيف سلامة شاملة من البداية للنهاية؟

تضيف مجموعات التحقق من النهاية إلى النهاية هوية منفصلة لكتلة البيانات أو السجل. يمكن لعملية الفحص إعادة حساب المجموع والتحقق من قيمته المخزنة. إذا فشل نسخة مكررة في التحقق ونجحت أخرى، يكون لدى النظام دليل على النسخة الموثوقة.

يوضح توثيق فحص Btrfs فحص البيانات والبيانات الوصفية لأخطاء المجموع والقراءة، ثم الإصلاح من نسخة مؤكدة عند توفرها. هذا يختلف عن الاعتماد فقط على التساوي ليقول إن معادلة الشريط متوازنة.

يجب أيضًا حماية المجموع وتخزينه عبر مسار موثوق. إذا تم الكتابة فوق المحتوى ومجموع التحقق معًا بإصدار جديد خاطئ منطقيًا، يمكن للنظام التحقق من ذلك الإصدار الخاطئ بشكل متسق.

أين لا يزال RAID مفيدًا؟

يظل التساوي ذا قيمة في حالات فشل الأقراص واستعادة الكتل غير القابلة للقراءة. يمكنه إعادة بناء المعلومات المفقودة، والحفاظ على التوفر، ودعم الإصلاح عندما يقع الفشل ضمن نموذج RAID. الخطأ هو طلب من التساوي إثبات صحة التطبيق، أو الحقيقة التاريخية، أو الاستقلالية عن نفس نظام التخزين.

هذا الحد جزء من حدود RAID لحماية بيانات NAS المنزلية. RAID، ومجموعات التحقق، واللقطات، والنسخ الاحتياطية تجيب على أسئلة مختلفة وتصبح أقوى عندما تُستخدم معًا بدلاً من اعتبارها قابلة للتبادل.

الأسئلة الشائعة

هل يثبت فحص التساوي الناجح أن كل ملف صحيح؟

لا. يثبت أن الأشرطة التي تم فحصها تفي بعلاقات التساوي الحالية. يمكن أن تظل الملفات خاطئة منطقيًا، أو معدلة خبيثًا، أو تالفة باستمرار فوق طبقة RAID.

هل يمكن لمجموعات التحقق تحديد النسخة الصحيحة؟

يمكنها التمييز بين نسخة تطابق مجموع التحقق المخزن ونسخة لا تطابقه. لا يزال الإصلاح يتطلب نسخة مكررة صالحة أو نسخة احتياطية، ولا يمكن لمجموع التحقق اكتشاف نسخة سيئة تم حساب مجموعها بشكل شرعي بعد كتابتها.

هل تسجيل RAID هو نفسه تسجيل نظام الملفات؟

لا. يحمي تسجيل RAID اتساق تحديث المصفوفة، خاصة علاقات البيانات والتساوي. يحمي تسجيل نظام الملفات اتساق معاملات نظام الملفات مثل تحديثات البيانات الوصفية.

الخلاصة النهائية

التساوي الصحيح يعني أن الشريط الحالي متسق رياضيًا مع نفسه. لكنه لا يعني أن البايتات هي البايتات المقصودة. هناك حاجة إلى مجموعات تحقق شاملة من البداية للنهاية، ودلالات المعاملات، واللقطات، والنسخ الاحتياطية المستقلة للإجابة على أسئلة السلامة والاسترداد الأوسع التي لا يستطيع التساوي الإجابة عليها.