This thesis makes three main contributions. The first contribution is a comprehensive characteristics study of real-world concurrency bugs. A good understanding of real-world bugs is always the foundation for addressing the software bug problem. This dissertation conducts the first comprehensive empirical study of concurrency bug patterns, manifestation conditions, and fix strategies based on a large number of concurrency bugs sampled from widely used open source C/C++ server/client applications. This characteristics study provides many motivation and guidelines for concurrency bug detection, testing and programming language design.They use the state reduction theory of the right/left mover to detect atomicity violation upon specified code regions statically or dynamically. Recently, simpler ... Not requiring any manual annotation, SVD [XBH05] uses data dependency and control dependency to infer atomic regions. It provides an inspiring ... The definition used in this dissertation follows the tradition in concurrent program research.
|Title||:||Understanding, Detecting and Exposing Concurrency Bugs|
|Publisher||:||ProQuest - 2008|