JMM本质及内存可见性原理分析

最新推荐文章于 2025-05-25 22:28:03 发布

原创最新推荐文章于 2025-05-25 22:28:03 发布 · 461 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#java #操作系统 #多线程 #jvm #linux

本文深入探讨Java内存模型(JMM)的原理，包括主内存与本地内存的概念，以及CPU高速缓存对线程数据不一致的影响。同时，解析volatile关键字如何通过lock前缀指令保证内存可见性，synchronized关键字如何利用mutex锁实现线程互斥，确保原子性和可见性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

处理器lock前缀指令

内存屏障 + 缓存一致性协议(MESI) + 总线嗅探技术 + … = 内存可见

操作系统mutex锁

操作系统实现线程互斥的一种手段(或者被称为系统接口)，而lock前缀指令是保证mutex互斥锁实现原子性操作的更底层的机制。

JMM内存模型

JVM内存模型分为主内存和本地内存，每个线程都有对应的本地内存，存储的是主内存的变量副本。
本地内存只是个逻辑概念，其实质就是CPU的高速缓冲区和寄存器存等；各线程本地内存的数据不一致其实主要是CPU高速缓冲区的数据不一致导致的。
JMM线程模型其实质就是JVM对不同的CPU架构进行了抽象封装，掩盖了底层的不同。