测试并发代码需主动暴露竞态条件：用countdownlatch对齐线程、插入sleep/yield拉长竞争窗口、加可控延迟使缺陷必现；通过可验证不变量（如10线程各increment100次应得1000）和线程安全断言校验状态；借助jcstress、tsan、spotbugs等工具检测内存模型与数据竞争问题；并模拟gc、混合负载及模糊测试逼近真实干扰环境。
测试并发代码的正确性比单线程代码难得多，因为问题往往具有随机性、不可重现性，且依赖于线程调度时机。核心不在于“多跑几次看会不会崩”，而在于有意识地暴露竞态条件、验证同步逻辑、控制执行时序，并借助工具增强可观测性。
用确定性手段制造竞争
并发缺陷（如数据不一致、丢失更新）常在多个线程同时读写共享变量时出现。手动“多线程跑一万次”效率低、覆盖弱。更有效的方式是主动构造竞争窗口：
- 使用 CountDownLatch 让多个线程精确对齐到同一执行点（例如都卡在修改前），再统一放开，强制产生真实竞争
- 在关键临界区前后插入 Thread.sleep(1) 或 Thread.yield()（仅测试用），拉长操作间隙，显著提高竞态复现概率
- 对被测类的关键方法加可控延迟（如通过参数注入 SleepBefore/SleepAfter），把“偶发”变成“必现”
断言状态而非日志或现象
不要只看“程序没抛异常”或“日志输出看起来正常”。并发错误可能静默发生——比如两个线程同时 increment() 一个 int，结果只加了 1 而不是 2，但程序照常运行。
- 对共享状态设计可验证的不变量（invariant），例如：初始值为 0，10 个线程各执行 100 次 increment()，最终值必须等于 1000
- 使用 AtomicInteger 或 volatile 字段记录中间状态，测试后原子读取并校验
- 避免在多线程中直接 assert，改用线程安全集合收集每个线程的局部结果，主线程统一断言
借助专业工具定位隐患
人工推理容易遗漏边界场景。结合工具能大幅提升发现深度问题的能力：
立即学习“Java免费学习笔记（深入）”；
- JCStress：专为 Java 并发测试设计的框架，支持生成大量微基准测试用例，自动检测重排序、可见性、原子性等 JVM 内存模型层面的问题
- ThreadSanitizer（TSan） 配合 JUnit（通过 OpenJDK 的 -XX:+UseTSan 启动参数）可动态检测数据竞争，给出调用栈和冲突访问位置
- FindBugs / SpotBugs + @GuardedBy 注解 可静态检查锁保护缺失，提前拦截常见同步疏漏
模拟真实干扰环境
生产环境中的并发问题常由 GC、系统负载、锁争用等外部因素触发。测试需逼近这种不确定性：
- 在测试 JVM 中启用 -XX:+PrintGCDetails 并配合频繁小对象分配，诱发 GC 停顿，观察线程是否因 safepoint 卡住导致超时或死锁
- 用 java.util.concurrent.Phaser 控制多组线程交替执行不同阶段（如读/写/清理），模拟混合负载下的行为
- 在 CI 环境中对关键并发模块开启 随机线程数 + 随机迭代次数 + 随机 sleep 范围 的模糊测试（fuzz test），持续运行数小时
不复杂但容易忽略：并发测试不是追求“一次跑过”，而是让问题尽可能早、尽可能多地暴露出来。重点不在覆盖率数字，而在能否把“理论上可能出错”的路径，变成“实践中必然失败”的测试用例。
