JMM（Java 内存模型）详解

发表于2020-12-07|Java

|浏览量:

为什么需要 JMM

编译器与 CPU 会重排序，每个线程又有本地工作内存缓存。JMM 规定哪些写对其它线程可见，从而在不牺牲性能的前提下给出可推理的并发语义。

happens-before 实例

对同一把锁 unlock happens-before 后续 lock；volatile 写 happens-before 后续读；线程 start 前动作 happens-before 线程内任意动作。

与 JVM 内存区域区分

JMM 是语义模型，讨论可见性/有序性；堆、栈是运行时布局。面试别混：「栈存局部变量」不等于「工作内存就是栈」。

小实验

两线程各写普通变量与 volatile 变量交叉读，用 JMH 或简单循环观察无同步时的非预期结果，加深「看不到最新值」的直觉。

课堂外的思考

学习「JMM（Java 内存模型）详解」时，我把自己放在线上值班的情境里：如果告警与这一主题相关，我能否在较短时间内建立假设并用数据验证？这种提问方式逼迫我从「看过」变成「讲得清楚、做得到」，也避免笔记沦为标题摘抄。

与同事的讨论方式

我会用白板画出状态机、内存布局或调用链，请同事挑错。若被追问「更高并发或更老 JDK 版本会怎样」，答不上来就回到文首原文链接查 primary source，而不是凭记忆硬编。讨论后把新认识补进笔记末尾。

可复现实验

为每个主题保留最小复现：一段可运行的 Java 片段、一条 jcmd/jstack 命令，或一组压测对比。记录环境（JDK 小版本、CPU 核数、容器限制），结论才可靠。实验细节不必全部公开，但索引要能找到。

补充复习

把本篇三个关键词写入间隔重复卡片，并各关联一个真实项目场景；暂时用不到的概念标记「待实践」，避免笔记只增不用。

文章作者: Dai Wei

文章链接: https://www.daiwei.biz/knowledge/java/concurrent/jmm/

版权声明: 本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 Dai Wei！

扫码打赏

微信
支付宝

相关推荐

核心抽象AQS（AbstractQueuedSynchronizer）像一套「排队取号机」：state 表示剩余许可或重入次数，获取失败就把当前线程封装成 Node 挂到双向队列，前驱释放时再唤醒后继。ReentrantLock、Semaphore、CountDownLatch 都只是覆写 tryAcquire/tryRelease 的不同策略。为什么用 CLH 变体纯自旋在竞争激烈时会烧 CPU；纯阻塞又增加上下文切换。AQS 先短暂自旋再 park，并在双向链表里维护 SIGNAL/CANCELLED 等状态，保证唤醒路径可控。原创示例12345678910111213141516class OneShotGate { private final Sync sync = new Sync(); void open() { sync.release(1); } void awaitOpen() throws InterruptedException { sync.acquireSharedInter...

Java 常见并发容器总结

选型表（简版）场景候选备注高并发读写 Map ConcurrentHashMap JDK8+ 桶头 CAS + synchronized 协同读多写少 List CopyOnWriteArrayList 写时复制，迭代弱一致阻塞队列 ArrayBlockingQueue / LinkedBlockingQueue 有界 vs 可选无界延迟任务 DelayQueue 依赖 Comparable/Delayed 误区HashMap 并发 put 可能死循环（JDK7）或丢数据；Collections.synchronizedXxx 只是方法级互斥，复合操作仍需外部同步。练习实现一个简易 LRU 缓存：ConcurrentHashMap 存 entry，LinkedHashMap 维护顺序，或用 Caffeine 对照理解 eviction 策略。课堂外的思考学习「Java 常见并发容器总结」时，我把自己放在线上值班的情境里：如果告警与这一主题相关，我能否在较短时间内建立假设并用数据验证？这种提问方式逼迫我从「看过」变...

Java 线程池最佳实践

不要用 Executors 的原因newFixedThreadPool 使用无界 LinkedBlockingQueue，任务堆积时内存风险高；newCachedThreadPool 最大线程 Integer.MAX_VALUE，可能打爆 CPU。推荐创建方式ThreadPoolExecutor 显式参数 + 有界队列 + 自定义 ThreadFactory（命名 prefix 方便 jstack）+ RejectedExecutionHandler 记录指标。隔离与关闭不同业务用独立线程池，避免慢任务拖垮快任务。shutdown → awaitTermination → shutdownNow 是优雅关闭模板，配合 Spring 的 @PreDestroy 或 JVM hook。监控项活跃线程数、队列深度、拒绝次数、任务耗时 P99。队列持续满且 active≈max，说明下游瓶颈而非简单「加线程」。课堂外的思考学习「Java 线程池最佳实践」时，我把自己放在线上值班的情境里：如果告警与这一主题相关，我能否在较短时间内建立假设并用数据验证？这种提问方式逼迫我从「看过...

CompletableFuture 详解

设计动机Future.get 会阻塞调用线程；CompletableFuture 把「完成后的动作」注册为回调，天然支持 thenApply、thenCompose 链式组合，也提供 allOf/anyOf 聚合。关键 API 心智 supplyAsync / runAsync 选择线程池，不要默认 commonPool 跑阻塞 IO； exceptionally/handle 统一异常出口； orTimeout（Java 9+）给慢调用加护栏。示例：并行拉取1234CompletableFuture<String> user = CompletableFuture.supplyAsync(() -> fetchUser());CompletableFuture<List<Order>> orders = user.thenCompose(u -> CompletableFuture.supplyAsync(() -> fetchOrders(u.id())));String su...

Java 锁详解：互斥锁、读写锁、自旋锁与 synchronized 锁优化

锁的分类视角按乐观/悲观：synchronized、ReentrantLock 属悲观；CAS 自旋属乐观。按共享性：读写锁读共享写独占。按可中断/超时：ReentrantLock 提供 tryLock、lockInterruptibly。 synchronized 优化偏向锁减少无竞争开销，轻量级锁用 CAS 抢 Mark Word，竞争激烈膨胀为重量级监视器。JDK15 起偏向锁默认关闭，了解历史即可。 ReentrantLock 对比需手动 unlock，支持公平锁、Condition 多队列。示例： 123Lock lock = new ReentrantLock();lock.lock();try { /* 临界区 */ } finally { lock.unlock(); } 读多写少优先考虑 ReadWriteLock 或 StampedLock（注意不可重入读写规则）。课堂外的思考学习「Java 锁详解：互斥锁、读写锁、自旋锁与 synchronized 锁优化」时，我把自己放在线上值班的情境里：...

三要素CAS 需要内存位置 V、旧值 A、新值 B：当且仅当 V 当前等于 A 时，才原子地写成 B。它提供了乐观并发的基础，但不保证整体业务原子性——多次 CAS 之间仍可能被其他线程插入。 ABA 与解决思路栈顶从 A→B→A，单纯值比较会误判「未变化」。AtomicStampedReference 用版本戳标记每次变更，或像 ConcurrentLinkedQueue 那样用唯一节点对象规避。手写伪代码123456void increment(AtomicInteger counter) { for (;;) { int prev = counter.get(); if (counter.compareAndSet(prev, prev + 1)) return; }} 失败重试是常态，高竞争下 CAS 也会成为热点，需要降级为锁或分段。课堂外的思考学习「CAS 详解」时，我把自己放在线上值班的情境里：如果告警与这一主题相关，我能否在较短时间内建立假设并用数据验证？这种提问方式逼迫我从「看过」变成「讲得清楚、...

评论

数据加载中