并发--高速缓存和MESI

参考资料

https://time.geekbang.org/column/article/13484?code=XamkmJYooKBPKe8hT7otClsFDeVHb6rptMYHTdgiRPU%3D

https://www.jianshu.com/p/43af2cc32f90

https://www.jianshu.com/p/7d3150fc0277

https://juejin.im/post/5bf2977751882505d840321d

https://www.jianshu.com/p/506c1e38a922

https://blog.csdn.net/hemmingway/article/details/38750913

高速缓存的结构

高速缓存有哪些

L1i Cache

  • 1.存放需要执行的数据的缓冲
  • 2.代表该数据正在被使用,比如放入到cpu的寄存器上进行操作

L1d Cache

  • 1.存放执行数据需要的指令解码
  • 2.2.代表该指令正在被使用,比如放入到cpu的寄存器上进行操作

L2 Cache

  • 1.存放数据的缓存
  • 2.分内部和外部两种芯片,内部芯片速度基本上与CPU主频相同,而外部芯片只有主频的一半。
  • 3.代表数据即将被使用

L3 Cache

  • 1.存放数据的缓存
  • 2.离CPU较远,读取速度没一级二级快,但一般三级缓存容量比前面两级大很多。
  • 3.类似于预读的特性,从主内存中获取一部分数据缓存,避免当1,2级缓存没有命中进而去主内存中load。

三级缓存的意义:虽然容量比主内存小,但是交互速度快进而提高cpu的效率。对于大的数据会直接从主内存获取,绕过cache。

每个cpu有自己的上述三级缓存,如果一个cpu有多核,则每个核心有自己的L1(有可能还有L2),共享L3(有可能有L2)

三级缓存的内部结构

无论是L1,L2,L3他们的内部结构都相似(相同)

  • 1.首先一个cache类似于一个Map,它分为若干桶,每个桶是一个链表,包含若干缓存条目
  • 2.缓存条目=tag+data Block+flag。
  • 3.Data Block:缓存行,存储从主内存中读取的数据以及准备写入主内存的数据,一个缓存行可能包含多个变量。
  • 4.tag:缓存行中数据的位置信息,不同的core中tag应该是一直的(类似于一份数据在不同缓存系统中都是一样的)
  • 5.Flag 代表该缓存行是否失效。

cpu访问内存时候的步骤如下

  • 1.通过内存地址解码的三个数据index(类似于hash值可以定位在cache的哪个位置),tag(缓存条目的编号),offset(变量在缓存条目的位置偏移)来获取三级缓存中的数据
  • 2.如果找到且该缓存行的Flag为有效,则缓存命中;
  • 3.如果未命中则会去找下一级缓存,如果三级缓存都未命中,则会去主内存中获取对应的数据,这个过程会导致cpu core处于停顿状态 无法执行其他指令。

缓存一致性协议(MESI)

因为每个cpu core都有自己的高速缓存,为了避免出现其中的core对缓存进行更新后其他的core可以感知,所以设置了MESI协议。

M:被修改modified

  • 1.该缓存行的数据是被修改的,与主内存的不一致。
  • 2.每个core中tag值相同的缓存条目,只有一个能处于该状态。
  • 3.在其他cpu读取同一个tag的缓存条目,被修改的缓存行的数据会写回主内存,然后变成E(独享exclusive)

E:独享exclusive

  • 1.该缓存行以独占的方式保留了相应内存地址的副本数据。
  • 2.其他所有cpu core上的高速缓存都不能保留该数据的有效副本。(这就意味着其他cpu core的缓存都失效了)
  • 3.一旦其他的cpu core去主内存获取数据的时候,该数据缓存行状态变为shared。(不同的core的相同数据的缓存行的状态都是shared)
  • 4.当cpu core修改缓存行,则该cpu core中的缓存行状态变为Modified。

S:共享的(shared)

  • 1.该缓存行的数据可能被多个cpu core缓存(它们在不同的core中的 缓存行的tag都是一样的)
  • 2.各个缓存中的数据与主内存中的数据一致。
  • 3.一旦某个cpu core 修改了该缓存行数据时,其他cpu中该缓存行可以被作废(Invalid)

