jcstress 是专为暴露 jvm 内存模型问题（如重排序、可见性丢失）设计的微基准框架，通过可控并发、状态采样与结果分类将偶发缺陷转化为稳定可复现信号。
JCStress 是专为暴露 JVM 内存模型层面问题（如指令重排序、可见性丢失、原子性破坏）设计的微基准测试框架，它不靠“多跑几次看会不会出错”，而是通过可控并发调度、状态采样与结果分类，把本该偶发的重排序缺陷变成可稳定复现、可精确归因的测试信号。
用 @Actor + @Signal 构造竞争时序
重排序的本质是读写操作在不同线程视角下顺序不一致。JCStress 通过分离执行角色强制制造这种视角差：
- @Actor 标记并发执行的线程行为（如读 a、写 b）
- @Signal 标记同步点或触发动作（如写 a、读 b），JCStress 会确保其在 Actor 之后、但不保证 happens-before
- 两个 Actor 线程分别执行不同变量的读写组合，JCStress 自动枚举所有可能的执行交错，并记录每种 (r1, r2) 组合出现的频次
定义 Outcome 明确预期与异常模式
重排序不是“出错”，而是产生语言规范允许但业务逻辑不接受的结果。必须提前声明哪些输出是合法、哪些是危险信号：
Java JDK 25
下载
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
- 用 @Outcome(id = "0,0", expect = Expect.FORBIDDEN) 标记绝对不该出现的值组合（如 r1=0 & r2=0 在某些锁释放场景下违反语义）
- 用 @Outcome(id = "1,0", expect = Expect.ACCEPTABLE_INTERESTING) 标记重排序存在的证据——这个结果本身合法，但说明底层发生了 StoreLoad 重排
- JCStress 运行后会统计各结果出现次数，若 FORBIDDEN 出现 1 次即判定失败；INTERESTING 出现则提示需检查内存屏障或 volatile 修饰
注入延迟与跨核调度提升重排序捕获率
重排序在单核上极难触发，JCStress 默认启用多核绑定和线程亲和性控制：
- 添加 -t 参数指定线程数（如 -t 2），并配合 -jvmArgs "-XX:+UseTSan" 可增强检测能力
- 在关键字段读写前后插入 Thread.sleep(1) 或 Unsafe.getUnsafe().loadFence()（仅测试用），人为拉长内存操作窗口
- 使用 @State 注解的静态字段默认无 volatile 语义，天然适合暴露未同步访问下的重排序现象
结合 JCStress 样例快速验证典型模式
不必从零写测试，官方 jcstress-samples 提供了大量可直接运行的重排序用例：
- DekkerTest：验证两个线程间最小同步原语是否能阻止 StoreStore 重排
- UnsafePublicationTest：检测对象发布时构造函数指令是否被重排到引用赋值之前
- VolatileReadTest：对比加 volatile 和不加 volatile 下读操作能否看到最新写入
- 运行命令：java -jar jcstress.jar -t org.openjdk.jcstress.samples.*.class
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
