الأوامر المكرَّرة ​

يُكرَّر كل تغيير في حالة القفل كأحد الأوامر أدناه، محمولًا كإدخال سجل في AppendEntries، ويُطبَّق من كل عقدة بنفس الترتيب بعد تثبيت الأغلبية.

الأوامر (يقترحها القائد)

النتائج المُطبَّقة (آلة الحالة ← القائد)

تتتبع كل عقدة الوقت المتبقي للإيجار بساعتها المحلية الخاصة، لكن الإزالة الفعلية لا تحدث إلا عبر أمر Expire مُثبَّت — وهذا سبب عدم قدرة انحراف الساعات بين العُقد أبدًا على تفريق حالة القفل. إذا انقطع اتصال العميل قبل استلام استجابته، يقترح القائد Release لنفسه فور المنح لتنظيف القفل الشبح فورًا.

التدفق — تكرار Expire ​

حتى الانتهاء مجرد أمر آخر يمر عبر اقتراح القائد ← تثبيت الأغلبية. بفضل فحص token، حتى لو أُعيد منح نفس المفتاح أثناء تأخر التثبيت، لا يستطيع Expire مُطبَّق متأخرًا حذف القفل الجديد.

المصطلحات ​

• آلة الحالة (state machine) — الجزء الذي يطبّق الأوامر المُثبَّتة بالترتيب لإنتاج الحالة الحالية (هنا، جدول الأقفال). بما أن كل عقدة تطبّق نفس الأوامر بنفس الترتيب، تصل جميعها دائمًا إلى نفس الحالة.
• التثبيت (commit) — الحالة "النهائية" التي تصل إليها الحالة بمجرد أن تسجلها أغلبية العُقد. لا تُطبَّق على آلة الحالة إلا الأوامر المُثبَّتة.
• مُمانِع (idempotent) — خاصية لا يغيّر فيها تطبيق نفس الأمر مرتين بالخطأ النتيجةَ.