[[ thread-safe.org ]]

Welcome to thread-safe.org

Thread-safe classes are the building blocks of concurrent programs. Unfortunately, implementing a thread-safe class that is both correct and efficient is challenging. This site provides an automated testing framework, called ConTeGe to analyze thread-safe classes implemented in Java.

ConTeGe is the basis of two tools:

  • A thread safety checker that detects concurrency-related correctness bugs. Check out some example bugs and the output of the checker for them. This paper gives a detailed description:

    Fully Automatic and Precise Detection of Thread Safety Violations
    Michael Pradel and Thomas R. Gross
    Conference on Programming Language Design and Implementation (PLDI), 2012

  • The SpeedGun approach for performance regression testing. SpeedGun automatically compares the performance of two versions of a thread-safe class to spot performance regressions. This paper gives a detailed description:

    Performance Regression Testing of Concurrent Classes
    Michael Pradel, Markus Huggler, and Thomas R. Gross
    International Symposium on Software Testing and Analysis (ISSTA), 2014