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.
- Look at example classes that are not thread-safe to see the output of the checker:
Look at examples
- Download the checker and run it on your computer:
- Find out how the checker works:
About the checker
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.