I:无效的(Invalid)

  • 1.该缓存行是无效的,不包含任何内存地址对应的有效副本数据。
  • 2.该状态是缓存条目的初始状态。

总结:首先各个core中初始的缓存行都是Invalid,当其中一个A core去主内存中获取数据时候,其缓存行的状态变为Exclusive
,当B core也去获取同样的数据的到高速缓存时候A和B的缓存行状态都变为shared。当B修改自己缓存行的数据时候,B的缓存行状态变为Modified,A的缓存行状态变为Invalid.
只要有其他的CpuCore(如果是B core自己可以直接从自己高速缓存获取数据)去获取该缓存行中具体的数据,B core就会把修改的数据刷入到主内存。进而B core的缓存行状态变为Exclusive.

为了缓存之间的通讯,协调各个处理器的读、写内存操作,MESI协议还定义了下面的一组消息:

Read

  • 1.当某个 cpu core准备读取主内存中的数据会通知其他的cpu core。
  • 2.该消息中包含待读取数据的内存地址。
  • 3.返回的消息我们称之为Read Response。
  • 4.返回的是请求读取的数据,有可能是主内存返回的,也有可能是其他高速缓存返回的。

Invalidate

  • 1.通知其他cpu core将高速缓存中指定内存地址对应的缓存条目状态为I,即通知这些处理器删除指定内存地址的副本数据。
  • 2.返回的消息是Invalidate Acknowledge,其他cpu core会回复该消息,表示已经删除其高速缓存上面的数据。

Read Invalidate

  • 1.由Read和Invalidate组合而成的复合消息。
  • 2.作用在于通知其他处理器,当前处理器准备更新一个数据,请求其他处理器删除自己高速缓存中的副本数据
  • 3.返回的消息就是Read Response和Invalidate Acknowledge。
  • 4.read返回是指cpu core含有该副本才会返回,如果返回了 再给他们发送Invalidate进而可以删除副本数据。

WriteBack

  • 1.该消息包含需要写入主内存的数据及其对应的内存地址。

当cpu在执行内存读写的时候,会在一定情况下往总线发送特定的请求消息(即上述4个消息),同时每个处理器还会嗅探(拦截)总线中由其他处理器发出的请求消息,并在一定条件下往总线回复相应的响应消息。

MESI协议对内存数据访问的控制类似读写锁,它使得针对同一地址的读内存操作是并发的,而针对同一地址的写内存操作是独占的。从而保障了缓存间数据的一致。

举例说明

并发读

  • 1.当processor 0需要读取缓存中的数据S,如果S的状态是M,E,S那么可以直接使用。
  • 2.如果是I,则Processor 0会通过总线发送read数据。这时候缓存状态不是I的Processor或者主内存收到消息会回复。
  • 3.上述消息如果被Processor 1获取了 其他的处理器或者主内存无法获取,如果processor中存在M的则该processor会回复。
  • 4.如果我们获取的Processor的缓存状态是M则其会先将数据写入主内存,此时状态为E,然后返回Read Response后,再将状态更新为S。

互斥写

  • 1.当处理器Processor 0要向地址A(缓存条目的地址)中写数据时,如果地址A在Processor 0中的缓存条目状态为E,M,则代表其对该数据拥有独占权
    可以直接写入到A,然后缓存状态变为M。
  • 2.如果写的缓存条目状态为S,处理器需要往总线发送Invalidate消息来获取该缓存条目的独占权。
  • 3.当接收到其他所有处理器返回的Invalidate Acknowledge消息后,处理器才会将数据更新到地址A中,并将对应的缓存条目改为M。
  • 4.如果写的缓存条目状态为I,处理器Processor 0需要往总线发送Read Invalidate消息来获取该缓存条目的独占权,其他步骤同S
  • 5.需要注意的是,如果接收到Invalidate消息的其他其他处理器,缓存条目状态为M,则该处理器会先将数据写入主内存(以方便发送Read Invalidate指令的处理器读到最新值),然后再将状态改为I。

MESI协议的缺陷:

