MESI(Modified Exclusive Shared Or Invalid)(也称为伊利诺斯协议,是因为该协议由伊利诺斯州立大学提出)是一种广泛使用的支持写回策略的缓存一致性协议,该协议被应用在Intel奔腾系列的CPU中,详见“support
the more efficient write-back cache in addition to thewrite-throughcache previously used by the Intel486processor”
MESI协议中的状态
CPU中每个缓存行(caceh line)使用4种状态进行标记(使用额外的两位(bit)表示):
M: 被修改(Modified)
该缓存行只被缓存在该CPU的缓存中,并且是被修改过的(dirty),即与主存中的数据不一致,该缓存行中的内存需要在未来的某个时间点(允许其它CPU读取请主存中相应内存之前)写回(write back)主存。当被写回主存之后,该缓存行的状态会变成独享(exclusive)状态。
E: 独享的(Exclusive)
该缓存行只被缓存在该CPU的缓存中,它是未被修改过的(clean),与主存中数据一致。该状态可以在任何时刻当有其它CPU读取该内存时变成共享状态(shared)。同样地,当CPU修改该缓存行中内容时,该状态可以变成Modified状态。
S:
共享的(Shared)
该状态意味着该缓存行可能被多个CPU缓存,并且各个缓存中的数据与主存数据一致(clean),当有一个CPU修改该缓存行中,其它CPU中该缓存行可以被作废(变成无效状态(Invalid))。
I: 无效的(Invalid)
该缓存是无效的(可能有其它CPU修改了该缓存行)。
MESI状态转换图
状态之间的相互转换关系也可以使用下表进行表示。
操作:
在一个典型系统中,可能会有几个缓存(在多核系统中,每个核心都会有自己的缓存)共享主存总线,每个相应的CPU会发出读写请求,而缓存的目的是为了减少CPU读写共享主存的次数。
一个缓存除在Invalid状态外都可以满足cpu的读请求,一个invalid的缓存行必须从主存中读取(变成S或者 E状态)来满足该CPU的读请求。
一个写请求只有在该缓存行是M或者E状态时才能被执行,如果缓存行处于S状态,必须先将其它缓存中该缓存行变成Invalid状态(也既是不允许不同CPU同时修改同一缓存行,即使修改该缓存行中不同位置的数据也不允许)。该操作经常作用广播的方式来完成,例如:Request
For Ownership (RFO)
缓存可以随时将一个非M状态的缓存行作废,或者变成Invalid状态,而一个M状态的缓存行必须先被写回主存。
一个处于M状态的缓存行必须时刻监听所有试图读该缓存行相对就主存的操作,这种操作必须在缓存将该缓存行写回主存并将状态变成S状态之前被延迟执行。
一个处于S状态的缓存行也必须监听其它缓存使该缓存行无效或者独享该缓存行的请求,并将该缓存行变成无效(Invalid)。
一个处于E状态的缓存行也必须监听其它缓存读主存中该缓存行的操作,一旦有这种操作,该缓存行需要变成S状态。
对于M和E状态而言总是精确的,他们在和该缓存行的真正状态是一致的。而S状态可能是非一致的,如果一个缓存将处于S状态的缓存行作废了,而另一个缓存实际上可能已经独享了该缓存行,但是该缓存却不会将该缓存行升迁为E状态,这是因为其它缓存不会广播他们作废掉该缓存行的通知,同样由于缓存并没有保存该缓存行的copy的数量,因此(即使有这种通知)也没有办法确定自己是否已经独享了该缓存行。
从上面的意义看来E状态是一种投机性的优化:如果一个CPU想修改一个处于S状态的缓存行,总线事务需要将所有该缓存行的copy变成invalid状态,而修改E状态的缓存不需要使用总线事务。
英文原文http://en.wikipedia.org/wiki/MESI_protocol
分享到:
相关推荐
5-3JMM-CPU缓存一致性协议MESI.mp4
带有高速缓存的CPU执行计算的流程). 程序以及数据被加载到主内存,. 指令和数据被加载到CPU的高速缓存-. CPU执行指令,把结果写到高速缓存.. 高速缓存
15418缓存模拟器这是一个缓存一致性协议模拟器,具有MSI,MESI和MOESI协议。 此外,我们实现了包含回写缓冲区以及非原子总线事务的功能,从而实现了更逼真的仿真。
MESI
第2节并发基础2.1CPU多级缓存--缓存一致性·缓存一致性(MESI,Cache line的四种状态)M:Modified,被修改E:Exclusive,独享
• 基于MESI缓存⼀一致性协议 如果不声明volatile,变量装载到本地变量 中,或者cpu cache中,多线程下很容易导 致状态不⼀一致。 • 声明了volatile,每次访问的都是主存中的数 据,⼀一致性能提升,但是还是不可靠...
MESI协议.xmind
缓存一致性协议 (MESI) modify :修改状态,表示共享数据只缓存在当前 CPU 并且是修改状态,也就是缓存的数据与主内存中不一致 shared:共享状态,多个 CPU 缓存中的内容与主内存中内容一致 invalid :失效状态,...
详细的讲述了并发、高并发、CPU Cache、CPU多级缓存、CPU多级缓存 - 缓存一致性(MESI)、CPU多级缓存-乱序执行优化、Java内存模型(Java Memory Model,JMM)、并发的优势和风险...等等图文并茂详解
缓存一致性 为基于总线的广播系统实现 MI、MSI、MESI、MOSI、MOESI 和 MOESIF 协议。
网易杭研院何登成学习CPU架构以及并发程序设计的一些心得 与收获。主要内容包括: – 简单介绍CPU的架构,部分主要模块及其功能(Cache Structure, Cache Line , Set-Way); – Cache Coherence算法 (MESI, MOESI); ...
大家都学过计算机体系结构吧,里面有个MESI协议,是不是有点印象,这个就是我用VB做的一个演示程序。是源码哦
Multi2sim是多核系统结构仿真器,支持多级Cache,支持定制不同的层次结构,其中一致性协议用MESI协议实现。网络目前只支持Bus和P2P。
MESI电子商务 MESI项目 介绍 项目管理: Trello 返回: Java SPRING-Thymeleaf 前: HTML CSS Boostrap JS 备份管理: GitHub SGBD: MySQL 开发服务器 可访问suivante:
l CPU's from the 8086/8088 to the Pentium III and Athlon l Real, protected and virtual models l Windows and plug&play devices l CPU Clones from all major manufacturers l Chipsets and support chips...
计算机组织与体系结构性能设计(第6版) ...18.3 高速缓存一致性和MESI协议 18.4 机群系统 18.5 非对称存储器存取 18.6 向量计算 18.7 参考文献 18.8 关键词、复习题和习题 附录 词汇表 参考文献 索引
这样还能减少CPU缓存命中失效的问题(点击这个链接来查看CPU的缓存是如何工作的以及MESI协议)。下面让我们来揭穿三个有关NULL位图的普遍误区。 误区 #6a:NULL位图并不是任何时候都会用到 正确 就算表中不存在允许NULL...
blm304 维里·哈贝莱西梅西(VeriHaberleşmesi)
Multi-level inclusive cache hierarchy with the directory-based MESI coherence protocol; Simple cycle-accurate DRAM controller model; Various kinds of static and dynamic branch predictors, ...
0.9.4版:-通报通知-修正错误,矿工改正0.9.3版:-Ajout de raccourcis vers les sites Bonjour夫人-Ajout d'une page d'options-Possibilitéd'afficher les XdernièresMadamesmêmesi版本0.9.2的通知:-通知...