Java Concurrent Stress Test

The Java Concurrency Stress tests (jcstress) is an experimental harness and a suite of tests to aid the research in the correctness of concurrency support in the JVM, class libraries, and hardware.

All source code is available at github.

How to run jstress test

Create jcstress maven project

[yunpxu@yunpxu-mac IdeaProjects]$ mvn archetype:generate \
  -DinteractiveMode=false \
  -DarchetypeGroupId=org.openjdk.jcstress \
  -DarchetypeArtifactId=jcstress-java-test-archetype \
  -DarchetypeVersion=0.5 \
  -DgroupId=com.jcst \
  -DartifactId=jcst \
  -Dversion=1.0

Import jcstress-samples

<dependency>
    <groupId>org.openjdk.jcstress</groupId>
    <artifactId>jcstress-samples</artifactId>
    <version>${jcstress.version}</version>
</dependency>

Clean Package

[yunpxu@yunpxu-mac IdeaProjects]$ cd jcst/
[yunpxu@yunpxu-mac jcst]$ mvn clean package

Jstress help

java -jar target/jcstress.jar -h

List jstress test with full class name match APISample

java -jar target/jcstress.jar -t APISample -l

Run jstress test with full class name match ConcurrencyTest

[yunpxu@yunpxu-mac jcst]$ java -jar target/jcstress.jar -t ConcurrencyTest

Run all jstress tests

[yunpxu@yunpxu-mac jcst]$ java -jar target/jcstress.jar

Check jcst results

[yunpxu@yunpxu-mac jcst]$ tree
.
├── jcst.iml
├── jcstress-results-2019-03-19-17-31-42.bin.gz
├── pom.xml
├── results
     ├── com.jcst.ConcurrencyTest.html
     └── index.html

Concepts

JCStressTest
Mark the class as JCStress test.
Description
@Description("Sample Hello World test")
Ref
@Ref("http://openjdk.java.net/projects/code-tools/jcstress/")
JCStressMeta
@JCStressMeta(APISample_05_SharedMetadata.class)
Inherit Description, Outcome and Ref etc.. from the pointed class
Mode.Continuous
Run multiple Actor/Arbiter threads
Mode.Termination
Run a single Actor thread
Outcome
Describes the test outcome, and how to deal with it.
@Outcome(id = "1, 1", expect = Expect.ACCEPTABLE, desc = "")
@Outcome(id = "1, 2", expect = Expect.ACCEPTABLE_INTERESTING, desc = "")
@Outcome(id = "2, 1", expect = Expect.FORBIDDEN, desc = "")
State
It annotates the class that holds the data mutated/read by the tests.
Actor
Actor method is executed by multiple threads.
Arbiter
Arbiter method is executed after Actor, memory effects from Actor are visible to Arbiter.
Signal
Signal method deliver a termination signal to a running Actor.