Dynamic LEAVE
Initiate PERSISTENT_LEAVE(id) action to all replicas
When PERSISTENT_LEAVE(id) action is green
Remove data structures associated with replica id
If (id = self) exit()
m1
m2
m1
m2
m1
m2
S1:
S2:
S3:
PL(s3)
PL(s3)
PL(s3)
M1
M1
M1
Previous slide
Next slide
Back to first slide
View graphic version