Automatically assigned DDC number: 00435

Manually assigned DDC number: 00435

Number of references: 8

Title: A Unified Formalization of Four Shared-Memory Models

Author:

Author:

Subject: Sarita V. Adve,Mark D. Hill A Unified Formalization of Four Shared-Memory Models

Description: This paper presents a shared-memory model, data-race-free-1, that unifies four earlier models: weak ordering, release consistency (with sequentially consistent special operations), the VAX memory model, and datarace -free-0. The most intuitive and commonly assumed shared-memory model, sequential consistency, limits performance. The models of weak ordering, release consistency, the VAX, and data-race-free-0 are based on the common intuition that if programs synchronize explicitly and correctly, then sequential consistency can be guaranteed with high performance. However, each model formalizes this intuition differently and has different advantages and disadvantages with respect to the other models. Data-race-free-1 unifies the models of weak ordering, release consistency, the VAX, and data-race-free-0 by formalizing the above intuition in a manner that retains the advantages of each of the four models. A multiprocessor is data-race-free-1 if it guarantees sequential consistency to data-...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1994-06-03

Pubyear: 1993

Format: ps

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

Source: ftp://ftp.cs.wisc.edu/markhill/Papers/topds93_drf1.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/921.html"   Type="inproceedings"   CiteSeer_Book="Proc   of   the   17th   Annual   Intl   Symp   on   Computer   Architecture   ISCA90"   CiteSeer_Volume=""   Title="Weak   Ordering---{A}   New   Definition,">

            <identifier   Org="ISBN:0780329635"   Paper_ID="/921.html"   Extracted="0780329635"   />

            <identifier   Org="ISBN:0792392191"   Paper_ID="/921.html"   Extracted="0792392191"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818620471"   Paper_ID="/921.html"   Extracted="0818620471"   />

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

            <identifier   Org="ISBN:0849301920"   Paper_ID="/921.html"   Extracted="0849301920"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:084932615X"   Paper_ID="/921.html"   Extracted="084932615X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0849326184"   Paper_ID="/921.html"   Extracted="0849326184"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:0897913949"   Paper_ID="/921.html"   Extracted="0897913949"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0897916980"   Paper_ID="/921.html"   Extracted="0897916980"   DDC="621.38195205"   Normalized_DDC="62138195205"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1558605967"   Paper_ID="/921.html"   Extracted="1558605967"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540003010"   Paper_ID="/921.html"   Extracted="3540003010"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540600426"   Paper_ID="/921.html"   Extracted="3540600426"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540616276"   Paper_ID="/921.html"   Extracted="3540616276"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:364200721X"   Paper_ID="/921.html"   Extracted="364200721X"   />

      </rec>

      <rec   ID="/62318.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   18th   International   Symposium   on   Computer   Architecture   ISCA"   CiteSeer_Volume=""   Title="Detecting   Data   Races   on   Weak   Memory   Systems,">

            <identifier   Org="ISBN:0444516891"   Paper_ID="/62318.html"   Extracted="0444516891"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0780399641"   Paper_ID="/62318.html"   Extracted="0780399641"   />

            <identifier   Org="ISBN:0818632003"   Paper_ID="/62318.html"   Extracted="0818632003"   />

            <identifier   Org="ISBN:0897913949"   Paper_ID="/62318.html"   Extracted="0897913949"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:0897916719"   Paper_ID="/62318.html"   Extracted="0897916719"   />

            <identifier   Org="ISBN:1581134150"   Paper_ID="/62318.html"   Extracted="1581134150"   />

            <identifier   Org="ISBN:1581135882"   Paper_ID="/62318.html"   Extracted="1581135882"   />

            <identifier   Org="ISBN:3540238417"   Paper_ID="/62318.html"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540656413"   Paper_ID="/62318.html"   Extracted="3540656413"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540851135"   Paper_ID="/62318.html"   Extracted="3540851135"   />

      </rec>

      <rec   ID="/95157.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Sufficient   Conditions   for   Implementing   the   Data-Race-Free-1   Memory   Model,">

            <identifier   Org="ISBN:0897916719"   Paper_ID="/95157.html"   Extracted="0897916719"   />

            <identifier   Org="ISBN:3540009124"   Paper_ID="/95157.html"   Extracted="3540009124"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/8919.html"   Type="inproceedings"   CiteSeer_Book="25   Years   ISCA   Retrospectives   and   Reprints"   CiteSeer_Volume=""   Title="An   Evaluation   of   Directory   Schemes   for   Cache   Coherence,">

            <identifier   Org="ISBN:0120121409"   Paper_ID="/8919.html"   Extracted="0120121409"   />

            <identifier   Org="ISBN:0121709604"   Paper_ID="/8919.html"   Extracted="0121709604"   DDC="630"   Normalized_DDC="63"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0271006862"   Paper_ID="/8919.html"   Extracted="0271006862"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792392191"   Paper_ID="/8919.html"   Extracted="0792392191"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818608617"   Paper_ID="/8919.html"   Extracted="0818608617"   DDC="004.22"   Normalized_DDC="00422"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818620471"   Paper_ID="/8919.html"   Extracted="0818620471"   />

            <identifier   Org="ISBN:0818632003"   Paper_ID="/8919.html"   Extracted="0818632003"   />

            <identifier   Org="ISBN:0818642211"   Paper_ID="/8919.html"   Extracted="0818642211"   />

            <identifier   Org="ISBN:081866567X"   Paper_ID="/8919.html"   Extracted="081866567X"   DDC="621.3819535"   Normalized_DDC="6213819535"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:084932615X"   Paper_ID="/8919.html"   Extracted="084932615X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0849326184"   Paper_ID="/8919.html"   Extracted="0849326184"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0849389852"   Paper_ID="/8919.html"   Extracted="0849389852"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0879426381"   Paper_ID="/8919.html"   Extracted="0879426381"   />

            <identifier   Org="ISBN:0897913949"   Paper_ID="/8919.html"   Extracted="0897913949"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1558605967"   Paper_ID="/8919.html"   Extracted="1558605967"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:158488360X"   Paper_ID="/8919.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/520423.html"   Type="inproceedings"   CiteSeer_Book="25   Years   ISCA   Retrospectives   and   Reprints"   CiteSeer_Volume=""   Title="Memory   Consistency   and   Event   Ordering   in   Scalable   Shared-Memory   Multiprocessors,">

            <identifier   Org="ISBN:0070730202"   Paper_ID="/520423.html"   Extracted="0070730202"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792392191"   Paper_ID="/520423.html"   Extracted="0792392191"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818620471"   Paper_ID="/520423.html"   Extracted="0818620471"   />

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

            <identifier   Org="ISBN:082474067X"   Paper_ID="/520423.html"   Extracted="082474067X"   />

            <identifier   Org="ISBN:084932615X"   Paper_ID="/520423.html"   Extracted="084932615X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:1558605967"   Paper_ID="/520423.html"   Extracted="1558605967"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540001166"   Paper_ID="/520423.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354020184X"   Paper_ID="/520423.html"   Extracted="354020184X"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540240136"   Paper_ID="/520423.html"   Extracted="3540240136"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540411852"   Paper_ID="/520423.html"   Extracted="3540411852"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354042346X"   Paper_ID="/520423.html"   Extracted="354042346X"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540601538"   Paper_ID="/520423.html"   Extracted="3540601538"   DDC="005.4/2"   Normalized_DDC="00542"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540616268"   Paper_ID="/520423.html"   Extracted="3540616268"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/520423.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540658211"   Paper_ID="/520423.html"   Extracted="3540658211"   DDC="004.3"   Normalized_DDC="0043"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/94421.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   1991   International   Conference   on   Parallel   Processing"   CiteSeer_Volume=""   Title="Two   Techniques   to   Enhance   the   Performance   of   Memory   Consistency   Models,">

            <identifier   Org="ISBN:0769506224"   Paper_ID="/94421.html"   Extracted="0769506224"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0769513697"   Paper_ID="/94421.html"   Extracted="0769513697"   />

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

            <identifier   Org="ISBN:0818624205"   Paper_ID="/94421.html"   Extracted="0818624205"   />

            <identifier   Org="ISBN:0818632003"   Paper_ID="/94421.html"   Extracted="0818632003"   />

            <identifier   Org="ISBN:0818680903"   Paper_ID="/94421.html"   Extracted="0818680903"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0897916719"   Paper_ID="/94421.html"   Extracted="0897916719"   />

            <identifier   Org="ISBN:0897918908"   Paper_ID="/94421.html"   Extracted="0897918908"   />

            <identifier   Org="ISBN:1598291246"   Paper_ID="/94421.html"   Extracted="1598291246"   DDC="510"   Normalized_DDC="51"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/91095.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   4th   International   Conference   on   Architectural   Support   for   Programming   Languages   and   Operating   System   ASPLOS"   CiteSeer_Volume=""   Title="Performance   Evaluation   of   Memory   Consistency   Models   for   Shared   Memory   Multiprocessors,">

            <identifier   Org="ISBN:0070730202"   Paper_ID="/91095.html"   Extracted="0070730202"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0780318633"   Paper_ID="/91095.html"   Extracted="0780318633"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:0818638109"   Paper_ID="/91095.html"   Extracted="0818638109"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0818655127"   Paper_ID="/91095.html"   Extracted="0818655127"   />

            <identifier   Org="ISBN:081866567X"   Paper_ID="/91095.html"   Extracted="081866567X"   DDC="621.3819535"   Normalized_DDC="6213819535"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:0818686030"   Paper_ID="/91095.html"   Extracted="0818686030"   />

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

            <identifier   Org="ISBN:0897913949"   Paper_ID="/91095.html"   Extracted="0897913949"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0897918908"   Paper_ID="/91095.html"   Extracted="0897918908"   />

            <identifier   Org="ISBN:1565550188"   Paper_ID="/91095.html"   Extracted="1565550188"   DDC="003/.3"   Normalized_DDC="0033"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540555994"   Paper_ID="/91095.html"   Extracted="3540555994"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540669078"   Paper_ID="/91095.html"   Extracted="3540669078"   DDC="004/.3"   Normalized_DDC="0043"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/520588.html"   Type="inproceedings"   CiteSeer_Book="ACM   Symposium   on   Parallel   Algorithms   and   Architectures"   CiteSeer_Volume=""   Title="Detecting   Violations   of   Sequential   Consistency,">

            <identifier   Org="ISBN:0818632003"   Paper_ID="/520588.html"   Extracted="0818632003"   />

            <identifier   Org="ISBN:0818638109"   Paper_ID="/520588.html"   Extracted="0818638109"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0897916719"   Paper_ID="/520588.html"   Extracted="0897916719"   />

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

            <identifier   Org="ISBN:3540600426"   Paper_ID="/520588.html"   Extracted="3540600426"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   Unified   Formalization   of   Four   Shared-Memory   Models">

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

            <identifier   Org="ISBN:0818677376"   Paper_ID="SELF"   Extracted="0818677376"   DDC="005.4/25"   Normalized_DDC="005425"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818677643"   Paper_ID="SELF"   Extracted="0818677643"   DDC="004/.358"   Normalized_DDC="004358"   Normalized_Weight="0.125"   />

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

            <identifier   Org="ISBN:1598291246"   Paper_ID="SELF"   Extracted="1598291246"   DDC="510"   Normalized_DDC="51"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540238417"   Paper_ID="SELF"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354040788X"   Paper_ID="SELF"   Extracted="354040788X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.125"   />

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

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

            <identifier   Org="ISBN:3540745904"   Paper_ID="SELF"   Extracted="3540745904"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.125"   />

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

      </rec>

</references_metadata>

www.000webhost.com