Matches in SemOpenAlex for { <https://semopenalex.org/work/W4242969181> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4242969181 endingPage "666" @default.
- W4242969181 startingPage "655" @default.
- W4242969181 abstract "This paper introduces a new heuristic condition for non-race concurrency bugs, named order-sensitive critical sections, and proposes a run-time bug detection scheme based on the condition. The order-sensitive critical sections are defined as a pair of critical sections that can lead to non-deterministic shared memory state depending on the order in which they execute. In a sense, the order-sensitive critical sections can be seen as extending the intuition in using data races as a potential bug condition to capture non-race bugs. Experiments show that the proposed scheme provides a good coverage for multiple types of non-race bugs, with a small number of false positives. For example, the scheme detected all 9 real-world non-race bugs that were tested as well as over 90% of injected non-race bugs. Additionally, this paper presents an efficient hardware architecture that supports the proposed scheme with minor hardware changes and a small amount of additional state - a 9-KB buffer per core and a 1-bit tag per data cache block. The hardware-based scheme could still detect all 9 real-world bugs that were tested and more than 84% of the injected non-race bugs. Moreover, the hardware supported scheme has a negligible impact on performance, with a 0.23% slowdown on average." @default.
- W4242969181 created "2022-05-12" @default.
- W4242969181 creator A5016611933 @default.
- W4242969181 creator A5024329178 @default.
- W4242969181 creator A5069910021 @default.
- W4242969181 date "2013-06-23" @default.
- W4242969181 modified "2023-09-26" @default.
- W4242969181 title "Non-race concurrency bug detection through order-sensitive critical sections" @default.
- W4242969181 cites W178326370 @default.
- W4242969181 cites W1887412317 @default.
- W4242969181 cites W1991099580 @default.
- W4242969181 cites W2016521571 @default.
- W4242969181 cites W2084719450 @default.
- W4242969181 cites W2101161997 @default.
- W4242969181 cites W2109691981 @default.
- W4242969181 cites W2115015193 @default.
- W4242969181 cites W2127532866 @default.
- W4242969181 cites W2138546883 @default.
- W4242969181 cites W2143078813 @default.
- W4242969181 cites W2145471566 @default.
- W4242969181 cites W2151233837 @default.
- W4242969181 cites W2153229512 @default.
- W4242969181 cites W2159856414 @default.
- W4242969181 cites W2166841005 @default.
- W4242969181 cites W2167744164 @default.
- W4242969181 cites W2171008784 @default.
- W4242969181 cites W3142284768 @default.
- W4242969181 cites W4239813889 @default.
- W4242969181 cites W4243324871 @default.
- W4242969181 cites W4243683024 @default.
- W4242969181 cites W4254906220 @default.
- W4242969181 doi "https://doi.org/10.1145/2508148.2485978" @default.
- W4242969181 hasPublicationYear "2013" @default.
- W4242969181 type Work @default.
- W4242969181 citedByCount "1" @default.
- W4242969181 countsByYear W42429691812016 @default.
- W4242969181 crossrefType "journal-article" @default.
- W4242969181 hasAuthorship W4242969181A5016611933 @default.
- W4242969181 hasAuthorship W4242969181A5024329178 @default.
- W4242969181 hasAuthorship W4242969181A5069910021 @default.
- W4242969181 hasConcept C111919701 @default.
- W4242969181 hasConcept C119857082 @default.
- W4242969181 hasConcept C168065819 @default.
- W4242969181 hasConcept C173608175 @default.
- W4242969181 hasConcept C193702766 @default.
- W4242969181 hasConcept C41008148 @default.
- W4242969181 hasConcept C64869954 @default.
- W4242969181 hasConceptScore W4242969181C111919701 @default.
- W4242969181 hasConceptScore W4242969181C119857082 @default.
- W4242969181 hasConceptScore W4242969181C168065819 @default.
- W4242969181 hasConceptScore W4242969181C173608175 @default.
- W4242969181 hasConceptScore W4242969181C193702766 @default.
- W4242969181 hasConceptScore W4242969181C41008148 @default.
- W4242969181 hasConceptScore W4242969181C64869954 @default.
- W4242969181 hasFunder F4320337387 @default.
- W4242969181 hasFunder F4320337388 @default.
- W4242969181 hasFunder F4320338279 @default.
- W4242969181 hasIssue "3" @default.
- W4242969181 hasLocation W42429691811 @default.
- W4242969181 hasOpenAccess W4242969181 @default.
- W4242969181 hasPrimaryLocation W42429691811 @default.
- W4242969181 hasRelatedWork W1578053891 @default.
- W4242969181 hasRelatedWork W1987935534 @default.
- W4242969181 hasRelatedWork W2105856903 @default.
- W4242969181 hasRelatedWork W2151898527 @default.
- W4242969181 hasRelatedWork W2157776318 @default.
- W4242969181 hasRelatedWork W2307567127 @default.
- W4242969181 hasRelatedWork W2387633336 @default.
- W4242969181 hasRelatedWork W2486150507 @default.
- W4242969181 hasRelatedWork W2798040909 @default.
- W4242969181 hasRelatedWork W3000369802 @default.
- W4242969181 hasVolume "41" @default.
- W4242969181 isParatext "false" @default.
- W4242969181 isRetracted "false" @default.
- W4242969181 workType "article" @default.