Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246548215> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4246548215 endingPage "36" @default.
- W4246548215 startingPage "25" @default.
- W4246548215 abstract "Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bugs are common and important. Existing techniques to detect atomicity violation bugs suffer from one limitation: requiring bugs to manifest during monitored runs, which is an open problem in concurrent program testing. This paper makes two contributions. First, it studies the interleaving characteristics of the common practice in concurrent program testing (i.e., running a program over and over) to understand why atomicity violation bugs are hard to expose. Second, it proposes CTrigger to effectively and efficiently expose atomicity violation bugs in large programs. CTrigger focuses on a special type of interleavings (i.e., unserializable interleavings) that are inherently correlated to atomicity violation bugs, and uses trace analysis to systematically identify (likely) feasible unserializable interleavings with low occurrence-probability. CTrigger then uses minimum execution perturbation to exercise low-probability interleavings and expose difficult-to-catch atomicity violation. We evaluate CTrigger with real-world atomicity violation bugs from four sever/desktop applications (Apache, MySQL, Mozilla, and PBZIP2) and three SPLASH2 applications on 8-core machines. CTrigger efficiently exposes the tested bugs within 1--235 seconds, two to four orders of magnitude faster than stress testing. Without CTrigger, some of these bugs do not manifest even after 7 full days of stress testing. In addition, without deterministic replay support, once a bug is exposed, CTrigger can help programmers reliably reproduce it for diagnosis. Our tested bugs are reproduced by CTrigger mostly within 5 seconds, 300 to over 60000 times faster than stress testing." @default.
- W4246548215 created "2022-05-12" @default.
- W4246548215 creator A5044337890 @default.
- W4246548215 creator A5045757059 @default.
- W4246548215 creator A5066842100 @default.
- W4246548215 date "2009-02-28" @default.
- W4246548215 modified "2023-10-14" @default.
- W4246548215 title "CTrigger" @default.
- W4246548215 cites W1566086941 @default.
- W4246548215 cites W1972544179 @default.
- W4246548215 cites W1977338805 @default.
- W4246548215 cites W2016314068 @default.
- W4246548215 cites W2043292640 @default.
- W4246548215 cites W2049633124 @default.
- W4246548215 cites W2082766667 @default.
- W4246548215 cites W2088270410 @default.
- W4246548215 cites W2101161997 @default.
- W4246548215 cites W2133697637 @default.
- W4246548215 cites W2133985894 @default.
- W4246548215 cites W2134164054 @default.
- W4246548215 cites W2135395375 @default.
- W4246548215 cites W2135948849 @default.
- W4246548215 cites W2136202391 @default.
- W4246548215 cites W2137422315 @default.
- W4246548215 cites W2145021036 @default.
- W4246548215 cites W2153229512 @default.
- W4246548215 cites W2156858199 @default.
- W4246548215 cites W3142284768 @default.
- W4246548215 cites W4235116491 @default.
- W4246548215 cites W4239813889 @default.
- W4246548215 cites W4243324871 @default.
- W4246548215 cites W4248655060 @default.
- W4246548215 cites W4250663570 @default.
- W4246548215 doi "https://doi.org/10.1145/1508284.1508249" @default.
- W4246548215 hasPublicationYear "2009" @default.
- W4246548215 type Work @default.
- W4246548215 citedByCount "22" @default.
- W4246548215 countsByYear W42465482152012 @default.
- W4246548215 countsByYear W42465482152013 @default.
- W4246548215 countsByYear W42465482152014 @default.
- W4246548215 countsByYear W42465482152016 @default.
- W4246548215 countsByYear W42465482152017 @default.
- W4246548215 countsByYear W42465482152019 @default.
- W4246548215 countsByYear W42465482152020 @default.
- W4246548215 countsByYear W42465482152021 @default.
- W4246548215 countsByYear W42465482152022 @default.
- W4246548215 countsByYear W42465482152023 @default.
- W4246548215 crossrefType "journal-article" @default.
- W4246548215 hasAuthorship W4246548215A5044337890 @default.
- W4246548215 hasAuthorship W4246548215A5045757059 @default.
- W4246548215 hasAuthorship W4246548215A5066842100 @default.
- W4246548215 hasConcept C1009929 @default.
- W4246548215 hasConcept C111919701 @default.
- W4246548215 hasConcept C138885662 @default.
- W4246548215 hasConcept C168065819 @default.
- W4246548215 hasConcept C188045909 @default.
- W4246548215 hasConcept C193702766 @default.
- W4246548215 hasConcept C199360897 @default.
- W4246548215 hasConcept C2777904410 @default.
- W4246548215 hasConcept C41008148 @default.
- W4246548215 hasConcept C41895202 @default.
- W4246548215 hasConcept C75291252 @default.
- W4246548215 hasConcept C75949130 @default.
- W4246548215 hasConceptScore W4246548215C1009929 @default.
- W4246548215 hasConceptScore W4246548215C111919701 @default.
- W4246548215 hasConceptScore W4246548215C138885662 @default.
- W4246548215 hasConceptScore W4246548215C168065819 @default.
- W4246548215 hasConceptScore W4246548215C188045909 @default.
- W4246548215 hasConceptScore W4246548215C193702766 @default.
- W4246548215 hasConceptScore W4246548215C199360897 @default.
- W4246548215 hasConceptScore W4246548215C2777904410 @default.
- W4246548215 hasConceptScore W4246548215C41008148 @default.
- W4246548215 hasConceptScore W4246548215C41895202 @default.
- W4246548215 hasConceptScore W4246548215C75291252 @default.
- W4246548215 hasConceptScore W4246548215C75949130 @default.
- W4246548215 hasIssue "3" @default.
- W4246548215 hasLocation W42465482151 @default.
- W4246548215 hasOpenAccess W4246548215 @default.
- W4246548215 hasPrimaryLocation W42465482151 @default.
- W4246548215 hasRelatedWork W130652581 @default.
- W4246548215 hasRelatedWork W1520874262 @default.
- W4246548215 hasRelatedWork W1666418873 @default.
- W4246548215 hasRelatedWork W1978230208 @default.
- W4246548215 hasRelatedWork W2076425886 @default.
- W4246548215 hasRelatedWork W2115732097 @default.
- W4246548215 hasRelatedWork W2183890420 @default.
- W4246548215 hasRelatedWork W2299423576 @default.
- W4246548215 hasRelatedWork W2344847417 @default.
- W4246548215 hasRelatedWork W321339674 @default.
- W4246548215 hasVolume "44" @default.
- W4246548215 isParatext "false" @default.
- W4246548215 isRetracted "false" @default.
- W4246548215 workType "article" @default.