Matches in SemOpenAlex for { <https://semopenalex.org/work/W1916692425> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1916692425 abstract "Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and OpenCL memory models is subtle, leading to convoluted prose descriptions that translate to complex axiomatic formalisations. We conduct an overhaul of SC atomics in C11, reducing the associated axioms in both number and complexity. A consequence of our simplification is that the SC operations in an execution no longer need to be totally ordered. This relaxation enables, for the first time, efficient and exhaustive simulation of litmus tests that use SC atomics. We extend our improved C11 model to obtain the first rigorous memory model formalisation for OpenCL (which extends C11 with support for heterogeneous many-core programming). In the OpenCL setting, we refine the SC axioms still further to give a sensible semantics to SC operations that employ a 'memory scope' to restrict their visibility to specific threads. Our overhaul requires slight strengthenings of both the C11 and the OpenCL memory models, causing some behaviours to become disallowed. We argue that these strengthenings are natural, and that all of the formalised C11 and OpenCL compilation schemes of which we are aware (Power and x86 CPUs for C11, AMD GPUs for OpenCL) remain valid in our revised models. Using the Herd memory model simulator, we show that our overhaul leads to an exponential improvement in simulation time for C11 litmus tests compared with the original model, making exhaustive simulation competitive, time-wise, with the non-exhaustive CDSChecker tool." @default.
- W1916692425 created "2016-06-24" @default.
- W1916692425 creator A5002846450 @default.
- W1916692425 creator A5008461261 @default.
- W1916692425 date "2015-03-24" @default.
- W1916692425 modified "2023-09-27" @default.
- W1916692425 title "Taming the complexities of the C11 and OpenCL memory models" @default.
- W1916692425 cites W1808398105 @default.
- W1916692425 cites W1983206712 @default.
- W1916692425 cites W2003556922 @default.
- W1916692425 cites W2006006495 @default.
- W1916692425 cites W2014708731 @default.
- W1916692425 cites W2058943117 @default.
- W1916692425 cites W2083780331 @default.
- W1916692425 cites W2120339165 @default.
- W1916692425 cites W2138074470 @default.
- W1916692425 cites W2150618958 @default.
- W1916692425 cites W2152885346 @default.
- W1916692425 cites W2153636750 @default.
- W1916692425 cites W2164264520 @default.
- W1916692425 cites W2169832991 @default.
- W1916692425 cites W2738891045 @default.
- W1916692425 cites W2987803397 @default.
- W1916692425 hasPublicationYear "2015" @default.
- W1916692425 type Work @default.
- W1916692425 sameAs 1916692425 @default.
- W1916692425 citedByCount "0" @default.
- W1916692425 crossrefType "posted-content" @default.
- W1916692425 hasAuthorship W1916692425A5002846450 @default.
- W1916692425 hasAuthorship W1916692425A5008461261 @default.
- W1916692425 hasConcept C12186640 @default.
- W1916692425 hasConcept C133875982 @default.
- W1916692425 hasConcept C154945302 @default.
- W1916692425 hasConcept C167729594 @default.
- W1916692425 hasConcept C170723468 @default.
- W1916692425 hasConcept C173608175 @default.
- W1916692425 hasConcept C184337299 @default.
- W1916692425 hasConcept C199360897 @default.
- W1916692425 hasConcept C2524010 @default.
- W1916692425 hasConcept C2776436953 @default.
- W1916692425 hasConcept C2777904410 @default.
- W1916692425 hasConcept C33923547 @default.
- W1916692425 hasConcept C37279795 @default.
- W1916692425 hasConcept C41008148 @default.
- W1916692425 hasConcept C55439883 @default.
- W1916692425 hasConcept C80444323 @default.
- W1916692425 hasConcept C82029504 @default.
- W1916692425 hasConceptScore W1916692425C12186640 @default.
- W1916692425 hasConceptScore W1916692425C133875982 @default.
- W1916692425 hasConceptScore W1916692425C154945302 @default.
- W1916692425 hasConceptScore W1916692425C167729594 @default.
- W1916692425 hasConceptScore W1916692425C170723468 @default.
- W1916692425 hasConceptScore W1916692425C173608175 @default.
- W1916692425 hasConceptScore W1916692425C184337299 @default.
- W1916692425 hasConceptScore W1916692425C199360897 @default.
- W1916692425 hasConceptScore W1916692425C2524010 @default.
- W1916692425 hasConceptScore W1916692425C2776436953 @default.
- W1916692425 hasConceptScore W1916692425C2777904410 @default.
- W1916692425 hasConceptScore W1916692425C33923547 @default.
- W1916692425 hasConceptScore W1916692425C37279795 @default.
- W1916692425 hasConceptScore W1916692425C41008148 @default.
- W1916692425 hasConceptScore W1916692425C55439883 @default.
- W1916692425 hasConceptScore W1916692425C80444323 @default.
- W1916692425 hasConceptScore W1916692425C82029504 @default.
- W1916692425 hasLocation W19166924251 @default.
- W1916692425 hasOpenAccess W1916692425 @default.
- W1916692425 hasPrimaryLocation W19166924251 @default.
- W1916692425 hasRelatedWork W1945229733 @default.
- W1916692425 hasRelatedWork W1990191223 @default.
- W1916692425 hasRelatedWork W2100232637 @default.
- W1916692425 hasRelatedWork W2103993597 @default.
- W1916692425 hasRelatedWork W2146015688 @default.
- W1916692425 hasRelatedWork W2517970011 @default.
- W1916692425 hasRelatedWork W2644985445 @default.
- W1916692425 hasRelatedWork W2739030995 @default.
- W1916692425 hasRelatedWork W2785183158 @default.
- W1916692425 hasRelatedWork W2886110142 @default.
- W1916692425 hasRelatedWork W2922066107 @default.
- W1916692425 hasRelatedWork W2995576800 @default.
- W1916692425 hasRelatedWork W3099115520 @default.
- W1916692425 hasRelatedWork W3105420307 @default.
- W1916692425 hasRelatedWork W3107477519 @default.
- W1916692425 hasRelatedWork W315223353 @default.
- W1916692425 hasRelatedWork W3159031899 @default.
- W1916692425 hasRelatedWork W3200544313 @default.
- W1916692425 hasRelatedWork W772865365 @default.
- W1916692425 hasRelatedWork W2183107717 @default.
- W1916692425 isParatext "false" @default.
- W1916692425 isRetracted "false" @default.
- W1916692425 magId "1916692425" @default.
- W1916692425 workType "article" @default.