RaceTest: harmful data race detection based on testing technology in WS-BPEL
Sign Up to like & getrecommendations! Published in 2019 at "Service Oriented Computing and Applications"
DOI: 10.1007/s11761-019-00261-1
Abstract: AbstractWeb service composition is widely used nowadays, and it is realized by Web Service-Business Process Execution Language (WS-BPEL). WS-BPEL provides concurrency mechanisms so that data races commonly occur within it. Some researchers have focus on… read more here.
Keywords: harmful data; data races; race detection; data race ... See more keywords
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2021.3138735
Abstract: Data races are often hard to detect in device drivers. According to our study of Linux driver patches that fix data races, about 39% of patches involve a pattern that we call inconsistent locking discipline.… read more here.
Keywords: data races; device drivers; inconsistent locking; locking discipline ... See more keywords