التزامن والإصدارات القديمة وإعادة آمنة

r8 starts tests
r9 starts and finishes tests
r9 adopts under target lock
r8 later acquires lock -> must recheck freshness

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

current = 9
seen = set()
def adopt(request_id, generation):
    global current
    if request_id in seen:
        return "duplicate"
    if generation < current:
        return "stale"
    current = generation
    seen.add(request_id)
    return "accepted"
print(adopt("request-a", 8))
print(adopt("request-b", 10))
print(adopt("request-b", 10))

stale
accepted
duplicate

تنتج القيم من ترتيب صحيح معلن واستدعاءات متسلسلة. لا يقدم البرنامج قفلاً موزعاً ولا تنفيذاً إنتاجياً لمنع التكرار.