Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034256728> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2034256728 endingPage "88" @default.
- W2034256728 startingPage "74" @default.
- W2034256728 abstract "In shared-memory parallel programs that use explicit synchronization, race conditions result when accesses to shared memory are not properly synchronized. Race conditions are often considered to be manifestations of bugs, since their presence can cause the program to behave unexpectedly. Unfortunately, there has been little agreement in the literature as to precisely what constitutes a race condition. Two different notions have been implicitly considered: one pertaining to programs intended to be deterministic (which we call general races ) and the other to nondeterministic programs containing critical sections (which we call data races ). However, the differences between general races and data races have not yet been recognized. This paper examines these differences by characterizing races using a formal model and exploring their properties. We show that two variations of each type of race exist: feasible general races and data races capture the intuitive notions desired for debugging and apparent races capture less accurate notions implicitly assumed by most dynamic race detection methods. We also show that locating feasible races is an NP-hard problem, implying that only the apparent races, which are approximations to feasible races, can be detected in practice. The complexity of dynamically locating apparent races depends on the type of synchronization used by the program. Apparent races can be exhaustively located efficiently only for weak types of synchronization that are incapable of implementing mutual exclusion. This result has important implications since we argue that debugging general races requires exhaustive race detection and is inherently harder than debugging data races (which requires only partial race detection). Programs containing data races can therefore be efficiently debugged by locating certain easily identifiable races. In contrast, programs containing general races require more complex debugging techniques." @default.
- W2034256728 created "2016-06-24" @default.
- W2034256728 creator A5010187794 @default.
- W2034256728 creator A5059039448 @default.
- W2034256728 date "1992-03-01" @default.
- W2034256728 modified "2023-09-24" @default.
- W2034256728 title "What are race conditions?" @default.
- W2034256728 cites W1963506672 @default.
- W2034256728 cites W1968054699 @default.
- W2034256728 cites W1978076389 @default.
- W2034256728 cites W2019611783 @default.
- W2034256728 cites W2047229718 @default.
- W2034256728 cites W2054739713 @default.
- W2034256728 cites W2056740525 @default.
- W2034256728 cites W2061239425 @default.
- W2034256728 cites W2080570636 @default.
- W2034256728 cites W2088270410 @default.
- W2034256728 cites W2099937209 @default.
- W2034256728 cites W2103412683 @default.
- W2034256728 cites W2158175015 @default.
- W2034256728 cites W2163073407 @default.
- W2034256728 cites W2170200862 @default.
- W2034256728 cites W4238760138 @default.
- W2034256728 cites W4244391059 @default.
- W2034256728 doi "https://doi.org/10.1145/130616.130623" @default.
- W2034256728 hasPublicationYear "1992" @default.
- W2034256728 type Work @default.
- W2034256728 sameAs 2034256728 @default.
- W2034256728 citedByCount "427" @default.
- W2034256728 countsByYear W20342567282012 @default.
- W2034256728 countsByYear W20342567282013 @default.
- W2034256728 countsByYear W20342567282014 @default.
- W2034256728 countsByYear W20342567282015 @default.
- W2034256728 countsByYear W20342567282016 @default.
- W2034256728 countsByYear W20342567282017 @default.
- W2034256728 countsByYear W20342567282018 @default.
- W2034256728 countsByYear W20342567282019 @default.
- W2034256728 countsByYear W20342567282020 @default.
- W2034256728 countsByYear W20342567282021 @default.
- W2034256728 countsByYear W20342567282022 @default.
- W2034256728 countsByYear W20342567282023 @default.
- W2034256728 crossrefType "journal-article" @default.
- W2034256728 hasAuthorship W2034256728A5010187794 @default.
- W2034256728 hasAuthorship W2034256728A5059039448 @default.
- W2034256728 hasBestOaLocation W20342567281 @default.
- W2034256728 hasConcept C107993555 @default.
- W2034256728 hasConcept C127162648 @default.
- W2034256728 hasConcept C144024400 @default.
- W2034256728 hasConcept C168065819 @default.
- W2034256728 hasConcept C176181172 @default.
- W2034256728 hasConcept C199360897 @default.
- W2034256728 hasConcept C2778562939 @default.
- W2034256728 hasConcept C31258907 @default.
- W2034256728 hasConcept C41008148 @default.
- W2034256728 hasConcept C56348326 @default.
- W2034256728 hasConcept C76509639 @default.
- W2034256728 hasConcept C80444323 @default.
- W2034256728 hasConceptScore W2034256728C107993555 @default.
- W2034256728 hasConceptScore W2034256728C127162648 @default.
- W2034256728 hasConceptScore W2034256728C144024400 @default.
- W2034256728 hasConceptScore W2034256728C168065819 @default.
- W2034256728 hasConceptScore W2034256728C176181172 @default.
- W2034256728 hasConceptScore W2034256728C199360897 @default.
- W2034256728 hasConceptScore W2034256728C2778562939 @default.
- W2034256728 hasConceptScore W2034256728C31258907 @default.
- W2034256728 hasConceptScore W2034256728C41008148 @default.
- W2034256728 hasConceptScore W2034256728C56348326 @default.
- W2034256728 hasConceptScore W2034256728C76509639 @default.
- W2034256728 hasConceptScore W2034256728C80444323 @default.
- W2034256728 hasIssue "1" @default.
- W2034256728 hasLocation W20342567281 @default.
- W2034256728 hasLocation W20342567282 @default.
- W2034256728 hasOpenAccess W2034256728 @default.
- W2034256728 hasPrimaryLocation W20342567281 @default.
- W2034256728 hasRelatedWork W1498982577 @default.
- W2034256728 hasRelatedWork W1578053891 @default.
- W2034256728 hasRelatedWork W1587224678 @default.
- W2034256728 hasRelatedWork W1601496654 @default.
- W2034256728 hasRelatedWork W1601811574 @default.
- W2034256728 hasRelatedWork W1666418873 @default.
- W2034256728 hasRelatedWork W1823227073 @default.
- W2034256728 hasRelatedWork W1987935534 @default.
- W2034256728 hasRelatedWork W2034256728 @default.
- W2034256728 hasRelatedWork W2074024830 @default.
- W2034256728 hasVolume "1" @default.
- W2034256728 isParatext "false" @default.
- W2034256728 isRetracted "false" @default.
- W2034256728 magId "2034256728" @default.
- W2034256728 workType "article" @default.