[[ thread-safe.org ]]

Welcome to thread-safe.org

Thread-safe classes are the building blocks of concurrent programs.
But how do you know that a class is indeed thread-safe?
This page provides an automatic and precise thread safety checker for Java classes.

Sometimes, fixing correctness bugs in thread-safe classes harms their performance.
How can you check whether changing a thread-safe class influences its concurrent performance?
To help developers in checking and maintaining the performance of concurrent software, we have developed SpeedGun, an approach for automated performance regression testing of thread-safe classes. For details, checkout our ISSTA'14 paper or the implementation of SpeedGun.