MESI 缓存一致性协议

最新推荐文章于 2024-07-27 20:34:46 发布
最新推荐文章于 2024-07-27 20:34:46 发布
阅读量394 收藏 3
点赞数
分类专栏： 计算机 文章标签： 缓存
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_47338687/article/details/121176883
版权

MESI协议

MESI协议是基于Invalidate的高速缓存一致性协议，并且是支持回写高速缓存的最常用协议之一

此外还有一些其他的缓存一致性协议比如：MSI，MOSI，Synapse，Firefly及DragonProtocol等等

主流的计算机cpu执行，简要流程

如下图所示：
在这里插入图片描述

执行数据加载的流程如下：

  1. 将程序和数据从硬盘加载到内存中去
  2. 将数据从内存中加载到CPU的缓存中去，大多为三级缓存（L3 -> L2 -> L1）
  3. CPU取缓存中的数据，加载到寄存器中，进行计算
  4. CPU将计算完成的数据刷新回缓存，在一定的条件会刷新回内存中去，保持数据的一致性
为什么需要缓存一致性协议

在现在CPU多为多核的情况下，每个核心有自己单独的缓存区，当多个核心一起操作多个线程对同一个数据进行操作时，如果在核心B在核心A把修改完之后的数据刷新回内存中去之前，进行了数据的操作，就会导致数据的不确定性。

总线加锁可以解决这种情况，但是在加锁的时候，在一个核心操作该数据完成前，其他核心也无法修改其他数据，这会导致CPU的性能严重下降。

缓存一致性协议只会对单个的缓存行进行类似加锁的操作，来进可能的保证数据的一致性

MESI的状态

MESI的四个字母就是标记缓存行的四种状态 M E S I

状态描述状态改变条件
M 修改 （Modify）表示该缓存行有效，但是是被更改过的，与内存中的数据并不一致，并且该缓存行只存在于本缓存中（举例：我们有三个CPU，每个CPU都有自己的缓存区域，那么M表示CPU-A从内存中取到了数据，其他CPU并没有取此数据（只存在于本缓存中），CPU-A还把该数据进行了更改，导致与内存中的源数据并不一致）当有其他试图读取该缓存在内存中的源数据时，它们须等待此缓存写回到内存，这时此缓存行的状态为S
E 独占 （Exclusive）表示该缓存行有效，数据和内存中的一致（干净），并且数据只存在于本缓存行中如果有相应的其他读取内存中关于本缓存行的操作时，会将自身的状态更改为S。
S 共享 （Shared）表示该缓存行有效，数据和内存中的一致，并且数据也同时存在于其他缓存中如果其他缓存将该数据在它当前所在的缓存区域内将缓存修改，那么其他没有修改的缓存就需要把S状态修改为I状态
I 无效 （Invalid）该缓存行数据无效

那么接下来我们来看几张图来理解这几个状态：

M （修改）和 E （独占）的描述（不包括状态改变条件）

在这里插入图片描述

我们先只关心CPU-1 的操作步骤

  1. 我们先发出了一条指令，要读取内存中a0的数据
  2. 我们经过总线等步骤，来到了内存
  3. 我们从内存中取到了数据并放入到了缓存中，此时这个缓存行的状态为E （独占，只存在于当前数据行中，并且干净）
  4. CPU获得数据

在这里插入图片描述

  1. 我们这个时候选择了修改a0的数据，那么我们就会直接修改位于我们当下缓冲区中数据

    此时我们修改成功，a0的数据状态成功的变为了M （缓存行有效，只存在于当前缓存行中，于内存中的不一致）

    我们来看下内存中目前的a0数据：

    在这里插入图片描述

S（共享）

在这里插入图片描述

  1. 我们直接用CPU-0、CPU-1、CPU-2 都发出了read a0的指令，那么此时它们三个的缓冲区都有此数据，并且都没有修改是干净的，那么它们的状态就都为S
M （修改）状态改变条件描述

在这里插入图片描述

此时我们先在CPU-1中读取并修改了a0所以它的目前状态为M（修改）

接下来我们在CPU-0中读取位于内存中的a0数据，看看会发生什么？

在这里插入图片描述

  1. CPU-0发出read a0的指令，这个时候通过数据总线（ADDRESS BUS）对CUP-1的数据进行同步
  2. 第一步这个时候CPU-1中M状态的a0数据状态修改为S（共享）这个时候开始把数据与内存中的数据进行同步

