java并发三大特性及对应方案:可见性用volatile(单变量)、synchronized(复合逻辑)或final(构造后);原子性用synchronized、reentrantlock或原子类(cas实现,仅单变量);有序性靠volatile、synchronized或内存屏障防止指令重排。

Java 并发三大特性——可见性、原子性、有序性,各自有明确的问题场景和匹配的技术方案。选错工具不仅解决不了问题,还可能引入性能瓶颈或隐藏 bug。
可见性:用 volatile 或 synchronized 保证“改完别人马上看到”
问题本质是线程把变量缓存在工作内存中,修改后没及时刷回主内存,其他线程读的还是旧值。
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式,或要求按照代码注释规范处理 Java 文件时,使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则,并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括:补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
- volatile:最轻量,写操作后插入写屏障(StoreStore),强制刷新到主内存;读操作前插入读屏障(LoadLoad),强制从主内存重读。适用于单变量读写,比如开关标志(run = false)。
- synchronized:加锁时清空工作内存,强制读最新值;解锁时把修改全部刷回主内存。适合需要同步读写的复合逻辑。
- final 字段:构造器内完成初始化后,对其他线程天然可见(JMM 的 final 语义保障),但仅限于初始化阶段。
原子性:synchronized、ReentrantLock 或原子类(如 AtomicInteger)保证“一气呵成不被打断”
普通变量的 i++、count-- 实际分三步(读→改→写),中间可能被线程切换打断,导致结果丢失。
- synchronized:靠互斥锁让临界区变成“独占执行块”,天然具备原子性,适合多行逻辑或跨变量操作(如转账:扣A账户+加B账户)。
- ReentrantLock:功能更灵活(可中断、超时、公平锁),底层也是 AQS + CAS + volatile,原子性保障与 synchronized 相当。
- 原子类(AtomicInteger 等):基于 CAS(Compare-And-Swap)+ volatile + 内存屏障实现,无锁、高性能,但只适用于单个变量的简单操作(如计数器)。注意:多个原子变量组合操作仍不保证整体原子性。
有序性:volatile、synchronized 和显式内存屏障防止“代码乱序执行”
编译器、JVM、CPU 都可能重排指令来优化性能,但某些顺序不能动(比如先初始化再设标志位),否则其他线程可能看到“半初始化”对象。
- volatile 写:在写操作后插入 StoreStore 屏障,禁止其后的普通写重排到它前面。
- volatile 读:在读操作前插入 LoadLoad 屏障,禁止其前的普通读重排到它后面。
- synchronized:加锁与解锁本身构成 Happens-Before 关系,天然禁止锁内与锁外指令的非法重排。
- 显式内存屏障(如 Unsafe#fullFence):JUC 底层使用,业务代码极少直接调用,通常由原子类或锁内部封装。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










