标记一个类是有状态的，即拥有可以读写的数据，例如上例的x和falg。State类只能是public的，不能是内部类（可以是静态内部类），并且得有一个默认构造方法。
@Outcome
描述测试的结果，它有3个属性，id属性为一个字符串数组，表示接收的结果，支持正则表达式；expect表示对观测结果的期望，它的值是一个枚举值；desc属性指定一个易于人类理解的对结果的描述。@Outcomes注解可以组合多个结果注解。
@Actor
@Actor是一个中心测试注解，它标记的方法会被一个特定的线程调用，每一个对象的方法只能被调用一次。多个Actro方法调用顺序是不保证的，它们是并发执行的，方法可以抛出异常并且会导致测试失败。Actor方法所在的类必须有State或者Result注解。
@Arbiter
它的作用其实和@Actor差不多，但是Arbiter标记的方法调用是在所有@Actor标记的方法调用之后，所以它标记的方法一般作为收集最后的结果来使用。
@Signal
此注解也是标记方法的，但是它是在JCStressTest的Termination模式下工作的，它的调用是在所有Actor之后。
@Result
它标记的类被作为测试结果的类，JCStress自带的org.openjdk.jcstress.infra.results包下就有大量的测试结果类，不同的类可以用来保持不同的结果。例如I_Result类有一个int类型的变量r1；II_Result类有2个int类型的变量r1和r2。
JCStress 插件有一个插件集成了JCStress和Gradle，我们只需要在build.gradle中引入此插件，即可使用插件命令来进行测试。插件依赖为jcstress-gradle-plugin。
build.gradle文件如下，不同版本的插件集成了默认的JCStress版本，当然我们也可以自定义更改，如下最后一行所示。
apply plugin: 'java' apply plugin: 'idea' apply plugin: 'jcstress' buildscript { repositories { jcenter() } dependencies { classpath 'com.github.erizo.gradle:jcstress-gradle-plugin:0.8.1' } } ext { jcstressVersion = '0.7' } repositories { jcenter() } dependencies { compile "org.openjdk.jcstress:jcstress-core:${jcstressVersion}" } jcstress { jcstressDependency "org.openjdk.jcstress:jcstress-core:${jcstressVersion}" }然后在项目即可编写测试类，例如还是上面那个例子，最后我们在项目根目录下执行 gradle jcstress，即可显示测试结果。也可以通过参数指定要测试的类，例如 gradle jcstress --tests "TestInstructionReorder"。
插件源码地址：https://github.com/jerzykrlk/jcstress-gradle-plugin