الخلاصة

  • فصل RFC 1993 بين نهاية الإطار المضغوط ونهاية حزمة PPP الأصلية: قد يضم إطار عدة حزم، وقد تعبر حزمة عدة إطارات.
  • كان الناتج يُرسل حتى عندما يكبر، لأن حذفَه كان سيجعل تاريخ الضغط مختلفاً بين الطرفين.
  • نجاح فك الضغط إيصالٌ محدود، لا يثبت اكتمال الحزم ولا هوية الطرف أو الأمن أو نتيجة التطبيق.

ثلاث حدود لا تسير معاً

تحمل compressed data في FZA حزمة PPP أصلية واحدة أو أكثر. وإذا تجاوز التمثيل المضغوط لحزمة واحدة قيمة MRU لدى الطرف الآخر، يستمر التمثيل في إطار PPP تالٍ. ولا يعتمد المستقبل على حافة الإطار لمعرفة نهاية الحزمة، بل يجد داخل التدفق علامة لنهاية الحزمة الأصلية.

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

تشير قيمة PPP الخارجية 0x00FD إلى Compressed Datagram، وتشير 0x00FB إلى Link Compressed Datagram. تُستخدم الثانية عندما يقع الضغط خارج PPP Multilink كي يحتفظ كل رابط مادي بسياقه. يثبت سجل IANA تخصيص هذه الأرقام وخيار FZA رقم 19، لكنه لا يثبت حالة تاريخ معيّن أو الإصدار أو هوية الطرف أو وجود نشر فعلي.

لماذا يُرسل ناتج أكبر؟

لا يَعِد FZA بتقليص كل مدخل. يذكر RFC 1993 تمدداً أقصاه اثنان إلى واحد، وتمددًا نموذجياً يقارب 1.01 إلى واحد للبيانات المضغوطة سلفاً. ومع ذلك يُرسل الناتج المتضخم.

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

حين لا يتسع الناتج في MRU، ينتقل عبر عدة إطارات. لا يمنح ضيق الوعاء حق حذف مدخل من التاريخ. تبقى علامة نهاية الحزمة داخل التدفق، بينما تُحفظ استمرارية الحالة عبر الأوعية.

حشو يعرّف نفسه ولا يعرّف المرسل

عند نهاية الإطار يلزم تمييز الحشو من بيانات الضغط. لذلك يشترط RFC 1993 التفاوض على Self-Describing-Padding الوارد في RFC 1570 أثناء إنشاء وصلة LCP. يحمل كل بايت حشو موضعه؛ فإذا كان الحشو ثلاثة بايتات ظهرت القيم 1 ثم 2 ثم 3، وتخبر القيمة الأخيرة المستقبل بعدد البايتات التي تُزال. وإذا أمكن الخلط بين آخر بايت حقيقي وطول الحشو، يضيف المرسل حشواً يزيل الالتباس.

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

الموثوقية تأتي من الطبقة الأدنى

يتوقع RFC 1993 وصول البيانات بموثوقية وبالترتيب. يستهلك FZA هذه الخاصية ولا يصنعها. يشرح RFC 1663 لماذا يفسد فقد datagram قاموساً مستمراً، ويصف نمط PPP موثوقاً يُتفاوض عليه بصورة مستقلة. إنه يوضح التبعية ولا يجوز نسب آليته إلى RFC 1993.

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

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

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

المصادر

تستند حقائق البروتوكول إلى RFC والسجل. أما مقالات Heng Lu الثلاثة فتوضح منهج التحليل، وليست مصادر لآلية FZA.