These three properties are referred to as termination, agreement and validity. The value that has been decided must have proposed by some process.All processes that decide do so on the same value.All non-faulty processes eventually decide on a value.Given a set of processors, each with an initial value: If all nodes were given 0, then we have to agree on 0,Īnd if all nodes were given 1, then we have to agree on 1. Question: N nodes have a value between 0 and 1.Įventually all nodes must agree on a value You have a distributed system IntroductionĪsynchronous: clocks are unreliable, non bounded clock skew Draft programming computer science self study notes public 6.824 MIT
