Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022059877> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2022059877 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 a reducer. We identify two unique types of races that arise from incorrect use of reducers in a Cilk program and present two algorithms to catch them. 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 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 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.32 over running the benchmark without instrumentation. When running SP+, Rader incurs a geometric-mean multiplicative overhead of 16.76." @default.
- W2022059877 created "2016-06-24" @default.
- W2022059877 creator A5018454153 @default.
- W2022059877 creator A5083447315 @default.
- W2022059877 date "2015-06-13" @default.
- W2022059877 modified "2023-10-18" @default.
- W2022059877 title "Efficiently Detecting Races in Cilk Programs That Use Reducer Hyperobjects" @default.
- W2022059877 cites W1483476483 @default.
- W2022059877 cites W1572187826 @default.
- W2022059877 cites W1967882079 @default.
- W2022059877 cites W1977899806 @default.
- W2022059877 cites W1995085071 @default.
- W2022059877 cites W1995902175 @default.
- W2022059877 cites W2002179840 @default.
- W2022059877 cites W2016323637 @default.
- W2022059877 cites W2016559894 @default.
- W2022059877 cites W2019611783 @default.
- W2022059877 cites W2025819261 @default.
- W2022059877 cites W2034256728 @default.
- W2022059877 cites W2045238089 @default.
- W2022059877 cites W2066952803 @default.
- W2022059877 cites W2072725684 @default.
- W2022059877 cites W2103560923 @default.
- W2022059877 cites W2103957752 @default.
- W2022059877 cites W2105794846 @default.
- W2022059877 cites W2115968584 @default.
- W2022059877 cites W2127989655 @default.
- W2022059877 cites W2135063076 @default.
- W2022059877 cites W2141832493 @default.
- W2022059877 cites W2152907584 @default.
- W2022059877 cites W2154557525 @default.
- W2022059877 cites W2161600851 @default.
- W2022059877 cites W2166615267 @default.
- W2022059877 cites W2167744164 @default.
- W2022059877 cites W2169875292 @default.
- W2022059877 cites W2170200862 @default.
- W2022059877 cites W2172013743 @default.
- W2022059877 cites W4248655060 @default.
- W2022059877 cites W4251803824 @default.
- W2022059877 cites W4300810260 @default.
- W2022059877 doi "https://doi.org/10.1145/2755573.2755599" @default.
- W2022059877 hasPublicationYear "2015" @default.
- W2022059877 type Work @default.
- W2022059877 sameAs 2022059877 @default.
- W2022059877 citedByCount "12" @default.
- W2022059877 countsByYear W20220598772017 @default.
- W2022059877 countsByYear W20220598772018 @default.
- W2022059877 countsByYear W20220598772019 @default.
- W2022059877 countsByYear W20220598772020 @default.
- W2022059877 crossrefType "proceedings-article" @default.
- W2022059877 hasAuthorship W2022059877A5018454153 @default.
- W2022059877 hasAuthorship W2022059877A5083447315 @default.
- W2022059877 hasConcept C11413529 @default.
- W2022059877 hasConcept C127413603 @default.
- W2022059877 hasConcept C138101251 @default.
- W2022059877 hasConcept C147176958 @default.
- W2022059877 hasConcept C168065819 @default.
- W2022059877 hasConcept C173608175 @default.
- W2022059877 hasConcept C176181172 @default.
- W2022059877 hasConcept C199360897 @default.
- W2022059877 hasConcept C2776985865 @default.
- W2022059877 hasConcept C2780870223 @default.
- W2022059877 hasConcept C41008148 @default.
- W2022059877 hasConceptScore W2022059877C11413529 @default.
- W2022059877 hasConceptScore W2022059877C127413603 @default.
- W2022059877 hasConceptScore W2022059877C138101251 @default.
- W2022059877 hasConceptScore W2022059877C147176958 @default.
- W2022059877 hasConceptScore W2022059877C168065819 @default.
- W2022059877 hasConceptScore W2022059877C173608175 @default.
- W2022059877 hasConceptScore W2022059877C176181172 @default.
- W2022059877 hasConceptScore W2022059877C199360897 @default.
- W2022059877 hasConceptScore W2022059877C2776985865 @default.
- W2022059877 hasConceptScore W2022059877C2780870223 @default.
- W2022059877 hasConceptScore W2022059877C41008148 @default.
- W2022059877 hasFunder F4320306076 @default.
- W2022059877 hasLocation W20220598771 @default.
- W2022059877 hasOpenAccess W2022059877 @default.
- W2022059877 hasPrimaryLocation W20220598771 @default.
- W2022059877 hasRelatedWork W1489348366 @default.
- W2022059877 hasRelatedWork W1498982577 @default.
- W2022059877 hasRelatedWork W1587224678 @default.
- W2022059877 hasRelatedWork W1601811574 @default.
- W2022059877 hasRelatedWork W1823227073 @default.
- W2022059877 hasRelatedWork W1850068535 @default.
- W2022059877 hasRelatedWork W2170268965 @default.
- W2022059877 hasRelatedWork W2729293173 @default.
- W2022059877 hasRelatedWork W4243860902 @default.
- W2022059877 hasRelatedWork W2527368155 @default.
- W2022059877 isParatext "false" @default.
- W2022059877 isRetracted "false" @default.
- W2022059877 magId "2022059877" @default.
- W2022059877 workType "article" @default.