浅谈缓存一致性原则和Java内存模型(JMM)

本文介绍了Java内存模型(JMM)的基础,包括缓存一致性协议MESI以及Java并发编程中需要保证的原子性、可见性和有序性。MESI协议确保了多处理器环境下的数据一致性,而Java通过锁和volatile关键字实现并发原则。此外,文章还探讨了内存屏障和happens-before原则,为理解Java多线程的内存可见性提供了指导。
摘要由CSDN通过智能技术生成

Java内存模型(JMM)是一个概念模型,底层是计算机的寄存器、缓存内存、主内存和CPU等。
多处理器环境下,共享数据的交互硬件设备之间的关系:
这里写图片描述
JMM:
这里写图片描述
从以上两张图中,谈一谈以下几个概念:

1.缓存一致性协议(MESI):

由于每个处理器都含有私有的高速缓存,在对缓存中数据进行更新后,其他处理器中所含有的该共享变量的缓存如果被处理器进行读操作,就会出现错误。有些计算机采用LOCK#信号对总线进行锁定,当一个处理器在总线上输出此信号时,其它处理器的请求将被阻塞,那么该处理器就能独自共享内存。然而总线锁定的开销太大,在之后的计算机中一般都采用“缓存锁定”的方式实现。
MESI是代表了缓存数据的四种状态的首字母,分别是Modified、Exclusive、Shared、Invalid)
- M(Modified):被修改的。处于这一状态的数据,只在本CPU中有缓存数据,而其他CPU中没有。同时其状态相对于内存中的值来说,是已经被修改的,且没有更新到内存中。
- E(Exclusive):独占的。处于这一状态的数据,只有在本CPU中有缓存,且其数据没有修改,即与内存中一致。
- S(Shared):共享的。处于这一状态的数据在多个CPU中都有缓存,且与内存一致。
- I(Invalid):要么已经不在缓存中,要么它的内容已经过时。为了达到缓存的目的,这种状态的段将会被忽略。一旦缓存段被标记为失效,那效果就等同于它从来没被加载到缓存中。
在缓存行中有这四种状态的基础上,通过“嗅探”

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值