Matches in SemOpenAlex for { <https://semopenalex.org/work/W3009678450> ?p ?o ?g. }
- W3009678450 endingPage "339" @default.
- W3009678450 startingPage "329" @default.
- W3009678450 abstract "The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires advances in multiple directions, including concurrency bug detection, concurrent program testing, concurrent programming model design, etc. Designing effective techniques in all these directions will significantly benefit from a deep understanding of real world concurrency bug characteristics. This paper provides the first (to the best of our knowledge) comprehensive real world concurrency bug characteristic study. Specifically, we have carefully examined concurrency bug patterns, manifestation, and fix strategies of 105 randomly selected real world concurrency bugs from 4 representative server and client open-source applications (MySQL, Apache, Mozilla and OpenOffice). Our study reveals several interesting findings and provides useful guidance for concurrency bug detection, testing, and concurrent programming language design. Some of our findings are as follows: (1) Around one third of the examined non-deadlock concurrency bugs are caused by violation to programmers' order intentions, which may not be easily expressed via synchronization primitives like locks and transactional memories; (2) Around 34% of the examined non-deadlock concurrency bugs involve multiple variables, which are not well addressed by existing bug detection tools; (3) About 92% of the examined concurrency bugs canbe reliably triggered by enforcing certain orders among no more than 4 memory accesses. This indicates that testing concurrent programs can target at exploring possible orders among every small groups of memory accesses, instead of among all memory accesses; (4) About 73% of the examinednon-deadlock concurrency bugs were not fixed by simply adding or changing locks, and many of the fixes were not correct at the first try, indicating the difficulty of reasoning concurrent execution by programmers." @default.
- W3009678450 created "2020-03-13" @default.
- W3009678450 creator A5005930474 @default.
- W3009678450 creator A5066026214 @default.
- W3009678450 creator A5066842100 @default.
- W3009678450 creator A5084000844 @default.
- W3009678450 date "2008-03-01" @default.
- W3009678450 modified "2023-09-29" @default.
- W3009678450 title "Learning from mistakes" @default.
- W3009678450 cites W1972544179 @default.
- W3009678450 cites W1977338805 @default.
- W3009678450 cites W2016314068 @default.
- W3009678450 cites W2029830388 @default.
- W3009678450 cites W2043292640 @default.
- W3009678450 cites W2047791971 @default.
- W3009678450 cites W2065675749 @default.
- W3009678450 cites W2082766667 @default.
- W3009678450 cites W2088270410 @default.
- W3009678450 cites W2099537990 @default.
- W3009678450 cites W2112143545 @default.
- W3009678450 cites W2127532866 @default.
- W3009678450 cites W2128453996 @default.
- W3009678450 cites W2129990308 @default.
- W3009678450 cites W2133697637 @default.
- W3009678450 cites W2135948849 @default.
- W3009678450 cites W2137422315 @default.
- W3009678450 cites W2138546883 @default.
- W3009678450 cites W2146878883 @default.
- W3009678450 cites W2149473197 @default.
- W3009678450 cites W2153229512 @default.
- W3009678450 cites W2156428492 @default.
- W3009678450 cites W2156601455 @default.
- W3009678450 cites W2156633971 @default.
- W3009678450 cites W2159610968 @default.
- W3009678450 cites W2161600851 @default.
- W3009678450 cites W2169611673 @default.
- W3009678450 cites W4213423413 @default.
- W3009678450 cites W4234020632 @default.
- W3009678450 cites W4242949098 @default.
- W3009678450 cites W4243324871 @default.
- W3009678450 cites W4248655060 @default.
- W3009678450 cites W4251521742 @default.
- W3009678450 cites W4251803824 @default.
- W3009678450 doi "https://doi.org/10.1145/1353535.1346323" @default.
- W3009678450 hasPublicationYear "2008" @default.
- W3009678450 type Work @default.
- W3009678450 sameAs 3009678450 @default.
- W3009678450 citedByCount "25" @default.
- W3009678450 countsByYear W30096784502013 @default.
- W3009678450 countsByYear W30096784502014 @default.
- W3009678450 countsByYear W30096784502015 @default.
- W3009678450 countsByYear W30096784502017 @default.
- W3009678450 countsByYear W30096784502018 @default.
- W3009678450 countsByYear W30096784502019 @default.
- W3009678450 countsByYear W30096784502020 @default.
- W3009678450 countsByYear W30096784502021 @default.
- W3009678450 countsByYear W30096784502022 @default.
- W3009678450 countsByYear W30096784502023 @default.
- W3009678450 crossrefType "journal-article" @default.
- W3009678450 hasAuthorship W3009678450A5005930474 @default.
- W3009678450 hasAuthorship W3009678450A5066026214 @default.
- W3009678450 hasAuthorship W3009678450A5066842100 @default.
- W3009678450 hasAuthorship W3009678450A5084000844 @default.
- W3009678450 hasConcept C1009929 @default.
- W3009678450 hasConcept C108744092 @default.
- W3009678450 hasConcept C111919701 @default.
- W3009678450 hasConcept C120314980 @default.
- W3009678450 hasConcept C120558287 @default.
- W3009678450 hasConcept C134277064 @default.
- W3009678450 hasConcept C150495011 @default.
- W3009678450 hasConcept C159023740 @default.
- W3009678450 hasConcept C168065819 @default.
- W3009678450 hasConcept C193702766 @default.
- W3009678450 hasConcept C199360897 @default.
- W3009678450 hasConcept C208087996 @default.
- W3009678450 hasConcept C2777904410 @default.
- W3009678450 hasConcept C34165917 @default.
- W3009678450 hasConcept C3701939 @default.
- W3009678450 hasConcept C41008148 @default.
- W3009678450 hasConcept C50033165 @default.
- W3009678450 hasConcept C61912525 @default.
- W3009678450 hasConcept C75949130 @default.
- W3009678450 hasConcept C79240183 @default.
- W3009678450 hasConcept C84511453 @default.
- W3009678450 hasConceptScore W3009678450C1009929 @default.
- W3009678450 hasConceptScore W3009678450C108744092 @default.
- W3009678450 hasConceptScore W3009678450C111919701 @default.
- W3009678450 hasConceptScore W3009678450C120314980 @default.
- W3009678450 hasConceptScore W3009678450C120558287 @default.
- W3009678450 hasConceptScore W3009678450C134277064 @default.
- W3009678450 hasConceptScore W3009678450C150495011 @default.
- W3009678450 hasConceptScore W3009678450C159023740 @default.
- W3009678450 hasConceptScore W3009678450C168065819 @default.
- W3009678450 hasConceptScore W3009678450C193702766 @default.
- W3009678450 hasConceptScore W3009678450C199360897 @default.
- W3009678450 hasConceptScore W3009678450C208087996 @default.
- W3009678450 hasConceptScore W3009678450C2777904410 @default.
- W3009678450 hasConceptScore W3009678450C34165917 @default.