Matches in SemOpenAlex for { <https://semopenalex.org/work/W2885634446> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2885634446 endingPage "40" @default.
- W2885634446 startingPage "1" @default.
- W2885634446 abstract "A multithreaded Cilk program that is ostensibly deterministic may nevertheless behave nondeterministically due to programming errors in the code. For a Cilk program that uses reducers—a general reduction mechanism supported in various Cilk dialects—such programming errors are especially challenging to debug, because the errors can expose the nondeterminism in how the Cilk runtime system manages reducers. We identify two unique types of races that arise from incorrect use of reducers in a Cilk program, and we present two algorithms to catch these races. The first algorithm, called the Peer-Set algorithm, detects view-read races, which occur when the program attempts to retrieve a value out of a reducer when the read may result in a nondeterministic value, such as before all previously spawned subcomputations that might update the reducer have necessarily returned. The second algorithm, called the SP+ algorithm, detects determinacy races—instances where a write to a memory location occurs logically in parallel with another access to that location—even when the raced-on memory locations relate to reducers. Both algorithms are provably correct, asymptotically efficient, and can be implemented efficiently in practice. We have implemented both algorithms in our prototype race detector, Rader. When running Peer-Set, Rader incurs a geometric-mean multiplicative overhead of 2.56 over running the benchmark without instrumentation. When running SP+, Rader incurs a geometric-mean multiplicative overhead of 16.94." @default.
- W2885634446 created "2018-08-22" @default.
- W2885634446 creator A5018454153 @default.
- W2885634446 creator A5083447315 @default.
- W2885634446 date "2017-12-31" @default.
- W2885634446 modified "2023-10-12" @default.
- W2885634446 title "Efficient Race Detection for Reducer Hyperobjects" @default.
- W2885634446 cites W1048515 @default.
- W2885634446 cites W1967882079 @default.
- W2885634446 cites W1977899806 @default.
- W2885634446 cites W1995085071 @default.
- W2885634446 cites W1995902175 @default.
- W2885634446 cites W2002179840 @default.
- W2885634446 cites W2016323637 @default.
- W2885634446 cites W2016559894 @default.
- W2885634446 cites W2019611783 @default.
- W2885634446 cites W2023658462 @default.
- W2885634446 cites W2025819261 @default.
- W2885634446 cites W2034256728 @default.
- W2885634446 cites W2045238089 @default.
- W2885634446 cites W2066952803 @default.
- W2885634446 cites W2072725684 @default.
- W2885634446 cites W2093753124 @default.
- W2885634446 cites W2103560923 @default.
- W2885634446 cites W2103957752 @default.
- W2885634446 cites W2105794846 @default.
- W2885634446 cites W2115968584 @default.
- W2885634446 cites W2127989655 @default.
- W2885634446 cites W2135063076 @default.
- W2885634446 cites W2141832493 @default.
- W2885634446 cites W2152907584 @default.
- W2885634446 cites W2154557525 @default.
- W2885634446 cites W2161600851 @default.
- W2885634446 cites W2166615267 @default.
- W2885634446 cites W2167744164 @default.
- W2885634446 cites W2169875292 @default.
- W2885634446 cites W2170200862 @default.
- W2885634446 cites W2172013743 @default.
- W2885634446 cites W2470978318 @default.
- W2885634446 cites W3004104485 @default.
- W2885634446 cites W4248655060 @default.
- W2885634446 cites W4251803824 @default.
- W2885634446 cites W4300810260 @default.
- W2885634446 doi "https://doi.org/10.1145/3205914" @default.
- W2885634446 hasPublicationYear "2017" @default.
- W2885634446 type Work @default.
- W2885634446 sameAs 2885634446 @default.
- W2885634446 citedByCount "0" @default.
- W2885634446 crossrefType "journal-article" @default.
- W2885634446 hasAuthorship W2885634446A5018454153 @default.
- W2885634446 hasAuthorship W2885634446A5083447315 @default.
- W2885634446 hasBestOaLocation W28856344461 @default.
- W2885634446 hasConcept C11413529 @default.
- W2885634446 hasConcept C127413603 @default.
- W2885634446 hasConcept C138101251 @default.
- W2885634446 hasConcept C147176958 @default.
- W2885634446 hasConcept C168065819 @default.
- W2885634446 hasConcept C173608175 @default.
- W2885634446 hasConcept C176181172 @default.
- W2885634446 hasConcept C199360897 @default.
- W2885634446 hasConcept C2776985865 @default.
- W2885634446 hasConcept C41008148 @default.
- W2885634446 hasConceptScore W2885634446C11413529 @default.
- W2885634446 hasConceptScore W2885634446C127413603 @default.
- W2885634446 hasConceptScore W2885634446C138101251 @default.
- W2885634446 hasConceptScore W2885634446C147176958 @default.
- W2885634446 hasConceptScore W2885634446C168065819 @default.
- W2885634446 hasConceptScore W2885634446C173608175 @default.
- W2885634446 hasConceptScore W2885634446C176181172 @default.
- W2885634446 hasConceptScore W2885634446C199360897 @default.
- W2885634446 hasConceptScore W2885634446C2776985865 @default.
- W2885634446 hasConceptScore W2885634446C41008148 @default.
- W2885634446 hasIssue "4" @default.
- W2885634446 hasLocation W28856344461 @default.
- W2885634446 hasOpenAccess W2885634446 @default.
- W2885634446 hasPrimaryLocation W28856344461 @default.
- W2885634446 hasRelatedWork W1578778518 @default.
- W2885634446 hasRelatedWork W1579177548 @default.
- W2885634446 hasRelatedWork W1587224678 @default.
- W2885634446 hasRelatedWork W1601811574 @default.
- W2885634446 hasRelatedWork W1823227073 @default.
- W2885634446 hasRelatedWork W2135396778 @default.
- W2885634446 hasRelatedWork W2765837537 @default.
- W2885634446 hasRelatedWork W40929944 @default.
- W2885634446 hasRelatedWork W4234604123 @default.
- W2885634446 hasRelatedWork W2583261385 @default.
- W2885634446 hasVolume "4" @default.
- W2885634446 isParatext "false" @default.
- W2885634446 isRetracted "false" @default.
- W2885634446 magId "2885634446" @default.
- W2885634446 workType "article" @default.