Matches in SemOpenAlex for { <https://semopenalex.org/work/W3003320174> ?p ?o ?g. }
- W3003320174 endingPage "66" @default.
- W3003320174 startingPage "53" @default.
- W3003320174 abstract "A longstanding challenge of shared-memory concurrency is to provide a memory model that allows for efficient implementation while providing strong and simple guarantees to programmers. The C++0x and Java memory models admit a wide variety of compiler and hardwareoptimizations and provide sequentially consistent (SC) semantics for data-race-free programs. However, they either do not provide any semantics (C++0x) or provide a hard-to-understand semantics (Java) for racy programs, compromising the safety and debuggability of such programs. In earlier work we proposed the DRFx memory model, which addresses this problem by dynamically detecting potential violations of SC due to the interaction of compiler or hardware optimizations with data races and halting execution upon detection. In this paper, we present a detailed micro-architecture design for supporting the DRFx memory model, formalize the design and prove its correctness, and evaluate the design using a hardware simulator. We describe a set of DRFx-compliant complexity-effective optimizations which allow us to attain performance close to that of TSO (Total Store Model) and DRF0 while providing strong guarantees for all programs." @default.
- W3003320174 created "2020-02-07" @default.
- W3003320174 creator A5018243186 @default.
- W3003320174 creator A5044962908 @default.
- W3003320174 creator A5049987510 @default.
- W3003320174 creator A5069696849 @default.
- W3003320174 creator A5071952799 @default.
- W3003320174 date "2011-03-05" @default.
- W3003320174 modified "2023-09-26" @default.
- W3003320174 title "Efficient processor support for DRFx, a memory model with exceptions" @default.
- W3003320174 cites W1482397304 @default.
- W3003320174 cites W1966151719 @default.
- W3003320174 cites W2010497096 @default.
- W3003320174 cites W2029601347 @default.
- W3003320174 cites W2039509099 @default.
- W3003320174 cites W2050048491 @default.
- W3003320174 cites W2054739713 @default.
- W3003320174 cites W2090249619 @default.
- W3003320174 cites W2091085450 @default.
- W3003320174 cites W2103957752 @default.
- W3003320174 cites W2105900173 @default.
- W3003320174 cites W2106389308 @default.
- W3003320174 cites W2107529624 @default.
- W3003320174 cites W2109875364 @default.
- W3003320174 cites W2113751407 @default.
- W3003320174 cites W2120635877 @default.
- W3003320174 cites W2122168604 @default.
- W3003320174 cites W2127532866 @default.
- W3003320174 cites W2127731413 @default.
- W3003320174 cites W2142101409 @default.
- W3003320174 cites W2145021036 @default.
- W3003320174 cites W2147506153 @default.
- W3003320174 cites W2149538119 @default.
- W3003320174 cites W2152621318 @default.
- W3003320174 cites W2152885346 @default.
- W3003320174 cites W2153174073 @default.
- W3003320174 cites W2153185479 @default.
- W3003320174 cites W2156428492 @default.
- W3003320174 cites W2167744164 @default.
- W3003320174 cites W2169000705 @default.
- W3003320174 cites W2169875292 @default.
- W3003320174 cites W3137220996 @default.
- W3003320174 cites W3145483441 @default.
- W3003320174 cites W4206635466 @default.
- W3003320174 cites W4244157805 @default.
- W3003320174 doi "https://doi.org/10.1145/1961295.1950375" @default.
- W3003320174 hasPublicationYear "2011" @default.
- W3003320174 type Work @default.
- W3003320174 sameAs 3003320174 @default.
- W3003320174 citedByCount "0" @default.
- W3003320174 crossrefType "journal-article" @default.
- W3003320174 hasAuthorship W3003320174A5018243186 @default.
- W3003320174 hasAuthorship W3003320174A5044962908 @default.
- W3003320174 hasAuthorship W3003320174A5049987510 @default.
- W3003320174 hasAuthorship W3003320174A5069696849 @default.
- W3003320174 hasAuthorship W3003320174A5071952799 @default.
- W3003320174 hasBestOaLocation W30033201742 @default.
- W3003320174 hasConcept C12186640 @default.
- W3003320174 hasConcept C133875982 @default.
- W3003320174 hasConcept C169590947 @default.
- W3003320174 hasConcept C173608175 @default.
- W3003320174 hasConcept C177264268 @default.
- W3003320174 hasConcept C184337299 @default.
- W3003320174 hasConcept C193702766 @default.
- W3003320174 hasConcept C199360897 @default.
- W3003320174 hasConcept C41008148 @default.
- W3003320174 hasConcept C548217200 @default.
- W3003320174 hasConcept C55439883 @default.
- W3003320174 hasConceptScore W3003320174C12186640 @default.
- W3003320174 hasConceptScore W3003320174C133875982 @default.
- W3003320174 hasConceptScore W3003320174C169590947 @default.
- W3003320174 hasConceptScore W3003320174C173608175 @default.
- W3003320174 hasConceptScore W3003320174C177264268 @default.
- W3003320174 hasConceptScore W3003320174C184337299 @default.
- W3003320174 hasConceptScore W3003320174C193702766 @default.
- W3003320174 hasConceptScore W3003320174C199360897 @default.
- W3003320174 hasConceptScore W3003320174C41008148 @default.
- W3003320174 hasConceptScore W3003320174C548217200 @default.
- W3003320174 hasConceptScore W3003320174C55439883 @default.
- W3003320174 hasIssue "1" @default.
- W3003320174 hasLocation W30033201741 @default.
- W3003320174 hasLocation W30033201742 @default.
- W3003320174 hasOpenAccess W3003320174 @default.
- W3003320174 hasPrimaryLocation W30033201741 @default.
- W3003320174 hasRelatedWork W1496409793 @default.
- W3003320174 hasRelatedWork W1548537923 @default.
- W3003320174 hasRelatedWork W1936017528 @default.
- W3003320174 hasRelatedWork W2003848320 @default.
- W3003320174 hasRelatedWork W2592137786 @default.
- W3003320174 hasRelatedWork W4252501555 @default.
- W3003320174 hasRelatedWork W4256041698 @default.
- W3003320174 hasRelatedWork W867008410 @default.
- W3003320174 hasRelatedWork W1602178951 @default.
- W3003320174 hasRelatedWork W2479014312 @default.
- W3003320174 hasVolume "39" @default.
- W3003320174 isParatext "false" @default.
- W3003320174 isRetracted "false" @default.
- W3003320174 magId "3003320174" @default.