Matches in SemOpenAlex for { <https://semopenalex.org/work/W3125539909> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3125539909 endingPage "633" @default.
- W3125539909 startingPage "622" @default.
- W3125539909 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.
- W3125539909 created "2021-02-01" @default.
- W3125539909 creator A5004046329 @default.
- W3125539909 creator A5083405043 @default.
- W3125539909 date "2016-01-11" @default.
- W3125539909 modified "2023-09-26" @default.
- W3125539909 title "A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions" @default.
- W3125539909 cites W1482397304 @default.
- W3125539909 cites W1498264241 @default.
- W3125539909 cites W1595974273 @default.
- W3125539909 cites W2000659103 @default.
- W3125539909 cites W2003556922 @default.
- W3125539909 cites W2014708731 @default.
- W3125539909 cites W2016012949 @default.
- W3125539909 cites W2030159266 @default.
- W3125539909 cites W2054391605 @default.
- W3125539909 cites W2058943117 @default.
- W3125539909 cites W2091085450 @default.
- W3125539909 cites W2117502039 @default.
- W3125539909 cites W2152179894 @default.
- W3125539909 cites W2152885346 @default.
- W3125539909 cites W4234066571 @default.
- W3125539909 cites W4240322740 @default.
- W3125539909 cites W4246957455 @default.
- W3125539909 cites W4251987281 @default.
- W3125539909 cites W4256041698 @default.
- W3125539909 cites W867008410 @default.
- W3125539909 doi "https://doi.org/10.1145/2914770.2837616" @default.
- W3125539909 hasPublicationYear "2016" @default.
- W3125539909 type Work @default.
- W3125539909 sameAs 3125539909 @default.
- W3125539909 citedByCount "5" @default.
- W3125539909 countsByYear W31255399092017 @default.
- W3125539909 countsByYear W31255399092018 @default.
- W3125539909 countsByYear W31255399092019 @default.
- W3125539909 countsByYear W31255399092020 @default.
- W3125539909 countsByYear W31255399092021 @default.
- W3125539909 crossrefType "journal-article" @default.
- W3125539909 hasAuthorship W3125539909A5004046329 @default.
- W3125539909 hasAuthorship W3125539909A5083405043 @default.
- W3125539909 hasBestOaLocation W31255399092 @default.
- W3125539909 hasConcept C12186640 @default.
- W3125539909 hasConcept C133875982 @default.
- W3125539909 hasConcept C138101251 @default.
- W3125539909 hasConcept C156325763 @default.
- W3125539909 hasConcept C160145156 @default.
- W3125539909 hasConcept C169590947 @default.
- W3125539909 hasConcept C173608175 @default.
- W3125539909 hasConcept C184337299 @default.
- W3125539909 hasConcept C190902152 @default.
- W3125539909 hasConcept C193702766 @default.
- W3125539909 hasConcept C199360897 @default.
- W3125539909 hasConcept C41008148 @default.
- W3125539909 hasConcept C548217200 @default.
- W3125539909 hasConceptScore W3125539909C12186640 @default.
- W3125539909 hasConceptScore W3125539909C133875982 @default.
- W3125539909 hasConceptScore W3125539909C138101251 @default.
- W3125539909 hasConceptScore W3125539909C156325763 @default.
- W3125539909 hasConceptScore W3125539909C160145156 @default.
- W3125539909 hasConceptScore W3125539909C169590947 @default.
- W3125539909 hasConceptScore W3125539909C173608175 @default.
- W3125539909 hasConceptScore W3125539909C184337299 @default.
- W3125539909 hasConceptScore W3125539909C190902152 @default.
- W3125539909 hasConceptScore W3125539909C193702766 @default.
- W3125539909 hasConceptScore W3125539909C199360897 @default.
- W3125539909 hasConceptScore W3125539909C41008148 @default.
- W3125539909 hasConceptScore W3125539909C548217200 @default.
- W3125539909 hasIssue "1" @default.
- W3125539909 hasLocation W31255399091 @default.
- W3125539909 hasLocation W31255399092 @default.
- W3125539909 hasOpenAccess W3125539909 @default.
- W3125539909 hasPrimaryLocation W31255399091 @default.
- W3125539909 hasRelatedWork W1541585229 @default.
- W3125539909 hasRelatedWork W1583465708 @default.
- W3125539909 hasRelatedWork W1601646354 @default.
- W3125539909 hasRelatedWork W1606851719 @default.
- W3125539909 hasRelatedWork W1853049011 @default.
- W3125539909 hasRelatedWork W2155380397 @default.
- W3125539909 hasRelatedWork W2293159724 @default.
- W3125539909 hasRelatedWork W2417154951 @default.
- W3125539909 hasRelatedWork W867008410 @default.
- W3125539909 hasRelatedWork W2479014312 @default.
- W3125539909 hasVolume "51" @default.
- W3125539909 isParatext "false" @default.
- W3125539909 isRetracted "false" @default.
- W3125539909 magId "3125539909" @default.
- W3125539909 workType "article" @default.