点个关注,必回关
随着CPU和内存的发展速度差异的问题,导致CPU的速度远快于内存,所以现在的CPU加入了高速
缓存,高速缓存一般可以分为L1、L2、L3三级缓存。基于上面的例子我们知道了这导致了缓存一致
性的问题,所以加入了缓存一致性协议,同时导致了内存可见性的问题,而编译器和CPU的重排序
导致了原子性和有序性的问题,JMM内存模型正是对多线程操作下的一系列规范约束,因为不可能
让陈雇员的代码去兼容所有的CPU,通过JMM我们才屏蔽了不同硬件和操作系统内存的访问差异,
这样保证了Java程序在不同的平台下达到一致的内存访问效果,同时也是保证在高效并发的时候程
序能够正确执行。

原子性:
Java内存模型通过read、load、assign、use、store、write来保证原子性操作,此外还有
lock和unlock,直接对应着synchronized关键字的monitorenter和monitorexit字节码指令。
阿里内部资料
可见性:
可见性的问题在上面的回答已经说过,Java保证可见性可以认为通过volatile、
synchronized、final来实现。
有序性:
由于处理器和编译器的重排序导致的有序性问题,Java通过volatile、synchronized来保
证。
happen-before规则
虽然指令重排提高了并发的性能,但是Java虚拟机会对指令重排做出一些规则限制,并不能让所有
的指令都随意的改变执行位置,主要有以下几点:

JMM是为了应对CPU高速缓存带来的内存可见性、原子性和有序性问题,通过规定read、load等操作确保多线程环境下的一致性。它使用volatile、synchronized等关键字保证可见性与有序性,通过happen-before规则避免指令重排序。工作内存主要指CPU缓存,主内存即物理内存。
最低0.47元/天 解锁文章
608

被折叠的 条评论
为什么被折叠?



