Explain why the critical-state proof of the impossibility of consensus fails if the shared object is, in fact, a Consensus object. Exercise
A team consensus object provides the same decide ()method as consensus. A team consensus object solves consensus as long as at most two distinct values are ever proposed. (If more than two are proposed, any result is allowed.)Show how to solve n-thread consensus, with up to n distinct input values, from a supply of team consensus objects.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here