java并发编程 CPU缓存一致性协议MESI 的理解

本文没有实例代码,都是教科书似的知识,但是知识特别重要! 所以要用心看,我会尽我最大输出能力来写。

CPU 高速缓存

计算机在执行程序的时候,每条指令都是在 CPU 中执行的,而执行的时候,又免不了要和数据打交道。数据是存放在主存当中的,也就是RAM (计算机的物理内存)。

但是物理内存速度远远是跟不是CPU执行速度的,于是就在CPU层加上了「CPU 高速缓存」

CPU多级缓存

由于CPU的运算速度远远超越了1级缓存的数据I\O能力,CPU厂商又引入了多级的缓存结构。通常L1、L2 是每个CPU 核有一个,L3 是多个核共用一个。

image.png

Cache Line

CPU多级缓存 是由很多个「缓存行」(Cache line) 组成的。Cache line 是 CPU多级缓存和 RAM 交换数据的最小单位。

带有高速缓存的CPU执行计算的流程

  1. 程序以及数据被加载到主内存
  2. 指令和数据被加载到CPU的高速缓存
  3. CPU执行指令,把结果写到高速缓存
  4. 高速缓存中的数据写回主内存

缓存一致性

既然每个核中都有单独的缓存,那我的 4 核 8 线程 CPU 处理主内存数据的时候,不就会出现数据不一致问题了吗?

为了解决这个问题,先后有过两种方法:总线锁机制和缓存锁机制。

总线锁就是使用 CPU 提供的一个LOCK#信号,当一个处理器在总线上输出此信号,其他处理器的请求将被阻塞,那么该处理器就可以独占共享锁。这样就保证了数据一致性。

但是总线锁开销太大,我们需要控制锁的粒度,所以又有了缓存锁,核心就是“缓存一致性协议”,不同的 CPU 硬件厂商实现方式稍有不同,有MSI、MESI、MOSI等。

缓存锁机制 MESI 协议

MSEI协议是多核cpu保证cache一致性的一种方法,他们有下面几种状态:

  • M(Modified) : 缓存行是脏的(dirty),与主存RAM的值不同。如果别的CPU内核要读主存这块数据,该缓存行必须回写到主存,状态变为共享(S)。

  • E(Exclusive) : 缓存行只在当前缓存中,但是干净的(clean) 缓存数据与主存RAM数据一致。当别的缓存读取它时,状态变为共享(S);当前写数据时,变为修改(M)。

  • S(Shared) : 缓存行也存在于其它缓存中且是干净的。缓存行可以在任意时刻抛弃。

  • I(Invalid ) : 缓存行是无效的。

M-修改 E-独占 S-共享 I-无效

假设有二核CPU A、B对应三个缓存分别是cache 1、2。在主内存中定义了a的值为0。

image.png

1. CPU 读取数据的流程

  • CPU A发出读取指令。
  • CPU A从RAM中通过bus总线读取a到cache1中,并设置该cache line的状态为E-独占
  • CPU B 试图从RAM中读取a时,CPU A 检测到了地址冲突。这时CPU A对相关数据做出响应。此时a 存储于cache 1和cache 2中,a在chche 1和cache 2中都被设置为S-共享。 【E-独占 ===> S-共享】

2. CPU A 修改数据的流程

  • CPU A 计算完成发出指令要修改a。
  • CPU A 将a设置为 M-修改 并通知缓存了a的CPU B, CPU B将本地cache 2中的a设置为 I-无效,CPU B 要读的话判断是I-无效是就直接拿主存。
  • CPU A 对a进行赋值。

3. CPU B 读取数据的流程

  • CPU B 发出了要读取a的指令。
  • CPU B 判断是当前是无效状态, 就通知 CPU A,CPU A将修改后的数据同步到主内存时 cache 1 修改为 E-独占 , CPU B直接读取主内存并设置为 S-共享

每个CPU读取完缓存行之后都在内存中监听已读缓存行的状态,这时CPU b就会监听的缓存行a已被修改,此时,CPU b就会把他设置为Invalid(无效)状态,无效状态的数据会被丢弃,如果想继续操作的话,还需要到主存中重新获取。

参考资料
https://xie.infoq.cn/article/5f4397e93c26c89c9f7b144bf

《 圣人自知不自见;自爱不自贵 》
释义:有自知之明,而且也不自我表现;有自爱之心也不自显高贵。

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

推荐阅读更多精彩内容