رمز Fencing ​

• token في استجابة الحصول A هو u64 متزايد بشكل مطّرد. أيًّا كان المفتاح أو ترتيب عملية الحصول، تأتي القيمة دائمًا أكبر من أي رمز صدر قبلها.
• في الوضع المفرد، يضمن التزايد المطّرد عدّاد الخادم العام؛ وفي وضع العنقود، رقم الإصدار المُكرَّر عبر الإجماع — يُمنح الرمز بشكل حتمي لحظة تطبيق أمر مُثبَّت، فتحسب جميع العُقد نفس القيمة، ويستمر التزايد حتى بعد تغيير القائد.
• إذا التزم المورد المحمي بقاعدة "ارفض أي رمز أصغر من آخر رمز شوهد"، يمكن للمورد نفسه حظر وصول حائز قديم يستيقظ متأخرًا بعد انتهاء lease (برمز أصغر) — خط الدفاع الأخير الذي يسد حتى تأخيرات جانب العميل (كتوقفات GC) التي لا يملك خادم القفل سيطرة عليها.

راجع آلية العمل للسيناريو الذي يوضح سبب الحاجة إلى هذا التحقق.