On the importance of having an identity or, is consensus really universal?

Abstract

We show that Naming - the existence of distinct IDs known to all - is a hidden, but necessary, assumption of Herlihy's universality result for Consensus. We then show in a very precise sense that Naming is harder than Consensus and bring to the surface some relevant differences existing between popular shared memory models. 
DOI: 10.1007/s00446-005-0121-z

Topics

3 Figures and Tables

Slides referencing similar topics