Fencing Token Rejects the Zombie — Token 33 Meets Token 34

Fencing Token Rejects the Zombie — Token 33 Meets Token 34 A sequence diagram generated by Archify. acquire lease lease + token 33 write x=1, token 33 200 OK, stored 33 the first write fences off older holders acquire lease client 1 is paused here — a 15 s GC pause lease + token 34 write x=2, token 34 200 OK, stored 34 write x=3, token 33 client 1 wakes up and still believes it is the holder 409 rejected: 33 < 34 still the owner? no, lease expired Client 1 holds the lease Lease expires, client 2 takes over The zombie returns Client 1 · first lease holder · Sequence participant Client 1 first lease holder Lock Service · issues fencing tokens · Sequence participant Lock Service issues fencing tokens Client 2 · next lease holder · Sequence participant Client 2 next lease holder Storage · checks the token · Sequence participant Storage checks the token Legend main request return security async trace message