قيود الحقول ونطاقات القيم ​

حقول الطلب (C→S) ​

• لا يوجد wait أو lease بلا نهاية. تقرّب العملاء الرسمية كسور الثانية إلى الأعلى وتتحقق من المجال، وتعيد خطأ إدخال صريحًا قبل الإرسال بدل clamp. الـlease الافتراضية 30 ثانية.
• في client API الرسمية، تمثل wait الحد الكلي لعملية acquire منذ بدء الاستدعاء، مرورًا بـlocal queue ومحاولات الاتصال المؤكد عدم إرسالها وwrite، وحتى الاستجابة. تُنشأ monotonic operation deadline واحدة فقط؛ وقبل الإرسال الفعلي مباشرة يضع writer في wait داخل frame عدد الثواني المتبقية بعد تقريبه إلى أعلى كـu8. لذلك لا يستطيع اتصال متأخر أو failover مؤكد عدم إرساله إعادة بدء server wait من البداية. إذا ظل الطلب في queue عند deadline ينتهي timeout مع تأكد عدم إرساله؛ وإذا أمكن أن يكون قد أُرسل ولو بايت واحد، تُغلق الـsession الدقيقة نفسها وتكون النتيجة Indeterminate. وحده wait=0 الأصلي يستخدم wire 0، ولهذه المحاولة الفورية I/O deadline محدودة مستقلة كي لا تنتظر transport متوقفًا بلا نهاية. إذا لم يُكتشف A المترابط قبل deadline إلا متأخرًا عند gate تسليم Ticket، يكون server waiter قد انتهى بالفعل: تبقى session مفتوحة، ويُنفذ release تعويضي للـexact token المعروف، وتظل النتيجة Indeterminate. أما T/B المترابطان فهما عدم حصول نهائي.
• بالنسبة إلى wait=0 الأصلي، يظل سلوك wire وserver محاولة فورية واحدة بلا queue. ضمن transport deadline المنفصلة ومدتها 5 ثوان، يجوز للفشل المؤكد عدم إرساله اختيار اتصال آخر وإعادة المحاولة بالـowner نفسه. بعد احتمال إرسال ولو بايت واحد، لا يُعاد إرسال acquire أبدًا.
• تتطلب API الرسمية min_work_budget غير الموجود على wire. يجب أن يغطي critical work + pause متوقعة + إتمام DB commit/rollback، وأن يكون 0..250 ثانية ولا يتجاوز lease بعد التطبيع. المخالفة تفشل قبل الإرسال بخطأ من فئة UnsupportedDuration/InsufficientLease.
• طول المفتاح يُحسب بالبايت لا بالمحارف — فمحارف الكورية تشغل 3 بايت لكل محرف في UTF-8، أي 42 محرفًا كحد أقصى.
• owner مجرد ID لربط الاستجابة وليس صلاحية. تكراره لا يعيد active token ولا يجدد lease. الطلبات concurrent in-flight للعميل نفسه تحتاج قيمًا مختلفة غير صفرية؛ إذا صار counter صفرًا أو حدث wrap تفشل العملاء الرسمية fail-closed.
• للـrelease الصريح والتعويضي لـtoken معروف 5 ثوان مطلقة من call/enqueue تشمل reconnect وretry. تؤكد R النجاح؛ وتعني N أنه اختفى أو ليس الـtoken الحالي. غياب الاستجابة لا يُفترض نجاحًا؛ وعند امتلاء compensation queue المحدودة يُعتمد على lease expiry.
• يشمل bad_key المفتاح الفارغ، وما يتجاوز 128 بايت، وما يحتوي مسافة أو سطرًا جديدًا، وUTF-8 غير الصالح، كلها على حد سواء. لا ترسل العملاء الرسميون أيضًا \r أبدًا — إذ إن مفتاحًا ينتهي بـ \r يصبح مفتاحًا مختلفًا دون أن يظهر ذلك للعين.

حقول الاستجابة (S→C) ​

لا يصدر الخادم token 0 أبدًا. يستخدم single counter خلال process lifetime الحالي؛ ويستخدم cluster counter منسوخًا بالإجماع ويفشل fail-closed قبل overflow. لا تضمن wall clock أو العشوائية الرتابة بعد restart.

أطوال الترويسات الثابتة ​

هو المقطع الثنائي ثابت الطول الذي يلي op مباشرة. قد تحتوي هذه البايتات على 0x0A، لذا يجب على المحلل استهلاك هذا الطول بالضبط قبل البحث عن السطر الجديد.

وإذا نقصت البايتات فالنتيجة E bad_request.

حجم الإطار ​

حد 192B أكبر من أكبر frame (146B)، لذلك لا يبلغه عميل ملتزم. بعد frame تالف بنيويًا أو oversized لا يعود framing موثوقًا ويُغلق الاتصال.

مصافحة المصادقة ​

للاطلاع على الإجراء بالتفصيل راجع مصافحة المصادقة.

حدود جانب الخادم ​

لا يضبط العميل هذه القيم مباشرة لكنها تؤثر في السلوك.

Read buffer (4096B) وresponse batch (64) وprogress timeout لإطار client بدأ (5 ثوان) وsingle expiry sweep (5 ثوان) ثوابت compile-time. يستخدم cluster expiry deadline min-heap يتحقق من token بدل full scan. راجع الإعداد.

يُغلق admission لكل acquire وkey جديدة وكل waiter عند 90% من hard limit، ولا يُفتح حتى ينخفض الاستخدام دون 75%. لذلك قد يتلقى acquire جديد B قبل الحد؛ وتبقى capacity المحجوزة لـrelease وتعافي Raft منفصلة عن هذه hysteresis.

موجز المخالفة ← الاستجابة ​

لكل أسباب الأخطاء ومعالجة الاتصال المصاحبة راجع الاستجابة · خطأ E.