依照上述的MESI协议虽然可以解决数据一致性的问题,但是存在性能缺陷:即处理器每次写数据都得等其他处理器将各自的高速缓存中的对应数据删除,并且接收到返回的Read Response与Invalidate Acknowledge消息后才执行写操作。

写缓冲器和无效化队列

为了解决上述的性能缺陷进而引入了写缓冲器和无效化队列

写缓冲器

  • 1.写缓冲器是处理器内部一个容量比高速缓存还小的高速存储部件,每个处理器都有自身的写缓冲器,且一个处理器无法读取另一个处理器上的写缓冲器内容。

写操作过程

  • 1.如果相应的缓存条目状态为 E、M,则直接写入,无需发送消息(照旧)
  • 2.如果相应的缓存条目状态为 S, 处理器会将写操作相关信息存入写缓冲器,并发送Invalidate消息。(不再等待响应消息)
  • 3.如果相应的缓存条目状态为 I,发生“写未命中”,将写操作相关信息存入写缓冲器,并发送Read Invalidate消息。(不再等待响应消息)
  • 4.当处理器将写操作写入写缓冲器后,则认为写操作已经完成。而实际上,当处理器收到其他所有处理器回应的Read Response、Invalidate Acknowledge消息后,处理器才会将写缓冲器中对应的写操作写入相应的缓存行,这个时候,写操作才算真正完成。

总结:写缓冲器让处理器在执行写操作时不需要再额外的等待,减少了写操作的延时,提高了处理器的指令执行效率。

读操作过程

  • 1.引入写缓存器后,处理器读取数据时,由于该数据的更新结果可能仍然停留在写缓冲器中,所以(自己的写缓冲只能从自己的处理器读取)处理器会先从写缓冲器中找寻数据,没有找到时,才从高速缓存中找。
  • 2.这种处理器直接从写缓冲器中读取数据的技术被称为:存储转发

无效化队列

  • 1.处理器在接收到Invalidate消息后,并不马上删除消息中指定地址对应的副本数据,而是将消息存入无效化队列之后就回复Invalidate Acknowledge消息,从而减少了执行写操作的处理器的等待时间。
  • 2.需要注意的是,有些处理器(如X86)可能并没有使用无效化队列

写缓冲器和无效化队列带来的新问题

  • 1.内存重排序与可见性

重排序

  • 1.重排序有编译器的优化和运行期优化导致的重排序 也有因为写缓冲和无效队列导致的伪重排序(看起来效果像是重排序了)。

可见性

  • 1.一个处理器的写缓冲器中的内容是无法被其他处理器读取的,这个也就造成了一个处理器更新一个共享变量后,对其他处理器而言,看不到这个更新的值,即可见性。

内存屏障

  • 1.为了解决重排序和可见性
  • 2.即保证执行下一条指令前对应得写缓冲和无效队列执行完毕才可以
  • 3.内存屏障是volatile和synchronized得底层实现原理
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,189评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,577评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,857评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,703评论 1 276
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,705评论 5 366
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,620评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,995评论 3 396
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,656评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,898评论 1 298
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,639评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,720评论 1 330
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,395评论 4 319
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,982评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,953评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,195评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 44,907评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,472评论 2 342

推荐阅读更多精彩内容

  • Swift1> Swift和OC的区别1.1> Swift没有地址/指针的概念1.2> 泛型1.3> 类型严谨 对...
    cosWriter阅读 11,084评论 1 32
  • 这篇简单梳理下与多线程相关的硬件知识,了解它们能够让我们更清晰的了解多线程工作的本质,以及关键字synchroni...
    MrDTree阅读 2,568评论 3 10
  • 1. 基础知识 1.1、 基本概念、 功能 冯诺伊曼体系结构1、计算机处理的数据和指令一律用二进制数表示2、顺序执...
    yunpiao阅读 5,246评论 1 22
  • 本文主要介绍与多线程编程紧密相关的硬件基础知识。内容涉及: 高速缓存 缓存一致性协议--MESI协议 写缓冲器和无...
    小北觅阅读 694评论 3 2
  • 今天看到一位朋友写的mysql笔记总结,觉得写的很详细很用心,这里转载一下,供大家参考下,也希望大家能关注他原文地...
    信仰与初衷阅读 4,723评论 0 30