الخلاصة

  • حوّل نظام Sprite LFS الذي طوّره مندل روزنبلوم وجون أوسترهاوت عدداً كبيراً من الكتابات الصغيرة العشوائية إلى عمليات نقل تسلسلية كبيرة، لكنه أبقى النسخ القديمة بحاجة إلى استرداد مساحتها لاحقاً.
  • أدخلت ورقة عام 1992 عمل المنظّف في «كلفة الكتابة»، فاحتسبت قراءة الكتل الحية وإعادة كتابتها بدلاً من الاكتفاء بزمن قبول البيانات الجديدة.
  • حدّدت التطبيقات اللاحقة شروط الصفقة: يمكن دفع الكلفة في الخلفية عند وجود خمول حقيقي، لكنها تعود إلى المسار المرئي عندما يمتلئ القرص وتزداد التحديثات العشوائية وتضيق المهلة.

ما الذي لا يقوله إشعار النجاح؟

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

هنا تظهر أهمية العمل الذي نشره مندل روزنبلوم وجون ك. أوسترهاوت عام 1992. لم يكن نظام الملفات ذي البنية السجلية مجرد تفضيل للكتابة التسلسلية. بنى فريق Sprite في بيركلي نظاماً عاملاً، وشغّله، وقاس الجزء الذي يأتي بعد قبول الكتابة.

كانت القاعدة الأمامية بسيطة. تُخزَّن تغييرات بيانات الملفات وبياناتها الوصفية مؤقتاً، ثم تُكتب في دفعات تسلسلية كبيرة. تتحول عمليات صغيرة متزامنة ومبعثرة إلى تيار غير متزامن. أما القراءة فلا تمسح السجل من بدايته؛ تحافظ الفهارس المعتادة على عناوين الكتل الحالية، وتحتفظ خريطة inodes بموقع كل inode. غيّر السجل طريقة الوضع، ولم يُلغِ الوصول العشوائي.

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

المنظّف هو النصف المؤجل من الكتابة

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

تحدد نسبة البيانات الحية في المقطع مقدار الفاتورة. يعيد المقطع شبه الميت مساحة كبيرة بعد نقل قليل. أما المقطع المكتظ بالبيانات الحية فيتطلب قراءة وإعادة كتابة كثيرتين مقابل مساحة صغيرة. ولهذا تصبح السعة غير المستخدمة مورداً للأداء: إنها توسّع مجال اختيار مقطع رخيص التنظيف.

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

اختيار المقطع التالي يحتاج إلى تقدير حرارة البيانات. بدت السياسة الجشعة التي تختار أقل المقاطع استخداماً منطقية، لكنها ضعفت مع المحلية: ظلت بيانات باردة عالقة في مقاطع نصف فارغة، بينما نُسخت بيانات ساخنة قبل أن تتغير مرة أخرى. جمعت سياسة الكلفة والمنفعة بين الاستخدام وعمر أحدث كتلة، بصيغة تقارب (1-u) × age / (1+u).

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

حدود الأرقام الجذابة

لم تشمل الاختبارات المصغرة في الورقة الأصلية التنظيف؛ عرضت أفضل حالة للمسار الأمامي. جاءت الدلالة الأقوى من أربعة أشهر من الاستخدام الفعلي. في بيئة Sprite المدروسة تراوحت كلفة الكتابة تقريباً بين 1.2 و1.6، ووصل الأداء الطويل إلى نحو 70% من الحد الأقصى لعرض النطاق التسلسلي.

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

قبول الكتابة، وإكمال نقطة التحقق، وحصر زمن الاسترداد إيصالات مترابطة، لكنها ليست الإيصال نفسه.

ما كشفه تطبيق BSD

طبّق مارغو سيلتزر وكيث بوستيك ومارشال كيرك ماكيوزيك وكارل ستايلين الفكرة في BSD. لم تكن النتيجة انتصاراً مطلقاً. استطاع نظام تقليدي محسّن التجميع أن يقترب من بعض المكاسب. ظهر تفوق LFS بوضوح أكبر في الأحمال الغنية بالبيانات الوصفية والملفات الصغيرة، بينما تقاربت نتائج الملفات الكبيرة.

في مقارنة عام 1995 خفّض عمل المنظّف أداء المعاملات بأكثر من 33% عندما كان قرص الاختبار ممتلئاً إلى النصف، وأشارت الورقة إلى انخفاضات سابقة بلغت 40%. في المقابل، حققت دراسة للسياسات الاستدلالية 97% من التنظيف في الخلفية على أكثر الأنظمة المدروسة انشغالاً.

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

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

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

المصادر