Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be? |
| Συγγραφείς: |
Mador-Haim, Sela, Alur, Rajeev, Martin, Milo M. K. |
| Πηγή: |
DAC: Annual ACM/IEEE Design Automation Conference; Jun2011, p504-509, 6p, 3 Diagrams, 1 Chart |
| Θεματικοί όροι: |
Parallel programming, Memory maps (Computer science), Computer software execution, PowerPC microprocessors, Computer multitasking |
| Περίληψη: |
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. [ABSTRACT FROM AUTHOR] |
|
Copyright of DAC: Annual ACM/IEEE Design Automation Conference is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Complementary Index |