超级会员免费看
本文探讨了Java中synchronized关键字的工作原理，它如何确保内存可见性和数据一致性。通过工作内存与主内存的概念解释，展示了在多线程环境下，CPU高速缓存可能导致的数据不一致问题。synchronized通过清除工作内存中的变量并直接从主内存读取，解决了这个问题。此外，文章通过代码示例展示了无同步与同步代码执行的区别，并指出synchronized虽然保证了强一致性，但可能带来性能损失和线程调度开销。
基于工作原理一可知同步关键字底层是基于JVM操作监视器的同步指令原语monitorenter和monitorexit来实现,这次将会通过抽象的内存语义来说明侧面说明加锁和解锁的方式
1. 工作内存与主内存
定义
- 主内存: 一般就是计算机操作系统上的物理内存,简言之,即使一般我们所说的计算机的内存含义
- 工作内存: 基于JMM(Java内存模型)规范规定,线程使用的变量将会把主内存的数据变量复制到自己线程栈的工作空间
线程工作内存与主内存的读写示意图
前面已经有介绍到CPU高速缓存的知识点,以下是CPU简单的架构图以及工作内存与主内存的读写流程
从上述我们可以看到,CPU中包含L1-L3的Cache,线程每次读写都需要先经过CPU高速缓存,这样便会产生数据缓存的不一致,前面已经有讲到CPU厂商针对这类问题做了改进,运用缓存一致性来达到最终数据的一致性,那么此时如果有一个需求是强一致性,即使是很短的时间内,我也需要保证写数据之后立马看到写数据成功后的效果,这时候怎么办呢?在JMM规范中为了解决这类内存共享的数据在不同线程不可见的问题,就制定一种规范来强制java程序中的线程直接跳过CPU高速缓存数据去读取主内存的数据,这就是解决内存数据的不可见的一种手段.
订阅专栏 解锁全文
80
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
