Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293159724> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2293159724 abstract "Despite much research on concurrent programming languages, especially for Java and C/C++, we still do not have a satisfactory definition of their semantics, one that admits all common optimisations without also admitting undesired behaviour. Especially problematic are the ``thin-air'' examples involving high-performance concurrent accesses, such as C/C++11 relaxed atomics. The C/C++11 model is in a per-candidate-execution style, and previous work has identified a tension between that and the fact that compiler optimisations do not operate over single candidate executions in isolation; rather, they operate over syntactic representations that represent all executions. In this paper we propose a novel approach that circumvents this difficulty. We define a concurrency semantics for a core calculus, including relaxed-atomic and non-atomic accesses, and locks, that admits a wide range of optimisation while still forbidding the classic thin-air examples. It also addresses other problems relating to undefined behaviour. The basic idea is to use an event-structure representation of the current state of each thread, capturing all of its potential executions, and to permit interleaving of execution and transformation steps over that to reflect optimisation (possibly dynamic) of the code. These are combined with a non-multi-copy-atomic storage subsystem, to reflect common hardware behaviour. The semantics is defined in a mechanised and executable form, and designed to be implementable above current relaxed hardware and strong enough to support the programming idioms that C/C++11 does for this fragment. It offers a potential way forward for concurrent programming language semantics, beyond the current C/C++11 and Java models." @default.
- W2293159724 created "2016-06-24" @default.
- W2293159724 creator A5027766872 @default.
- W2293159724 creator A5083405043 @default.
- W2293159724 date "2016-01-11" @default.
- W2293159724 modified "2023-09-25" @default.
- W2293159724 title "A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions" @default.
- W2293159724 cites W1482397304 @default.
- W2293159724 cites W1498264241 @default.
- W2293159724 cites W1595974273 @default.
- W2293159724 cites W2000659103 @default.
- W2293159724 cites W2003556922 @default.
- W2293159724 cites W2014708731 @default.
- W2293159724 cites W2016012949 @default.
- W2293159724 cites W2030159266 @default.
- W2293159724 cites W2054391605 @default.
- W2293159724 cites W2058943117 @default.
- W2293159724 cites W2091085450 @default.
- W2293159724 cites W2117502039 @default.
- W2293159724 cites W2152179894 @default.
- W2293159724 cites W2152885346 @default.
- W2293159724 cites W4234066571 @default.
- W2293159724 cites W4240322740 @default.
- W2293159724 cites W4246957455 @default.
- W2293159724 cites W4251987281 @default.
- W2293159724 cites W4256041698 @default.
- W2293159724 cites W867008410 @default.
- W2293159724 doi "https://doi.org/10.1145/2837614.2837616" @default.
- W2293159724 hasPublicationYear "2016" @default.
- W2293159724 type Work @default.
- W2293159724 sameAs 2293159724 @default.
- W2293159724 citedByCount "58" @default.
- W2293159724 countsByYear W22931597242016 @default.
- W2293159724 countsByYear W22931597242017 @default.
- W2293159724 countsByYear W22931597242018 @default.
- W2293159724 countsByYear W22931597242019 @default.
- W2293159724 countsByYear W22931597242020 @default.
- W2293159724 countsByYear W22931597242021 @default.
- W2293159724 countsByYear W22931597242022 @default.
- W2293159724 countsByYear W22931597242023 @default.
- W2293159724 crossrefType "proceedings-article" @default.
- W2293159724 hasAuthorship W2293159724A5027766872 @default.
- W2293159724 hasAuthorship W2293159724A5083405043 @default.
- W2293159724 hasBestOaLocation W22931597242 @default.
- W2293159724 hasConcept C111919701 @default.
- W2293159724 hasConcept C12186640 @default.
- W2293159724 hasConcept C133875982 @default.
- W2293159724 hasConcept C138101251 @default.
- W2293159724 hasConcept C156325763 @default.
- W2293159724 hasConcept C160145156 @default.
- W2293159724 hasConcept C169590947 @default.
- W2293159724 hasConcept C173608175 @default.
- W2293159724 hasConcept C184337299 @default.
- W2293159724 hasConcept C190902152 @default.
- W2293159724 hasConcept C193702766 @default.
- W2293159724 hasConcept C199360897 @default.
- W2293159724 hasConcept C2776235265 @default.
- W2293159724 hasConcept C28034677 @default.
- W2293159724 hasConcept C41008148 @default.
- W2293159724 hasConcept C548217200 @default.
- W2293159724 hasConceptScore W2293159724C111919701 @default.
- W2293159724 hasConceptScore W2293159724C12186640 @default.
- W2293159724 hasConceptScore W2293159724C133875982 @default.
- W2293159724 hasConceptScore W2293159724C138101251 @default.
- W2293159724 hasConceptScore W2293159724C156325763 @default.
- W2293159724 hasConceptScore W2293159724C160145156 @default.
- W2293159724 hasConceptScore W2293159724C169590947 @default.
- W2293159724 hasConceptScore W2293159724C173608175 @default.
- W2293159724 hasConceptScore W2293159724C184337299 @default.
- W2293159724 hasConceptScore W2293159724C190902152 @default.
- W2293159724 hasConceptScore W2293159724C193702766 @default.
- W2293159724 hasConceptScore W2293159724C199360897 @default.
- W2293159724 hasConceptScore W2293159724C2776235265 @default.
- W2293159724 hasConceptScore W2293159724C28034677 @default.
- W2293159724 hasConceptScore W2293159724C41008148 @default.
- W2293159724 hasConceptScore W2293159724C548217200 @default.
- W2293159724 hasLocation W22931597241 @default.
- W2293159724 hasLocation W22931597242 @default.
- W2293159724 hasOpenAccess W2293159724 @default.
- W2293159724 hasPrimaryLocation W22931597241 @default.
- W2293159724 hasRelatedWork W1541585229 @default.
- W2293159724 hasRelatedWork W1583465708 @default.
- W2293159724 hasRelatedWork W1601646354 @default.
- W2293159724 hasRelatedWork W1606851719 @default.
- W2293159724 hasRelatedWork W1853049011 @default.
- W2293159724 hasRelatedWork W2005574148 @default.
- W2293159724 hasRelatedWork W2293159724 @default.
- W2293159724 hasRelatedWork W2417154951 @default.
- W2293159724 hasRelatedWork W867008410 @default.
- W2293159724 hasRelatedWork W2479014312 @default.
- W2293159724 isParatext "false" @default.
- W2293159724 isRetracted "false" @default.
- W2293159724 magId "2293159724" @default.
- W2293159724 workType "article" @default.