A method for improving the precision and coverage of atomicity violation predictions
Conference
Zeng, R, Sun, Z, Liu, S et al. (2015). A method for improving the precision and coverage of atomicity violation predictions
. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 9035 116-130. 10.1007/978-3-662-46681-0_8
Zeng, R, Sun, Z, Liu, S et al. (2015). A method for improving the precision and coverage of atomicity violation predictions
. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 9035 116-130. 10.1007/978-3-662-46681-0_8
Atomicity violations are the most common non-deadlock concurrency bugs, which have been extensively studied in recent years. Since detecting the actual occurrences of atomicity violations is extremely hard and exhaustive testing of a multi-threaded program is in general impossible, many predictive methods have been proposed, which make error predictions based on a small number of instrumented interleaved executions. Predictive methods often make tradeoffs between precision and coverage. An over-approximate predictive method ensures coverage but lacks precision and thus may report a large number of false bugs. An underapproximate predictive method ensures precision but lacks coverage and thus can miss significant real bugs. This paper presents a post-prediction analysis method for improving the precision of the prediction results obtained through over-approximation while achieving better coverage than that obtained through under-approximation. Our method analyzes and filters the prediction results of over-approximation by evaluating a subset of read-after-write relationships without enforcing all of them as in existing under-approximation methods. Our post-prediction method is a static analysis method on the predicted traces from dynamic instrumentation of C/C++ executable, and is faster than dynamic replaying methods for ensuring precision.
