In leader election, avoiding two nodes mistakenly thinking they are the leader is a safety property, while guaranteeing the process eventually completes is a liveness property.
Share this post
#19: Safety and Liveness
Share this post
In leader election, avoiding two nodes mistakenly thinking they are the leader is a safety property, while guaranteeing the process eventually completes is a liveness property.