How to find his way in the jungle of consistency criteria for distributed objects memories (or how to escape from Minos'labyrinth)
Abstract
This paper surveys consistency criteria that have been proposed and sometimes implemented, for shared distributed objects and memories. Linearizability, sequential consistency, hybrid consistency and causal consistency are particularly emphasized, some protocols implementing these criteria are described. It is suggested that the hybrid consistency frame, introduced by Attiya and Friedman, constitutes the Ariadne's clew to undestand this jungle of consistency criteria.