在这里插入图片描述

​ 第二步，这个时候内存中同步了被修改的数据，然后被CPU-0进行读取，并把S状态的数据放入自己的缓存，然后读取a0，执行完毕

在这里插入图片描述

E（独占）状态改变条件描述

在这里插入图片描述

此时只有CPU-1有a0这个数据，所以它是符合E（独占）的状态

接下来让我们再用CPU-0来读取a0来看看
在这里插入图片描述

不出所料当CPU-0读取数据的时候，它们就符合了共享的条件，那么它们的状态就会更改为S

S （共享） 状态改变条件描述

在这里插入图片描述

此时我们三个CPU都拥有a0的数据缓存，所以它们的状态都有S（共享），那么我们写入其中一个数据

在这里插入图片描述

当我们更改了CPU-1的数据时，我们会同步内存中的数据，使其保持最新，然后把其他CPU中的缓存数据状态置为I（无效、该缓存行无效）的状态

MESI的缺点

如果由特定块上的各种高速缓存执行连续读取和写入操作，则每次都必须将数据刷新到总线上。因此，主存储器将在每次冲洗时拉动它并保持清洁状态。但这不是一项要求，只是由于MESI的实施而导致的额外开销。 MOESI协议克服了这一挑战

夏弥(●—●)
关注
专栏目录
为什么需要MESI缓存一致性协议
pengweismile的专栏
09-20 525
运行在不同cup的2个线程，如何保证在修改相同变量的时候不发生冲突呢 ？ 早期的做法加总线锁： 总线锁 – > 早期多核cup实现一致性的方式，给总线加互斥锁，使另一个核pending住。这样通讯效率很低。 现在的做法使用缓存一致性协议MESI Modified, Exclusive, Shared, Invalid 如下图： T0 通过总线向主内存获取一个缓存行， 该缓存行包含变量counter=0，并加载到Core0的缓存中，这个时候会通过总线对该缓存行修改状态为E。如果T1也需要.
MESI－CPU缓存一致性协议
duoerbasilu
03-04 817
MESI（Modified Exclusive Shared Or Invalid）(也称为伊利诺斯协议，是因为该协议由伊利诺斯州立大学提出）是一种广泛使用的支持写回策略的缓存一致性协议，该协议被应用在Intel奔腾系列的CPU中，详见“support the more efficient write-back cache in addition to thewrite-throughcach...
MESI协议
最新发布
qq_57502075的博客
07-27 1041
现在的CPU基本是多核的，当多个核同时操作多个线程对同一个数据进行更新时，如果core0在core1还未将更新的数据写回内存之前就读取了数据，并进行了操作，就会造成数据错误。为了解决这一问题，前人提出了缓存一致性协议。CPU操作缓存的单位是”缓存行“（cacheline），也就是说如果CPU要读一个变量x，那么其实是读变量x所在的整个缓存行。MESI 协议是缓存一致性协议，是为了解决多 cpu 、并发环境下，多个 cpu 缓存不一致问题而提出的协议。
缓存一致性协议（MESI）
不动明王1984的博客
02-18 1487
在目前主流的计算机中，cpu执行计算的主要流程如图所示： 数据加载的流程如下： 将程序和数据从硬盘加载到内存中 将程序和数据从内存加载到缓存中(目前多三级缓存，数据加载顺序:L3->L2->L1) CPU将缓存中的数据加载到寄存器中，并进行运算 CPU会将数据刷新回缓存，并在一定的时间周期之后刷新回内存 缓存一致性协议发展背景 现在的CPU基本都是多核CPU，服务器更是提供了多CPU的支持，而每个核心也都有自己独立的缓存，当多个核心同时操作多个线程对同一个数据进行更新时，如果核心
并发编程之MESI缓存一致性协议
尽力而为！
01-18 999
当特定数据被多个缓存共享时，处理器修改了共享数据的值，更改必须传播到所有其他具有该数据副本的缓存中。CPU高速缓存可以分为一级缓存，二级缓存，部分高端CPU还具有三级缓存，每一级缓存中所储存的全部数据都是下一级缓存的一部分，这三种缓存的技术难度和制造成本是相对递减的，所以其容量也是相对递增的。缓存一致性协议会通过处理器之间的通信，确保在一个处理器修改了某个数据后，其他处理器缓存中的该数据会被更新或者失效，从而保证在多个处理器同时对同一个数据进行操作时，它们所看到的数据始终是一致的。这是最常用的窥探协议。
MESI 缓存一致性协议引发的一些思考
weixin_44065217的博客
11-18 200
某个下午偶尔间看到了 MESI 缓存一致性协议，引出了我不少相关的疑惑，写下此文记录 通过这篇文章你能了解到的知识 MESI 协议是什么，解决了什么问题 指令重排 是什么，解决了什么问题 内存屏障 是什么，解决了什么 MESI 与 并发同步的区别 MESI 缓存一致性协议 MESI 产生的前提 多级缓存的出现 多核 CPU 的出现 总之为了计算机的性能，现代计算机都具备上述两点的设计，下图为不同存储的 IO 速度对比 MESI 解决的问题 由于现在计算机都是多核 CPU 了，并且每一个 CPU.
缓存一致性协议-MESI
m0_38017860的博客
02-17 2942
背景带有高速缓存的CPU执行计算的流程程序以及数据被加载到主内存指令和数据被加载到CPU的高速缓存CPU执行指令，把结果写到高速缓存高速缓存中的数据写回主内存高速缓存的数据结构高速缓存的底层数据结构其实是一个拉链散列表的结构，就是有很多的bucket，每个bucket挂了很多的cache entry，每个 cache entry 由三个部分组成：tag 、 cache line 、 flagcache line ：缓存的数据，可以包含多个变量的值tag ：指向了这个缓存数据在主内存的数据的地址flag ：标
MESI缓存协议简述
FirMoonLight的博客
09-10 426
参考《深入理解计算机系统》。早期计算机系统的存储器层次结构只有三层：CPU寄存器，主DRAM存储器和磁盘存储设备。不过，随着CPU和主存之间逐渐增大的差距，系统设计者被迫在CPU寄存器和主存之间插入缓存。
MESI协议-缓存一致性协议
渡江客涂鸦板
09-05 519
. 故障现场 通过监控发现集群状态是HEALTH_ERR状态， 并且发现mds0: Metadata damage detected。 顾名思义，猜测应该是元信息损坏导致的。
缓存一致性协议MESI详解
说故事的五公子
07-25 3501
这样如果2个核心对应的线程都需要修改这个值的时候，那么就会出问题，当处理完成后，我们还是要将数据写回到缓存中去的，但是因为这2个互相独立的核心，他们都写回的话，肯定会有一个被另外一个给覆盖了（还有相关的一系列的并发读写引发的问题）。我们知道CPU的运算速度是很快的，因为从磁盘获取的数据的速度严重影响着效率，所以此有了DRAM（内存），但是即便是这样，内存的性能也远远跟不上CPU的运行速度，所以CPU的设计者开始在内部加入SRAM。状态是M（修改）此时只有CA内部有X，并且X和RAM的X值是不一致的。....
「 操作系统 」CPU缓存一致性协议MESI详解
frozenpenguin的博客
05-15 4262
说回CPU缓存，缓存行（cache line）是CPU缓存的基本单位，缓存行通常是 32/64 字节,前面说了局部性原理。当我们访问一个数据时，获取一个值后，其相邻的值也被缓存到就近的缓存行中。比如访问一个long类型数组，当数组中的一个值被加载到缓存中，它会额外加载另外7个，以致你能非常快地遍历这个数组。因此可以非常快速的遍历在连续的内存块中分配的任意数据结构。但是没有任何是完美的存在，比如：当有多个线程操作不同的成员变量，但正好这多个变量处于相同的缓存行。
Mesi缓存一致性协议
架构师之路。。
12-21 827
Mesi是一种缓存一致性协议，用于在多级缓存系统中保持缓存的一致性。它是根据缓存的状态来管理缓存的更新和访问，以确保数据的一致性。Mesi协议是由四个状态来定义缓存的状态，这些状态分别是：Modified（修改状态）：当缓存中的数据被修改时，状态变为Modified。这意味着该数据已被缓存且与主内存中的数据不一致。Exclusive（独占状态）：当缓存中的数据与主内存中的数据保持一致时，状态变为Exclusive。这表示该数据仅存在于当前缓存中。
MESI缓存一致性协议
weixin_36995355的博客
10-30 180
volatile在store前加锁，锁的粒度减小，基本上忽略加锁时间，加锁后，如果write还没执行，cpu总线嗅探机制让initFlag失效，再次获取的时候由于被锁了，拿不到值，保证可见性
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值