Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052803369> ?p ?o ?g. }
- W2052803369 endingPage "2684" @default.
- W2052803369 startingPage "2676" @default.
- W2052803369 abstract "Strongly deterministic multithreading provides determinism for multithreaded programs even in the presence of data races. A common way to guarantee determinism for data races is to isolate threads by buffering shared memory accesses. Unfortunately, buffering all shared accesses is prohibitively costly. We propose an approach called DRDet to efficiently make data races deterministic. DRDet leverages the insight that, instead of buffering all shared memory accesses, it is sufficient to only buffer memory accesses involving data races. DRDet uses a sound data-race detector to detect all potential data races. These potential data races, along with all accesses which may access the same set of memory objects, are flagged as data-race-involved accesses. Unsurprisingly, the imprecision of static analyses makes a large fraction of shared accesses to be data-race-involved. DRDet employs two optimizations which aim at reducing the number of accesses to be sent to query alias analysis. We implement DRDet on CoreDet, a state-of-the-art deterministic multithreading system. Our empirical evaluation shows that DRDet reduces the overhead of CoreDet by an average of 1.6X, without weakening determinism and scalability." @default.
- W2052803369 created "2016-06-24" @default.
- W2052803369 creator A5012979904 @default.
- W2052803369 creator A5018453698 @default.
- W2052803369 creator A5063253432 @default.
- W2052803369 creator A5063497907 @default.
- W2052803369 creator A5089812226 @default.
- W2052803369 date "2014-01-01" @default.
- W2052803369 modified "2023-10-06" @default.
- W2052803369 title "DRDet: Efficiently Making Data Races Deterministic" @default.
- W2052803369 cites W19394988 @default.
- W2052803369 cites W1970363544 @default.
- W2052803369 cites W1978903859 @default.
- W2052803369 cites W2045238089 @default.
- W2052803369 cites W2091980304 @default.
- W2052803369 cites W2113658736 @default.
- W2052803369 cites W2122532513 @default.
- W2052803369 cites W2123184511 @default.
- W2052803369 cites W2131135493 @default.
- W2052803369 cites W2134440791 @default.
- W2052803369 cites W2145087641 @default.
- W2052803369 cites W2149984854 @default.
- W2052803369 cites W2154557525 @default.
- W2052803369 cites W2155043856 @default.
- W2052803369 cites W2156300775 @default.
- W2052803369 cites W3008756550 @default.
- W2052803369 cites W4235385348 @default.
- W2052803369 cites W4245772811 @default.
- W2052803369 cites W4247089108 @default.
- W2052803369 cites W4254185666 @default.
- W2052803369 cites W4254447879 @default.
- W2052803369 cites W4255370083 @default.
- W2052803369 doi "https://doi.org/10.1587/transinf.2014edp7067" @default.
- W2052803369 hasPublicationYear "2014" @default.
- W2052803369 type Work @default.
- W2052803369 sameAs 2052803369 @default.
- W2052803369 citedByCount "1" @default.
- W2052803369 countsByYear W20528033692018 @default.
- W2052803369 crossrefType "journal-article" @default.
- W2052803369 hasAuthorship W2052803369A5012979904 @default.
- W2052803369 hasAuthorship W2052803369A5018453698 @default.
- W2052803369 hasAuthorship W2052803369A5063253432 @default.
- W2052803369 hasAuthorship W2052803369A5063497907 @default.
- W2052803369 hasAuthorship W2052803369A5089812226 @default.
- W2052803369 hasBestOaLocation W20528033691 @default.
- W2052803369 hasConcept C111919701 @default.
- W2052803369 hasConcept C120314980 @default.
- W2052803369 hasConcept C121332964 @default.
- W2052803369 hasConcept C133875982 @default.
- W2052803369 hasConcept C138101251 @default.
- W2052803369 hasConcept C173608175 @default.
- W2052803369 hasConcept C177264268 @default.
- W2052803369 hasConcept C192183473 @default.
- W2052803369 hasConcept C199360897 @default.
- W2052803369 hasConcept C201410400 @default.
- W2052803369 hasConcept C2779960059 @default.
- W2052803369 hasConcept C41008148 @default.
- W2052803369 hasConcept C46681722 @default.
- W2052803369 hasConcept C47487241 @default.
- W2052803369 hasConcept C48044578 @default.
- W2052803369 hasConcept C62520636 @default.
- W2052803369 hasConcept C77088390 @default.
- W2052803369 hasConcept C80444323 @default.
- W2052803369 hasConceptScore W2052803369C111919701 @default.
- W2052803369 hasConceptScore W2052803369C120314980 @default.
- W2052803369 hasConceptScore W2052803369C121332964 @default.
- W2052803369 hasConceptScore W2052803369C133875982 @default.
- W2052803369 hasConceptScore W2052803369C138101251 @default.
- W2052803369 hasConceptScore W2052803369C173608175 @default.
- W2052803369 hasConceptScore W2052803369C177264268 @default.
- W2052803369 hasConceptScore W2052803369C192183473 @default.
- W2052803369 hasConceptScore W2052803369C199360897 @default.
- W2052803369 hasConceptScore W2052803369C201410400 @default.
- W2052803369 hasConceptScore W2052803369C2779960059 @default.
- W2052803369 hasConceptScore W2052803369C41008148 @default.
- W2052803369 hasConceptScore W2052803369C46681722 @default.
- W2052803369 hasConceptScore W2052803369C47487241 @default.
- W2052803369 hasConceptScore W2052803369C48044578 @default.
- W2052803369 hasConceptScore W2052803369C62520636 @default.
- W2052803369 hasConceptScore W2052803369C77088390 @default.
- W2052803369 hasConceptScore W2052803369C80444323 @default.
- W2052803369 hasIssue "10" @default.
- W2052803369 hasLocation W20528033691 @default.
- W2052803369 hasOpenAccess W2052803369 @default.
- W2052803369 hasPrimaryLocation W20528033691 @default.
- W2052803369 hasRelatedWork W1569520790 @default.
- W2052803369 hasRelatedWork W1572543472 @default.
- W2052803369 hasRelatedWork W1595151633 @default.
- W2052803369 hasRelatedWork W2020582711 @default.
- W2052803369 hasRelatedWork W2052803369 @default.
- W2052803369 hasRelatedWork W2064105003 @default.
- W2052803369 hasRelatedWork W2117014006 @default.
- W2052803369 hasRelatedWork W2131630752 @default.
- W2052803369 hasRelatedWork W94000989 @default.
- W2052803369 hasRelatedWork W2516240846 @default.
- W2052803369 hasVolume "E97.D" @default.
- W2052803369 isParatext "false" @default.
- W2052803369 isRetracted "false" @default.