volatile 可见性与有序性原理
volatile 是 Java 并发编程的”轻量级”同步机制。它真的轻吗？从 CPU 缓存一致性到指令重排序，一篇文章说清楚。
一、为什么要理解 JMM
- 1.1 物理机缓存模型——CPU → L1/L2/L3 Cache → 主存
- 1.2 缓存一致性问题——MESI 协议简介
- 1.3 Java 内存模型（JMM）抽象——主内存 vs 工作内存
- 1.4 JMM 解决什么——原子性、可见性、有序性
二、volatile 的可见性
- 2.1 写 volatile 变量——立即刷回主内存
- 2.2 读 volatile 变量——强制从主内存读取
- 2.3 一个可见性问题的代码演示
- 2.4 底层实现——Lock 前缀指令与总线锁/缓存锁
三、volatile 的有序性——禁止指令重排序
- 3.1 指令重排序的三种类型——编译器重排、CPU 重排、内存系统重排
- 3.2 happens-before 规则
- 3.3 volatile 写-读建立的 happens-before 关系
- 3.4 双重检查锁定（DCL）单例为什么必须加 volatile
四、内存屏障
- 4.1 Load Barrier / Store Barrier / LoadStore / StoreLoad
- 4.2 volatile 写前后的屏障插入策略
- 4.3 volatile 读前后的屏障插入策略
- 4.4 JVM 层面：
OrderAccess::storeload()的实现
五、volatile 不保证原子性
- 5.1 i++ 的反汇编分析
- 5.2 为什么
volatile int count = 0; count++在多线程下不安全 - 5.3 volatile 适用的场景——状态标志、DCL、独立观察
六、volatile 在并发工具中的应用
- 6.1 AQS 的
state字段 - 6.2 ConcurrentHashMap 的
table数组 - 6.3
CopyOnWriteArrayList的数组引用
七、实战案例
- 7.1 使用 volatile 实现简单的事件监听器
- 7.2 使用 volatile 实现优雅停机
八、总结与 FAQ
- volatile vs synchronized 什么时候用哪个
- 为什么 volatile 不能替代锁
本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 谜思录！
相关推荐
2020-10-17
库存扣减并发安全
库存扣减是高并发场景下最容易出错的地方。数据库行锁、Redis Decr、Lua 脚本、事务消息，四种方案孰优孰劣？ 一、库存扣减的核心挑战 1.1 超卖——库存变成负数 1.2 少卖——库存有剩余但无法下单 1.3 热点商品——大量请求竞争同一行数据 1.4 扣减与支付的时序 二、方案 1：数据库行锁 2.1 UPDATE stock SET num = num - ? WHERE id = ? AND num >= ? 2.2 行锁的排队效果——天然串行化 2.3 热点商品性能——TPS 受限于行锁 2.4 优化——拆行为多行 三、方案 2：Redis Decr 3.1...
2013-05-11
synchronized 锁升级原理
从 JDK 1.5 到 JDK 21，synchronized 经历了从”性能杀手”到”首选锁”的逆袭。它的进化背后，是 JVM 对锁优化的极致追求。 一、synchronized 的三种形式 1.1 修饰普通方法——锁当前实例 1.2 修饰静态方法——锁 Class 对象 1.3 修饰代码块——锁指定对象 1.4 字节码层面：ACC_SYNCHRONIZED 标志 vs monitorenter/monitorexit 二、Monitor 机制——重量级锁的底层 2.1 ObjectMonitor 结构：_owner / _EntryList / _...
2013-11-16
ThreadLocal 内存泄露与最佳实践
几乎所有 Java 项目都在用 ThreadLocal 存储上下文信息，但很多人不知道它可能造成内存泄漏——而且是在你”原本以为不会”的场景下。 一、ThreadLocal 的设计初衷 1.1 线程隔离的数据存储——每个线程一份独立副本 1.2 典型使用场景——数据库连接、Session、事务上下文、链路追踪 TraceId 二、ThreadLocal 的底层结构 2.1 Thread → ThreadLocalMap → Entry（弱引用包装的 ThreadLocal 作为 key） 2.2 ThreadLocalMap 的数据结构——线性探测法解决哈希冲突 2.3 Entry...
2022-10-15
并发工具类对比与实践
一个接口需要调用 3 个微服务，串行 300ms。用 CompletableFuture 并行调用只需 120ms。 一、场景描述 1.1 商品详情页——需要商品信息、库存、评价、推荐 1.2 串行调用——逐个等待，时间累加 1.3 并行调用的收益——总时间 = max(每个调用的时间) 二、CountDownLatch 2.1 原理——计数器，主线程等待所有子任务完成 2.2 代码示例——3 个线程并行获取数据 2.3 缺点——无法获取返回值、只能使用一次 三、CyclicBarrier 3.1 原理——所有线程到达 barrier 后一起继续 3.2 与 Count...
2013-09-15
AQS 并发包原理
ReentrantLock、Semaphore、CountDownLatch、ReentrantReadWriteLock……它们底层都依赖 AQS。理解 AQS，就理解了 Java 并发工具的设计灵魂。 一、AQS 是什么 1.1 AbstractQueuedSynchronizer——基于 FIFO 等待队列的同步框架 1.2 设计模式：模板方法模式 1.3 核心三要素：state 状态、CLH 队列、Condition 条件队列 二、state——同步状态的原子管理 2.1 volatile int state + CAS 的原子操作 2.2 getState() /...
2014-01-11
线程池参数配置指南
Executors.newFixedThreadPool() 阿里规范不让用，newCachedThreadPool() 可能导致 OOM。那么线程池到底该怎么配？本文从源码到生产实践，给出计算公式和配置模板。 一、线程池的 8 个参数 1.1 corePoolSize——核心线程数 1.2 maximumPoolSize——最大线程数 1.3 keepAliveTime——空闲线程存活时间 1.4 unit——时间单位 1.5 workQueue——工作队列 1.6 threadFactory——线程工厂 1.7 handler——拒绝策略 1.8 参数之间的协作关系——任务提交后...