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>