Automatically assigned DDC number: 00435

Manually assigned DDC number: 00435

Number of references: 4

Title: A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories

Author:

Subject: Michel Raynal A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories

Description: 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. Key words: shared memory, distributed system, consistency criteria, partial order. 1 Introduction Since the end of the eighties, the Distributed S...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-08-28

Pubyear: 1996

Format: ps

Identifier: http://citeseer.ist.psu.edu/143944.html

Source: http://lsewww.epfl.ch/Documents/postscript/RS96.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/581086.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   5th   ACM   Symposium   on   Principles   of   Distributed   Computing   PODC"   CiteSeer_Volume=""   Title="Memory   coherence   in   shared   virtual   memory   systems,">

            <identifier   Org="ISBN:007057572X"   Paper_ID="/581086.html"   Extracted="007057572X"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0271006544"   Paper_ID="/581086.html"   Extracted="0271006544"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0780341759"   Paper_ID="/581086.html"   Extracted="0780341759"   />

            <identifier   Org="ISBN:0818670819"   Paper_ID="/581086.html"   Extracted="0818670819"   />

            <identifier   Org="ISBN:0818677376"   Paper_ID="/581086.html"   Extracted="0818677376"   DDC="005.4/25"   Normalized_DDC="005425"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0849389844"   Paper_ID="/581086.html"   Extracted="0849389844"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:159033101X"   Paper_ID="/581086.html"   Extracted="159033101X"   />

            <identifier   Org="ISBN:3540219463"   Paper_ID="/581086.html"   Extracted="3540219463"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540422935"   Paper_ID="/581086.html"   Extracted="3540422935"   DDC="004.3"   Normalized_DDC="0043"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043674X"   Paper_ID="/581086.html"   Extracted="354043674X"   DDC="004.1/1"   Normalized_DDC="00411"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540552367"   Paper_ID="/581086.html"   Extracted="3540552367"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540564519"   Paper_ID="/581086.html"   Extracted="3540564519"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540609024"   Paper_ID="/581086.html"   Extracted="3540609024"   DDC="519.4/0285/435"   Normalized_DDC="51940285435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540631143"   Paper_ID="/581086.html"   Extracted="3540631143"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540650660"   Paper_ID="/581086.html"   Extracted="3540650660"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540658319"   Paper_ID="/581086.html"   Extracted="3540658319"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540659153"   Paper_ID="/581086.html"   Extracted="3540659153"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540665498"   Paper_ID="/581086.html"   Extracted="3540665498"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540685545"   Paper_ID="/581086.html"   Extracted="3540685545"   />

      </rec>

      <rec   ID="/50396.html"   Type="article"   CiteSeer_Book="SoftwarePractice   and   Experience"   CiteSeer_Volume="22"   Title="{A}   {C}omparison   of   {T}wo   {P}aradigms   for   {D}istributed   {S}hared   {M}emory,"   />

      <rec   ID="/235952.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   Int   Conf   on   Parallel   and   Distributed   Computing   PDCS96"   CiteSeer_Volume=""   Title="A   Suite   of   Formal   Definitions   for   Consistency   Criteria   in   Distributed   Shared   Memories,">

            <identifier   Org="ISBN:0769515126"   Paper_ID="/235952.html"   Extracted="0769515126"   />

            <identifier   Org="ISBN:0818680679"   Paper_ID="/235952.html"   Extracted="0818680679"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:081868142X"   Paper_ID="/235952.html"   Extracted="081868142X"   />

            <identifier   Org="ISBN:1581135114"   Paper_ID="/235952.html"   Extracted="1581135114"   DDC="005.7"   Normalized_DDC="0057"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540206329"   Paper_ID="/235952.html"   Extracted="3540206329"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540230033"   Paper_ID="/235952.html"   Extracted="3540230033"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540281266"   Paper_ID="/235952.html"   Extracted="3540281266"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540341412"   Paper_ID="/235952.html"   Extracted="3540341412"   />

      </rec>

      <rec   ID="/74497.html"   Type="inproceedings"   CiteSeer_Book="15th   Conference   on   Foundations   of   Software   Technologies   and   Theoretical   Computer   Science"   CiteSeer_Volume=""   Title="From   Causal   Consistency   to   Sequential   Consistency   in   Shared   Memory   Systems,">

            <identifier   Org="ISBN:0769523315"   Paper_ID="/74497.html"   Extracted="0769523315"   />

            <identifier   Org="ISBN:0818678763"   Paper_ID="/74497.html"   Extracted="0818678763"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0818681292"   Paper_ID="/74497.html"   Extracted="0818681292"   />

            <identifier   Org="ISBN:1581130996"   Paper_ID="/74497.html"   Extracted="1581130996"   />

            <identifier   Org="ISBN:3540006222"   Paper_ID="/74497.html"   Extracted="3540006222"   DDC="005.8/2"   Normalized_DDC="00582"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540273247"   Paper_ID="/74497.html"   Extracted="3540273247"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540281266"   Paper_ID="/74497.html"   Extracted="3540281266"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540411437"   Paper_ID="/74497.html"   Extracted="3540411437"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540650660"   Paper_ID="/74497.html"   Extracted="3540650660"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   Suite   of   Formal   Definitions   for   Consistency   Criteria   in   Distributed   Shared   Memories">

            <identifier   Org="ISBN:0769515126"   Paper_ID="SELF"   Extracted="0769515126"   />

            <identifier   Org="ISBN:0818680679"   Paper_ID="SELF"   Extracted="0818680679"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:081868142X"   Paper_ID="SELF"   Extracted="081868142X"   />

            <identifier   Org="ISBN:1581135114"   Paper_ID="SELF"   Extracted="1581135114"   DDC="005.7"   Normalized_DDC="0057"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540206329"   Paper_ID="SELF"   Extracted="3540206329"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540230033"   Paper_ID="SELF"   Extracted="3540230033"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540281266"   Paper_ID="SELF"   Extracted="3540281266"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540341412"   Paper_ID="SELF"   Extracted="3540341412"   />

      </rec>

</references_metadata>