Java并发三大特性及对应方案：可见性用volatile（单变量）、synchronized（复合逻辑）或final（构造后）；原子性用synchronized、ReentrantLock或原子类（CAS实现，仅单变量）；有序性靠volatile、synchronized或内存屏障防止指令重排。
Java 并发三大特性——可见性、原子性、有序性，各自有明确的问题场景和匹配的技术方案。选错工具不仅解决不了问题，还可能引入性能瓶颈或隐藏 bug。
可见性：用 volatile 或 synchronized 保证“改完别人马上看到”
问题本质是线程把变量缓存在工作内存中，修改后没及时刷回主内存，其他线程读的还是旧值。
- volatile：最轻量，写操作后插入写屏障（StoreStore），强制刷新到主内存；读操作前插入读屏障（LoadLoad），强制从主内存重读。适用于单变量读写，比如开关标志（run = false）。
- synchronized：加锁时清空工作内存，强制读最新值；解锁时把修改全部刷回主内存。适合需要同步读写的复合逻辑。
- final 字段：构造器内完成初始化后，对其他线程天然可见（JMM 的 final 语义保障），但仅限于初始化阶段。
原子性：synchronized、ReentrantLock 或原子类（如 AtomicInteger）保证“一气呵成不被打断”
普通变量的 i++、count-- 实际分三步（读→改→写），中间可能被线程切换打断，导致结果丢失。
JavaStoryDevelop
下载
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
- synchronized：靠互斥锁让临界区变成“独占执行块”，天然具备原子性，适合多行逻辑或跨变量操作（如转账：扣A账户+加B账户）。
- ReentrantLock：功能更灵活（可中断、超时、公平锁），底层也是 AQS + CAS + volatile，原子性保障与 synchronized 相当。
- 原子类（AtomicInteger 等）：基于 CAS（Compare-And-Swap）+ volatile + 内存屏障实现，无锁、高性能，但只适用于单个变量的简单操作（如计数器）。注意：多个原子变量组合操作仍不保证整体原子性。
有序性：volatile、synchronized 和显式内存屏障防止“代码乱序执行”
编译器、JVM、CPU 都可能重排指令来优化性能，但某些顺序不能动（比如先初始化再设标志位），否则其他线程可能看到“半初始化”对象。
立即学习“Java免费学习笔记（深入）”；
- volatile 写：在写操作后插入 StoreStore 屏障，禁止其后的普通写重排到它前面。
- volatile 读：在读操作前插入 LoadLoad 屏障，禁止其前的普通读重排到它后面。
- synchronized：加锁与解锁本身构成 Happens-Before 关系，天然禁止锁内与锁外指令的非法重排。
- 显式内存屏障（如 Unsafe#fullFence）：JUC 底层使用，业务代码极少直接调用，通常由原子类或锁内部封装。
