-
Nodes A, B, C, and D fully in the cluster
-
Local state before (1):
{:pairs {:a :b, :b :c, :c :d, :d :a}}
-
A, B, C, and D play the log
-
B dies, A sends
leave-cluster
(1) -
A encounters (1)
- Pre:
{:pairs {:a :b, :b :c, :c :d, :d :a}}
- Post:
{:pairs {:a :c, :c :d, :d :a}}
- determines A will transitively close the gap and watch C
- adds watch to C
- Pre:
-
C and D encounter (1)
- Pre:
{:pairs {:a :b, :b :c, :c :d, :d :a}}
- Post:
{:pairs {:a :c, :c :d, :d :a}}
- determines A will transitively close the gap and watch C
- ignores
- Pre: