Fulltext

A suite of definitions for consistency criteria in distributed shared memories = un ensemble hiérarchique de définitions pour les critères de cohérence dans les mémoires distribuées partagées

Raynal, Michel ; Schiper, André

In: Annales Des Télécommunications, 1997, vol. 52, no. 11-12, p. 652-661

Ajouter à la liste personnelle
    Titre
    • A suite of definitions for consistency criteria in distributed shared memories
    Titre traduit ()
    • un ensemble hiérarchique de définitions pour les critères de cohérence dans les mémoires distribuées partagées
    Auteur
    • Raynal, Michel. IRISA, Campus de Beaulieu, F-35042, Rennes Cedex, France
    • Schiper, André. Dept d'lnformatique, EPFL, CH-1015, Lausanne, Switzerland
    Type de document
    • Postprint
    Langue
    • Anglais
    Publié dans
    • Annales Des Télécommunications, 1997, vol. 52, no. 11-12, p. 652-661. Springer-Verlag
    Autre version électronique
    Identifiant OAI-PMH
    • oai:doc.rero.ch:312150
    Summary
    A shared memory built on top of a distributed system constitutes a distributed shared memory (DSM). If a lot of protocols implementing DSMS in various contexts have been proposed, no set of homogeneous definitions has been given for the many semantics offered by these implementations. This paper provides a suite of such definitions for atomic, sequential, causal, PRAM and a few others consistency criteria. These definitions are based on a unique framework : a parallel computation is defined as a partial order on the set of read and write operations invoked by processes, and a consistency criterion is defined as a constraint on this partial order. Such an approach provides a simple classification of consistency criteria, from the more to the less constrained one. This paper can also be considered as a survey on consistency criteria for DSMS