It is shown that consensus hierarchy is not robust if object types are allowed to be infinite branching. To avoid the possibility of wait-free algorithms with unbounded running times when using infinite objects, a slightly modified definition of wait-freedom is used. Key and Lock are used to solve consensus for any number of processes, showing consensus hierarchy is not robust.
CITATION STYLE
Schenk, E. (1997). Consensus hierarchy is not robust. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (p. 279). ACM.
Mendeley helps you to discover research relevant for your work.