Welcome to the Tsan Project!
The goal of this Project is to explore and incubate a Thread SANitizing (TSAN) feature that could be integrated into the HotSpot JVM and the JVM Tool Interface (JVM TI). This includes working, evaluating, and incubating a Thread Sanitizer implementation for Java.
The rest of this page will provide basic information for downloading, building, and testing Java TSAN.
Note: Java TSAN is not working yet and will not be able to provide any data race information yet. The information below is really how to clone/test for developers and testers:
Cloning:
hg clone --branch tsan http://hg.openjdk.java.net/tsan/dev jdk-tsan
Installing:
TODO: since TSAN is not even integrated yet, the JDK you just branched is the mainline.
Running:
Note: the method of including the TSAN runtime in the JVM is not finalized and will definitely change in the future.
First ensure you have libtsan.so available. e.g.:
sudo apt install libgcc-8-dev
ls -l /usr/lib/gcc/x86_64-linux-gnu/8/libtsan.so
Run Java with TSAN enabled:
LD_PRELOAD=/usr/lib/gcc/x86_64-linux-gnu/8/libtsan.so ./images/jdk/bin/java -XX:+ThreadSanitizer
Testing:Currently
, the The tests for TSAN are here:at test/hotspot/jtreg/tsan/
make test
doesn't work since it doesn't support LD_PRELOAD
. Instead, run:
make jdk-image test-image
JTREG=path/to/jtreg
JDK_ROOT=path/to/tsan_jdk
$JTREG -e:LD_PRELOAD=/usr/lib/gcc/x86_64-linux-gnu/8/libtsan.so -jdk:$JDK_ROOT/build/images/jdk/ -nativepath:$JDK_ROOT/build/images/test/hotspot/jtreg/native/ -e:TSAN_OPTIONS=suppressions=$JDK_ROOT/bin/tsan.supp $JDK_ROOT/
make run-test TEST="jtreg:test/hotspot/jtreg/tsan
"/
where $JDK_ROOT
must be an absolute path because -nativepath
only works with an absolute pathThe tests are currently passing if TSAN is not enabled; once TSAN starts coming online, the tests will flip their assertions/expectations.
Resources
- Tsan Project
- Repositories
- Mailing list: tsan-dev
Recent space activity
Recently Updated | ||||||||
---|---|---|---|---|---|---|---|---|
|
Space contributors
Contributors | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|