Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107901871> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2107901871 abstract "To improve performance, multiprocessor systems implement weak memory consistency models -- and a number of models have been developed over the past years. Weak memory models, however, lead to unforeseen program behavior, and there is a current need for memory model-aware program analysis techniques. The problem is that every memory model calls for new verification algorithms. We study a prominent approach to program analysis: testing. The testing problem takes as input sequences of operations, one for each process in the concurrent program. The task is to check whether these sequences can be interleaved to an execution of the entire program that respects the constraints of the memory model. We determine the complexity of the testing problem for most of the known memory models. Moreover, we study the impact on the complexity of parameters like the number of concurrent processes, the length of their executions, and the number of shared variables. What differentiates our approach from related results is a unified analysis. Instead of considering one memory model after the other, we build upon work of Steinke and Nutt. They showed that the existing memory models form a natural hierarchy where one model is called weaker than another one if it includes the latter's behavior [34]. Using the Steinke-Nutt hierarchy, we develop three general concepts that allow us to quickly determine the complexity of a testing problem. (i) We generalize the technique of problem reductions from complexity theory. So-called range reductions propagate hardness results between memory models, and we apply them to establish NPlower bounds for the stronger memory models. (ii) For the weaker models, we present polynomial-time testing algorithms. Here, the common idea is determinization. (iii) Finally, we give a single SAT encoding of the testing problem that works for all memory models in the Steinke-Nutt hierarchy. It shows membership in NP. Our results are general enough to classify future weak memory models. Moreover, they show that SAT solvers are adequate tools for their analysis." @default.
- W2107901871 created "2016-06-24" @default.
- W2107901871 creator A5007088441 @default.
- W2107901871 creator A5047398875 @default.
- W2107901871 creator A5081184867 @default.
- W2107901871 creator A5085643838 @default.
- W2107901871 date "2014-06-01" @default.
- W2107901871 modified "2023-10-14" @default.
- W2107901871 title "Memory Model-Aware Testing - A Unified Complexity Analysis" @default.
- W2107901871 cites W123460966 @default.
- W2107901871 cites W149053240 @default.
- W2107901871 cites W1971332773 @default.
- W2107901871 cites W1986463648 @default.
- W2107901871 cites W2029601347 @default.
- W2107901871 cites W2039529128 @default.
- W2107901871 cites W2046793036 @default.
- W2107901871 cites W2054739713 @default.
- W2107901871 cites W2116649658 @default.
- W2107901871 cites W2128551356 @default.
- W2107901871 cites W4242620488 @default.
- W2107901871 cites W4248790694 @default.
- W2107901871 doi "https://doi.org/10.1109/acsd.2014.27" @default.
- W2107901871 hasPublicationYear "2014" @default.
- W2107901871 type Work @default.
- W2107901871 sameAs 2107901871 @default.
- W2107901871 citedByCount "8" @default.
- W2107901871 countsByYear W21079018712015 @default.
- W2107901871 countsByYear W21079018712017 @default.
- W2107901871 countsByYear W21079018712018 @default.
- W2107901871 countsByYear W21079018712020 @default.
- W2107901871 crossrefType "proceedings-article" @default.
- W2107901871 hasAuthorship W2107901871A5007088441 @default.
- W2107901871 hasAuthorship W2107901871A5047398875 @default.
- W2107901871 hasAuthorship W2107901871A5081184867 @default.
- W2107901871 hasAuthorship W2107901871A5085643838 @default.
- W2107901871 hasBestOaLocation W21079018712 @default.
- W2107901871 hasConcept C11413529 @default.
- W2107901871 hasConcept C115537543 @default.
- W2107901871 hasConcept C120314980 @default.
- W2107901871 hasConcept C12186640 @default.
- W2107901871 hasConcept C133875982 @default.
- W2107901871 hasConcept C154945302 @default.
- W2107901871 hasConcept C162324750 @default.
- W2107901871 hasConcept C173608175 @default.
- W2107901871 hasConcept C179799912 @default.
- W2107901871 hasConcept C187736073 @default.
- W2107901871 hasConcept C199360897 @default.
- W2107901871 hasConcept C2776436953 @default.
- W2107901871 hasConcept C2778100165 @default.
- W2107901871 hasConcept C2780451532 @default.
- W2107901871 hasConcept C31170391 @default.
- W2107901871 hasConcept C34447519 @default.
- W2107901871 hasConcept C37279795 @default.
- W2107901871 hasConcept C41008148 @default.
- W2107901871 hasConcept C80444323 @default.
- W2107901871 hasConcept C82029504 @default.
- W2107901871 hasConcept C93361087 @default.
- W2107901871 hasConcept C98183937 @default.
- W2107901871 hasConceptScore W2107901871C11413529 @default.
- W2107901871 hasConceptScore W2107901871C115537543 @default.
- W2107901871 hasConceptScore W2107901871C120314980 @default.
- W2107901871 hasConceptScore W2107901871C12186640 @default.
- W2107901871 hasConceptScore W2107901871C133875982 @default.
- W2107901871 hasConceptScore W2107901871C154945302 @default.
- W2107901871 hasConceptScore W2107901871C162324750 @default.
- W2107901871 hasConceptScore W2107901871C173608175 @default.
- W2107901871 hasConceptScore W2107901871C179799912 @default.
- W2107901871 hasConceptScore W2107901871C187736073 @default.
- W2107901871 hasConceptScore W2107901871C199360897 @default.
- W2107901871 hasConceptScore W2107901871C2776436953 @default.
- W2107901871 hasConceptScore W2107901871C2778100165 @default.
- W2107901871 hasConceptScore W2107901871C2780451532 @default.
- W2107901871 hasConceptScore W2107901871C31170391 @default.
- W2107901871 hasConceptScore W2107901871C34447519 @default.
- W2107901871 hasConceptScore W2107901871C37279795 @default.
- W2107901871 hasConceptScore W2107901871C41008148 @default.
- W2107901871 hasConceptScore W2107901871C80444323 @default.
- W2107901871 hasConceptScore W2107901871C82029504 @default.
- W2107901871 hasConceptScore W2107901871C93361087 @default.
- W2107901871 hasConceptScore W2107901871C98183937 @default.
- W2107901871 hasLocation W21079018711 @default.
- W2107901871 hasLocation W21079018712 @default.
- W2107901871 hasOpenAccess W2107901871 @default.
- W2107901871 hasPrimaryLocation W21079018711 @default.
- W2107901871 hasRelatedWork W118795575 @default.
- W2107901871 hasRelatedWork W1569741251 @default.
- W2107901871 hasRelatedWork W1885534640 @default.
- W2107901871 hasRelatedWork W2025301734 @default.
- W2107901871 hasRelatedWork W2034248803 @default.
- W2107901871 hasRelatedWork W2036306661 @default.
- W2107901871 hasRelatedWork W2052172665 @default.
- W2107901871 hasRelatedWork W2108847887 @default.
- W2107901871 hasRelatedWork W2127591346 @default.
- W2107901871 hasRelatedWork W2505917360 @default.
- W2107901871 isParatext "false" @default.
- W2107901871 isRetracted "false" @default.
- W2107901871 magId "2107901871" @default.
- W2107901871 workType "article" @default.