Such a statement, however, treats " Paxos " as a fairly broad term covering a family of protocols that all implement state machine replication, all support dynamic reconfiguration of their membership, and have identical correctness properties but vary in their liveness conditions.
32.
Under this definition, Gbcast is not a Paxos protocol : although each can exhibit the same runs as the other ( viewed purely in terms of requests from the application and notifications to the application ), they have similar, but not identical, liveness conditions.
33.
The impossibility of starvation in a concurrent algorithm is called "'starvation-freedom "', "'lockout-freedom "'or "'finite bypass "', is an instance of liveness, and is one of the two requirements for any mutual exclusion algorithm ( the other being correctness ).
34.
See : Wikipedia : TimedArticleChangeStabilisationMechanism, it does not rely on voting-voting seems problematic for a number of reasons including collusion, sockpuppet voting, unwieldiness and lack of liveness ( i . e . some articles may never be published even if they are perfectly fine just due to lack of voting . ) WolfKeeper 00 : 21, 21 December 2005 ( UTC)
35.
:If multicast M is sent in some view and the sender remains operational, then eventually all members of that view ( with the exception of any that crash ) will deliver M . Liveness cannot be guaranteed under all conditions, hence we impose a further condition : we require this property only while sufficiently many processes remain non-faulty ( we ll discuss this further below ).
36.
In otherwords, if applying liveness analysis to a function with a particular number of logical branches within it, the analysis is performed starting from the end of the function working towards the beginning ( hence " backwards " ), and a variable is considered live if any of the branches moving forward within the function might potentially ( hence " may " ) need the variable's current value.
