Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117069557> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2117069557 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.
- W2117069557 created "2016-06-24" @default.
- W2117069557 creator A5011198874 @default.
- W2117069557 creator A5014067492 @default.
- W2117069557 creator A5062404663 @default.
- W2117069557 creator A5075649670 @default.
- W2117069557 creator A5088982588 @default.
- W2117069557 date "2011-03-05" @default.
- W2117069557 modified "2023-10-17" @default.
- W2117069557 title "Efficient processor support for DRFx, a memory model with exceptions" @default.
- W2117069557 cites W1482397304 @default.
- W2117069557 cites W1966151719 @default.
- W2117069557 cites W2010497096 @default.
- W2117069557 cites W2029601347 @default.
- W2117069557 cites W2039509099 @default.
- W2117069557 cites W2050048491 @default.
- W2117069557 cites W2054739713 @default.
- W2117069557 cites W2090249619 @default.
- W2117069557 cites W2091085450 @default.
- W2117069557 cites W2103957752 @default.
- W2117069557 cites W2105900173 @default.
- W2117069557 cites W2106389308 @default.
- W2117069557 cites W2107529624 @default.
- W2117069557 cites W2109875364 @default.
- W2117069557 cites W2113751407 @default.
- W2117069557 cites W2120635877 @default.
- W2117069557 cites W2122168604 @default.
- W2117069557 cites W2127532866 @default.
- W2117069557 cites W2127731413 @default.
- W2117069557 cites W2142101409 @default.
- W2117069557 cites W2145021036 @default.
- W2117069557 cites W2147506153 @default.
- W2117069557 cites W2149538119 @default.
- W2117069557 cites W2152621318 @default.
- W2117069557 cites W2152885346 @default.
- W2117069557 cites W2153174073 @default.
- W2117069557 cites W2153185479 @default.
- W2117069557 cites W2156428492 @default.
- W2117069557 cites W2167744164 @default.
- W2117069557 cites W2169000705 @default.
- W2117069557 cites W2169875292 @default.
- W2117069557 cites W3137220996 @default.
- W2117069557 cites W3145483441 @default.
- W2117069557 cites W4206635466 @default.
- W2117069557 cites W4244157805 @default.
- W2117069557 doi "https://doi.org/10.1145/1950365.1950375" @default.
- W2117069557 hasPublicationYear "2011" @default.
- W2117069557 type Work @default.
- W2117069557 sameAs 2117069557 @default.
- W2117069557 citedByCount "40" @default.
- W2117069557 countsByYear W21170695572012 @default.
- W2117069557 countsByYear W21170695572013 @default.
- W2117069557 countsByYear W21170695572014 @default.
- W2117069557 countsByYear W21170695572015 @default.
- W2117069557 countsByYear W21170695572016 @default.
- W2117069557 countsByYear W21170695572017 @default.
- W2117069557 countsByYear W21170695572018 @default.
- W2117069557 countsByYear W21170695572019 @default.
- W2117069557 countsByYear W21170695572020 @default.
- W2117069557 countsByYear W21170695572021 @default.
- W2117069557 crossrefType "proceedings-article" @default.
- W2117069557 hasAuthorship W2117069557A5011198874 @default.
- W2117069557 hasAuthorship W2117069557A5014067492 @default.
- W2117069557 hasAuthorship W2117069557A5062404663 @default.
- W2117069557 hasAuthorship W2117069557A5075649670 @default.
- W2117069557 hasAuthorship W2117069557A5088982588 @default.
- W2117069557 hasBestOaLocation W21170695572 @default.
- W2117069557 hasConcept C118524514 @default.
- W2117069557 hasConcept C173608175 @default.
- W2117069557 hasConcept C41008148 @default.
- W2117069557 hasConceptScore W2117069557C118524514 @default.
- W2117069557 hasConceptScore W2117069557C173608175 @default.
- W2117069557 hasConceptScore W2117069557C41008148 @default.
- W2117069557 hasLocation W21170695571 @default.
- W2117069557 hasLocation W21170695572 @default.
- W2117069557 hasOpenAccess W2117069557 @default.
- W2117069557 hasPrimaryLocation W21170695571 @default.
- W2117069557 hasRelatedWork W1509211761 @default.
- W2117069557 hasRelatedWork W1558545464 @default.
- W2117069557 hasRelatedWork W1984303163 @default.
- W2117069557 hasRelatedWork W2074301136 @default.
- W2117069557 hasRelatedWork W2117014006 @default.
- W2117069557 hasRelatedWork W2358725432 @default.
- W2117069557 hasRelatedWork W2372170743 @default.
- W2117069557 hasRelatedWork W3047022145 @default.
- W2117069557 hasRelatedWork W4233815414 @default.
- W2117069557 hasRelatedWork W99847340 @default.
- W2117069557 isParatext "false" @default.
- W2117069557 isRetracted "false" @default.
- W2117069557 magId "2117069557" @default.
- W2117069557 workType "article" @default.