DMCA
Fully Automatic and Precise Detection of Thread Safety Violations
Cached
Download Links
| Citations: | 5 - 3 self |
BibTeX
@MISC{Pradel_fullyautomatic,
author = {Michael Pradel and Thomas R. Gross},
title = {Fully Automatic and Precise Detection of Thread Safety Violations},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal specifications, or on both. Unfortunately, these techniques often are not fully automatic as they involve the user in analyzing the output. This paper presents an automatic testing technique that reveals concurrency bugs in supposedly thread-safe classes. The analysis requires as input only the class under test and reports only true positives. The key idea is to generate tests in which multiple threads call methods on a shared instance of the tested class. If a concurrent test exhibits an exception or a deadlock that cannot be triggered in any linearized execution of the test, the analysis reports a thread safety violation. The approach is easily applicable, because it is independent of handwritten tests and explicit specifications. The analysis finds 15 concurrency bugs in popular Java libraries, including two previously unknown bugs in the Java standard library.
Keyphrases
thread safety violation precise detection concurrency bug thread-safe class multiple thread linearized execution explicit specification thread-safe library class automatic testing technique object-oriented program key idea unknown bug handwritten test concurrent test true positive formal specification tested class popular java library java standard library
