الخلاصة

  • يعلن خيار Join Attribute في رسائل Hello وفق RFC 5384 استعداد الجار لاستقبال ترميز Encoded-Source Address من النوع 1؛ ولا يعلن فهمه لكل نوع سمة يمكن أن يوجد داخله.
  • إذا وصلت مجموعات مختلفة من النوع نفسه من مجاورات متعددة، تختار القاعدة العامة أصغر عنوان IP رقمياً. في IPv6 يستخدم العنوان المحلي للرابط، وإذا تساوت العناوين يحسم رقم الواجهة. النتيجة قابلة للتكرار، لكنها ليست إثباتاً لصحة السياسة أو تفويض المرسل أو وصول الحزم.

اتفاق على الخوارزمية لا يعني اتفاقاً على الطلب

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

ترتب RFC 5384 الجهات الموردة بدلاً من تقييم المعنى. تفوز السمة القادمة من مجاورة PIM ذات عنوان IP الأصغر رقمياً. بالنسبة إلى IPv6 تكون المقارنة بالعنوان المحلي للرابط. وإذا ظهر العنوان نفسه على جارين، يصبح رقم الواجهة هو فاصل التعادل. تستطيع مواصفة نوع معين أن تستبدل هذه القاعدة بإجراء يراعي معناه.

هذه الآلية مفيدة لأنها تمنح الأجهزة جواباً واحداً عند رؤية المدخلات نفسها. لكنها لا تفحص تذكرة التغيير، ولا تعرف مالك الخدمة، ولا تسأل أي طلب أحدث أو أكثر أمناً. قد يقلب تغيير خطة العناوين الفائز من دون أن تتغير أي قيمة مطلوبة.

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

القدرة على فتح الغلاف ليست فهماً للمحتوى

تحدد رسالة PIM Join شجرة التوزيع عبر عنوان مصدر مشفر في سياق عنوان المجموعة. تخصص RFC 5384 نوع الترميز 1 لإضافة سلسلة من Join Attributes بصيغة TLV إلى الشجرة. يجب أن يحتوي النوع 1 على سمة واحدة على الأقل؛ وعند غياب السمات يستخدم النوع 0.

لا يرسل الموجه النوع 1 على واجهة إذا كان أي جار PIM عليها لم يضع خيار Join Attribute في Hello. يشمل الشرط حتى الجار الذي ليس هو المنبع، لأن آليات كبت Join أو تجاوزه تتطلب القدرة على تحليل الحزمة.

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

توضح المواصفات اللاحقة هذا الفصل. تضيف RFC 6420 خيار قدرة خاصاً بـ MT-ID وقواعد تحقق وتعارض. وتمنح RFC 6807 سمة Population Count إعلانها الخاص. أما RFC 7887 فتضغط القيم المشتركة على مستويات الرسالة والمجموعة والمصدر من دون تغيير معناها. الإطار العام لم يكن عقد سياسة مكتملًا.

ينبغي لاختبار القبول أن يسجل دعم النوع 1، وكل نوع مستخدم، وإصدار البرمجيات، ونطاق الواجهة والسياسة المحلية كلّاً على حدة. عبارة «يدعم Join Attributes» أوسع من أن تثبت التشغيل المتبادل المقصود.

المجهول قد يعبر الموجه

تحدد F-bit ما يحدث عندما لا يفهم الموجه نوع السمة. إذا كانت F=1 فالسمة انتقالية ويجب تمريرها. وإذا كانت F=0 فهي غير انتقالية ويجب إسقاطها. تستمر بقية السمات؛ وإذا لم يبق شيء يرسل الموجه Join من النوع 0.

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

وقد يتلقى الموجه غير العارف مجموعتين متعارضتين من النوع الانتقالي نفسه. إذا لم تكونا متطابقتين بايتاً ببايت وبالعدد نفسه من الحالات، يطبق إجراء التعارض العام. وهكذا يمكنه اختيار معنى لا يعرفه استناداً إلى ترتيب العنوان.

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

مصدر الحالة هو المجاورة

إذا أثرت معالجة السمة في بناء الشجرة أو في المجموعة المرسلة إلى المنبع، تطلب RFC 5384 حفظ ارتباط الحالة بالمجاورة أو المجاورات التي قدمتها. يسمح ذلك بسحب القيمة الصحيحة عند وصول Prune أو انتهاء صلاحية الجار.

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

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

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

Join الجديد يستبدل المجموعة كاملة

تغييرات السمات ليست فروقاً تراكمية. إذا حمل Join جديد مجموعة لا تطابق المجموعة السابقة تماماً، تصبح المجموعة الجديدة هي الحالة الكاملة. السمات الغائبة تعد مسحوبة. المجموعة الفارغة تمثل بالنوع 0. ويسحب Prune أيضاً السمات التي كانت المجاورة قد قدمتها.

إذا كان الجار يرسل A وB ثم أرسل B فقط، فقد سحب A من دون TLV مستقل يقول «احذف A». سيخلق جامع يسجل الإضافات فقط حالة وهمية تحتفظ بـ A بعد زوالها.

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

المصادقة تثبت المتكلم ولا تمنحه الاختصاص

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

مع ذلك قد يختلف جاران مصادق عليهما. تجيب الحماية المشفرة عن سؤال «من أرسل هذه البايتات؟»، لكنها لا تجيب عن سؤال «من يملك حق تغيير هذه الخدمة؟». ولا تحول العنوان الأصغر إلى منصب إداري أعلى.

يحتاج التفويض إلى سياسة خارج آلية التعادل: الجهات المسموح لها، ونطاقات المصدر والمجموعة، والأنواع والقيم، وأولوية الإعداد المحلي، ومسار التصعيد. حين تعطي RFC 6420 إعداد MT-ID المحلي أولوية، يصبح الإعداد وسجل اعتماده جزءاً من البرهان.

حالة الشجرة ليست نتيجة الخدمة

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

ينبغي فصل السلسلة: النية المضبوطة؛ القدرات المعلنة؛ Join الدقيق؛ تفسير السمة؛ حسم التعارض؛ Join الصاعد؛ الحالة المثبتة؛ مراقبة الحزم؛ نتيجة المستقبل والتطبيق. نجاح مرحلة لا يمنح المرحلة التالية شهادة جاهزة.

تظل تغطية RFC 9798 الحالية مسؤولة عن Receiver RLOC واختيار مجموعة الطبقة السفلية وتكرار ITR وأدلة التسليم. وتظل تغطية RFC 9739 مسؤولة عن PIM Light من دون Hello وDR وAssert وسحب الفشل. موضوع هذا المقال هو حدود سلطة إجراء RFC 5384 العام فقط.

اختبار يحتفظ بالمرشح الخاسر

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

أرسل قيمتين مختلفتين من النوع نفسه. حدد أولاً هل توجد قاعدة خاصة؛ وإلا أثبت فوز العنوان الأصغر. غيّر ترتيب العناوين فقط وكرر. دع المجاورة الفائزة تنتهي وراقب تفعيل البديل المحفوظ. استبدل A+B بـ B وتحقق من سحب A. اختبر نوعاً مجهولاً انتقالياً وآخر غير انتقالي منفصلين.

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

المصادر