Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251930438> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4251930438 endingPage "675" @default.
- W4251930438 startingPage "661" @default.
- W4251930438 abstract "The memory consistency model is a fundamental part of any shared memory architecture or programming model. Modern weak memory models are notoriously difficult to define and to implement correctly. Most real-world programming languages, compilers, and (micro)architectures therefore rely heavily on black-box testing methodologies. The success of such techniques requires that the suite of litmus tests used to perform the testing be comprehensive--it should ideally stress all obscure corner cases of the model and of its implementation. Most litmus test suites today are generated from some combination of manual effort and randomization; however, the complex and subtle nature of contemporary memory models means that manual effort is both error-prone and subject to incomplete coverage. This paper presents a methodology for synthesizing comprehensive litmus test suites directly from a memory model specification. By construction, these suites contain all tests satisfying a minimality criterion: that no synchronization mechanism in the test can be weakened without causing new behaviors to become observable. We formalize this notion using the Alloy modeling language, and we apply it to a number of existing and newly-proposed memory models. Our results show not only that this synthesis technique can automatically reproduce all manually-generated tests from existing suites, but also that it discovers new tests that are not as well studied." @default.
- W4251930438 created "2022-05-12" @default.
- W4251930438 creator A5025883348 @default.
- W4251930438 creator A5078894707 @default.
- W4251930438 creator A5083397443 @default.
- W4251930438 creator A5089370497 @default.
- W4251930438 date "2017-04-04" @default.
- W4251930438 modified "2023-09-28" @default.
- W4251930438 title "Automated Synthesis of Comprehensive Memory Model Litmus Test Suites" @default.
- W4251930438 cites W1519503479 @default.
- W4251930438 cites W1525350307 @default.
- W4251930438 cites W1808398105 @default.
- W4251930438 cites W1822674892 @default.
- W4251930438 cites W1945229733 @default.
- W4251930438 cites W2000659103 @default.
- W4251930438 cites W2026161190 @default.
- W4251930438 cites W2054391605 @default.
- W4251930438 cites W2054739713 @default.
- W4251930438 cites W2105945277 @default.
- W4251930438 cites W2140318192 @default.
- W4251930438 cites W2152885346 @default.
- W4251930438 cites W2153636750 @default.
- W4251930438 cites W2163490397 @default.
- W4251930438 cites W2301631282 @default.
- W4251930438 cites W2315915350 @default.
- W4251930438 cites W2553522901 @default.
- W4251930438 cites W2738891045 @default.
- W4251930438 cites W4206635466 @default.
- W4251930438 cites W4211065801 @default.
- W4251930438 cites W4240322740 @default.
- W4251930438 doi "https://doi.org/10.1145/3093337.3037723" @default.
- W4251930438 hasPublicationYear "2017" @default.
- W4251930438 type Work @default.
- W4251930438 citedByCount "0" @default.
- W4251930438 crossrefType "journal-article" @default.
- W4251930438 hasAuthorship W4251930438A5025883348 @default.
- W4251930438 hasAuthorship W4251930438A5078894707 @default.
- W4251930438 hasAuthorship W4251930438A5083397443 @default.
- W4251930438 hasAuthorship W4251930438A5089370497 @default.
- W4251930438 hasConcept C119857082 @default.
- W4251930438 hasConcept C12186640 @default.
- W4251930438 hasConcept C128942645 @default.
- W4251930438 hasConcept C133875982 @default.
- W4251930438 hasConcept C147789679 @default.
- W4251930438 hasConcept C151552104 @default.
- W4251930438 hasConcept C152877465 @default.
- W4251930438 hasConcept C154945302 @default.
- W4251930438 hasConcept C157329479 @default.
- W4251930438 hasConcept C169590947 @default.
- W4251930438 hasConcept C173608175 @default.
- W4251930438 hasConcept C185592680 @default.
- W4251930438 hasConcept C199360897 @default.
- W4251930438 hasConcept C2776436953 @default.
- W4251930438 hasConcept C41008148 @default.
- W4251930438 hasConceptScore W4251930438C119857082 @default.
- W4251930438 hasConceptScore W4251930438C12186640 @default.
- W4251930438 hasConceptScore W4251930438C128942645 @default.
- W4251930438 hasConceptScore W4251930438C133875982 @default.
- W4251930438 hasConceptScore W4251930438C147789679 @default.
- W4251930438 hasConceptScore W4251930438C151552104 @default.
- W4251930438 hasConceptScore W4251930438C152877465 @default.
- W4251930438 hasConceptScore W4251930438C154945302 @default.
- W4251930438 hasConceptScore W4251930438C157329479 @default.
- W4251930438 hasConceptScore W4251930438C169590947 @default.
- W4251930438 hasConceptScore W4251930438C173608175 @default.
- W4251930438 hasConceptScore W4251930438C185592680 @default.
- W4251930438 hasConceptScore W4251930438C199360897 @default.
- W4251930438 hasConceptScore W4251930438C2776436953 @default.
- W4251930438 hasConceptScore W4251930438C41008148 @default.
- W4251930438 hasIssue "1" @default.
- W4251930438 hasLocation W42519304381 @default.
- W4251930438 hasOpenAccess W4251930438 @default.
- W4251930438 hasPrimaryLocation W42519304381 @default.
- W4251930438 hasRelatedWork W1524949966 @default.
- W4251930438 hasRelatedWork W2013546926 @default.
- W4251930438 hasRelatedWork W2023785576 @default.
- W4251930438 hasRelatedWork W2077484356 @default.
- W4251930438 hasRelatedWork W3019068005 @default.
- W4251930438 hasRelatedWork W3137608481 @default.
- W4251930438 hasRelatedWork W3160223147 @default.
- W4251930438 hasRelatedWork W4242922013 @default.
- W4251930438 hasRelatedWork W4243560493 @default.
- W4251930438 hasRelatedWork W4251930438 @default.
- W4251930438 hasVolume "45" @default.
- W4251930438 isParatext "false" @default.
- W4251930438 isRetracted "false" @default.
- W4251930438 workType "article" @default.