Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170686712> ?p ?o ?g. }
- W2170686712 abstract "Nowadays concurrent programs are becoming more and more important with the development of hardware and network technologies. However, it is not easy for programmers to write reliable concurrent programs. Concurrency characteristics such as thread-interleaving make it difficult to debug or maintain concurrent programs. Although there are lots of research work on concurrency such as multi-thread testing tools, concurrent program verification and data race detection, all of them leave open problems. For instance, some are not scalable enough for large real world applications and some may report false warnings. Since locks are widely used to protect shared memory, it is beneficial for both programmers and tool designers in all fields to have a good understanding of common lock usage patterns in real world concurrent programs. This paper reports an empirical study on lock usage in concurrent programs. It is based on our automatic lock analysis tool called LUPA. The study analyzes how lock is used in concurrent programs and how lock usage changes throughout the product environment. In this study, four representative concurrent programs (Apache httpd, Mysql, Aget, Pbzip2) are selected, of which both lock manifestation and lock usage pattern in different versions are studied. This study reveals some interesting findings including but not limited to: (1) about 80.5% of the lock related functions acquire only one lock, (2) simple lock patterns account for 54.5% of all lock usage in real world applications, (3) only 12 out of 527 detected patterns belong to condition lock pattern which may lead to vulnerabilities easily, (4) only 0.65% of the functions are lock related. Additionally, a potential bug caused by problematic locking pattern is found." @default.
- W2170686712 created "2016-06-24" @default.
- W2170686712 creator A5011323970 @default.
- W2170686712 creator A5049487451 @default.
- W2170686712 creator A5053443101 @default.
- W2170686712 creator A5060384578 @default.
- W2170686712 creator A5066890576 @default.
- W2170686712 creator A5071659713 @default.
- W2170686712 creator A5076462299 @default.
- W2170686712 date "2013-09-01" @default.
- W2170686712 modified "2023-09-30" @default.
- W2170686712 title "An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs" @default.
- W2170686712 cites W1972544179 @default.
- W2170686712 cites W1982205631 @default.
- W2170686712 cites W1984925551 @default.
- W2170686712 cites W2060107892 @default.
- W2170686712 cites W2064790378 @default.
- W2170686712 cites W2072419942 @default.
- W2170686712 cites W2074053393 @default.
- W2170686712 cites W2078392024 @default.
- W2170686712 cites W2089237839 @default.
- W2170686712 cites W2091543666 @default.
- W2170686712 cites W2095551048 @default.
- W2170686712 cites W2101161997 @default.
- W2170686712 cites W2104000753 @default.
- W2170686712 cites W2132800423 @default.
- W2170686712 cites W2138546883 @default.
- W2170686712 cites W2143078813 @default.
- W2170686712 cites W2144344516 @default.
- W2170686712 cites W2152777241 @default.
- W2170686712 cites W2153740346 @default.
- W2170686712 cites W2156633971 @default.
- W2170686712 cites W2164768429 @default.
- W2170686712 cites W3137220996 @default.
- W2170686712 cites W3149170054 @default.
- W2170686712 cites W3151416809 @default.
- W2170686712 cites W4211221689 @default.
- W2170686712 cites W4214871299 @default.
- W2170686712 cites W4229799736 @default.
- W2170686712 cites W4246166885 @default.
- W2170686712 cites W4249000722 @default.
- W2170686712 cites W4256028745 @default.
- W2170686712 doi "https://doi.org/10.1109/icsm.2013.21" @default.
- W2170686712 hasPublicationYear "2013" @default.
- W2170686712 type Work @default.
- W2170686712 sameAs 2170686712 @default.
- W2170686712 citedByCount "8" @default.
- W2170686712 countsByYear W21706867122014 @default.
- W2170686712 countsByYear W21706867122015 @default.
- W2170686712 countsByYear W21706867122016 @default.
- W2170686712 countsByYear W21706867122017 @default.
- W2170686712 countsByYear W21706867122018 @default.
- W2170686712 countsByYear W21706867122020 @default.
- W2170686712 crossrefType "proceedings-article" @default.
- W2170686712 hasAuthorship W2170686712A5011323970 @default.
- W2170686712 hasAuthorship W2170686712A5049487451 @default.
- W2170686712 hasAuthorship W2170686712A5053443101 @default.
- W2170686712 hasAuthorship W2170686712A5060384578 @default.
- W2170686712 hasAuthorship W2170686712A5066890576 @default.
- W2170686712 hasAuthorship W2170686712A5071659713 @default.
- W2170686712 hasAuthorship W2170686712A5076462299 @default.
- W2170686712 hasConcept C111919701 @default.
- W2170686712 hasConcept C127413603 @default.
- W2170686712 hasConcept C138101251 @default.
- W2170686712 hasConcept C150495011 @default.
- W2170686712 hasConcept C168065819 @default.
- W2170686712 hasConcept C174839445 @default.
- W2170686712 hasConcept C193702766 @default.
- W2170686712 hasConcept C199360897 @default.
- W2170686712 hasConcept C28034677 @default.
- W2170686712 hasConcept C41008148 @default.
- W2170686712 hasConcept C48044578 @default.
- W2170686712 hasConcept C75949130 @default.
- W2170686712 hasConcept C78519656 @default.
- W2170686712 hasConcept C84511453 @default.
- W2170686712 hasConceptScore W2170686712C111919701 @default.
- W2170686712 hasConceptScore W2170686712C127413603 @default.
- W2170686712 hasConceptScore W2170686712C138101251 @default.
- W2170686712 hasConceptScore W2170686712C150495011 @default.
- W2170686712 hasConceptScore W2170686712C168065819 @default.
- W2170686712 hasConceptScore W2170686712C174839445 @default.
- W2170686712 hasConceptScore W2170686712C193702766 @default.
- W2170686712 hasConceptScore W2170686712C199360897 @default.
- W2170686712 hasConceptScore W2170686712C28034677 @default.
- W2170686712 hasConceptScore W2170686712C41008148 @default.
- W2170686712 hasConceptScore W2170686712C48044578 @default.
- W2170686712 hasConceptScore W2170686712C75949130 @default.
- W2170686712 hasConceptScore W2170686712C78519656 @default.
- W2170686712 hasConceptScore W2170686712C84511453 @default.
- W2170686712 hasLocation W21706867121 @default.
- W2170686712 hasOpenAccess W2170686712 @default.
- W2170686712 hasPrimaryLocation W21706867121 @default.
- W2170686712 hasRelatedWork W1533199072 @default.
- W2170686712 hasRelatedWork W2367892034 @default.
- W2170686712 hasRelatedWork W2371976517 @default.
- W2170686712 hasRelatedWork W2383574505 @default.
- W2170686712 hasRelatedWork W2945401612 @default.
- W2170686712 hasRelatedWork W2969338015 @default.
- W2170686712 hasRelatedWork W2998398829 @default.
- W2170686712 hasRelatedWork W3080693887 @default.