Abstract | ||
---|---|---|
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes for different models. In this paper, we show that for a class of memory models that is restricted yet expressive enough to include all store-atomic hardware memory models, litmus tests of a bounded size are sufficient for illustrating differences between memory consistency models in this class. We establish a bound of two threads and no more than six memory access instructions for differentiating litmus tests in this class of models. Thus, we can prove equivalence of two specification of memory consistency models in this class by exploring a bounded number of litmus tests. We build a tool for comparing memory models based on this result, and we use the tool to explore and map the space of this class of models. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/2024724.2024842 | Design Automation Conference |
Keywords | Field | DocType |
memory consistency litmus test,store-atomic hardware memory model,bounded number,litmus test,different model,memory model,memory access instruction,bounded size,differentiating litmus test,memory consistency model,parallel programming,hardware,concurrency,instruction sets,memory management,data models,registers,space exploration,data model | Data modeling,Concurrency,Computer science,Litmus,Real-time computing,Thread (computing),Memory management,Equivalence (measure theory),Consistency model,Bounded function | Conference |
ISSN | ISBN | Citations |
0738-100x | 978-1-4503-0636-2 | 5 |
PageRank | References | Authors |
0.43 | 13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sela Mador-Haim | 1 | 174 | 6.87 |
Rajeev Alur | 2 | 17253 | 1413.65 |
Milo M. K. Martin | 3 | 2677 | 125.22 |