FORT يفحص مجموع القائمتين قبل حذف التكرار

الخلاصة

• الحد الافتراضي لمزودي ASPA في FORT هو 4,000. في الدمج الذي جرت مراجعته، يقارن مجموع طولي القائمتين الحاليتين قبل إزالة التكرار.
• عند تجاوز الحد في هذه الخطوة، يعيد مؤشرا خاليا وعددا يساوي صفرا، وهي نتيجة يربطها عقد النوع بالسحب. لم يُرصد عميل متضرر أو سحب وصل إلى موجّه أو إلغاء لتسجيل موارد.

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

لنفترض قائمتين مرتبتين للعميل AS نفسه، بكل منهما 2,500 معرّف AS، وعضويتهما متطابقة. يحتوي الاتحاد الرياضي على 2,500 مزود، لكن المجموع الأولي يبلغ 5,000 ويتجاوز الحد الافتراضي 4,000. هذه قراءة شرطية لدالة، وليست زوجا حقيقيا من منشورات ASPA عُثر عليه في الإنتاج. تفترض أن القوائم قد اجتازت بقية الفحوص ودخلت مسار الدمج نفسه.

تذكر مقدمة LACNIC عن ASPA، المنشورة في 9 سبتمبر 2026، FORT ضمن التطبيقات الموجودة. يوفر ASPA علاقات المزودين التي يصرح بها العميل AS، بدلا من فحص منشأ المسار وحده. السؤال هنا عن كيفية عد المعلومات المتداخلة عند قبولها، لا عن نسبة التبني أو إصدار البروتوكول المتفاوض عليه مع الموجّه.

التحليل مثبت على 1.7.0.experimental، المنشور في 16 يوليو، وعلى الالتزام c67d14bcdbc8cbcf100e97c481a8c4ef6eb0ca7e. إنه فحص في سبتمبر، لا إعلان عن إصدار سبتمبر أو جرد لجميع التركيبات الحالية. لم يُشغّل FORT، ولم يُستعلم من بيئة الإنتاج، ولم يُنشر ASPA اصطناعي.

إعداد واحد في موضعين

يحدد دليل الاستخدام aspa.max-providers كعدد صحيح يمكن ضبطه عبر وسائط سطر الأوامر أو JSON، بقيمة افتراضية 4,000 ونطاق من صفر إلى 16,380. يصف تصريحات العميل عبر أشجار RPKI في كل دورة، ويقول إن العملاء الذين يتجاوزون العدد سيُعتبرون غير صالحين. تؤكد شيفرة الإعداد القيم. لا يحولها المقال إلى سقف بروتوكولي، ولا يعرض الصفر كخيار بلا حد.

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

يأتي الدمج في قاعدة البيانات، حيث تُفهرس العناصر بالعميل. عند وجود عنصر سابق للعميل نفسه، تستدعي add_aspa دالة merge_providers. تبدأ الأخيرة بوضع مجموع old->count وnew->count في m. إذا كان مؤشر المزودين السابق خاليا، أو تجاوز المجموع الحد، تعيد مؤشرا خاليا وعددا صفريا.

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

هذا يفسر المثال: قائمتان متطابقتان من 2,500 تُفحصان كمدخل من 5,000 قبل أن تتحولا إلى 2,500 عضو مختلف. الحساب لا يثبت سحبا فعليا أو أثرا على حركة الشبكة.

ليس بالضرورة مجموع كل العناصر الأصلية

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

في تسلسل شرطي إلى عنصر واحد سليم، تعطي ثلاث قوائم متطابقة من 1,500 مجموعا أوليا 3,000، ثم اتحادا من 1,500؛ ومع الثالثة يعود المجموع إلى 3,000. تتضمن القوائم الأصلية 4,500 عنصر، لكن هذا التسلسل المحدد لا يلزم أن يتجاوز 4,000.

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

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

تسمية الميزانية التي يجري حمايتها

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

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

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

المصادر

1. مقدمة LACNIC عن ASPA
2. إصدار FORT 1.7.0.experimental
3. دليل المعاملات في الالتزام المثبت
4. تحليل مزودي كائن ASPA
5. دمج عناصر العميل وترتيب العد
6. قيم الإعداد وحدوده
7. نوع المزودين وعرف السحب