cache coherence和memory consistency被中文翻译成cache 一致性和内存一致性,由于后两个不同的英文单词被翻译成相同的中文,这就导致两个术语在中文的技术领域经常被弄混,也因此导致不少人对这两个概念认识模糊不清。 计算机技术源自西方,自然要去看原汁原味的解释。 不逐字翻译,cache coherence指的是不同CPU cache保存...
本章将深入理解Memory Consistency Model,该Model用于定义shared Memory System的行为,既方便programmer知道系统能给自己反馈什么东西,又方便implementor知道自己要提供什么东西。在3.1节解释了定义Memory behavior的动机;在3.2节说明一个Memory Consistency Model都做什么事;在3.3节对比Consistency和Coherence的异同点。 之后将探...
比如LFENCE会阻止LFENCE后的读指令越过LFENCE先执行,SFENCE会阻止SFENCE后的写指令越过SFENCE先执行,这里TSO模型未定义STORE操作会先执行,但是X86下一些特殊的写入指令会比其他写入指令先执行而发生重排序,比如MOVNTI, MOVNTQ,MOVNTDQ, MOVNTPS, 和 MOVNTPD指令还有字符串操作指令,会发生重排序,还有CFLUSH,CLFLUSHOPT也...
cache监听一致性主要是获得cache的总线访问权,比如core1和core2同时写入相同的地址,会交由总线进行仲裁,确定哪个核先写入,在获得写入权限后,会通过总线广播使地址失效。一般的smp架构cpu cache结构如下图: 其中分为三级cache,第一级和第二级cache是处理器独有的,第三级cache是共享的,L1cache分为指令cache,数据cache。
Cache Coherence VS Memory Consistency 从以上分析,我们不难看出。CC和MC涉及的是两个不同层面的东西,解决的是不同的问题,不可混淆。CC解决的是副本一致性问题;MC保证的是多线程程序可以读到什么值。 两者有联系吗?有。实现Memory Consistency时,Cache Coherence有时候可以作为一个black box tool来使用。细节下次我...
翻译计划已迁移至GitHub，便于大家共同学习和讨论。在翻译过程中，为了区分两个术语，将“memory consistency”翻译为“内存连贯性”，“cache coherence”翻译为“缓存一致性”。尽管如此，在需要时，本系列文章将尽量避免翻译这两个术语，以减少混淆。本书分为多个章节，涵盖内存一致性与缓存一致性，以及...
Memory Consistency(前后一致,连贯性) Whereas coherencedefines rational behavior, the consistency model indicates how long and in what ways the system is allowed to behave irrationally with respect to a given set of references. A memory-consistency model indicates how the memory system inter-leaves rea...
cache笔记：MemoryCoherence和MemoryConsistency At this point we should formally discuss memory coherence and memory consistency, terms that speak to the ordering behavior of operations on the mem-ory system. We illustrate their defi nitions within the scope of the race condition ...
这本书主要介绍在共享内存的系统中的两个概念:memory consistency 和 cache coherence。这两者似乎分别被翻译为“内存一致性”和“缓存一致性”,不过这里的“一致性”却对应着两个不同的词,因此我在下文中还是老老实实写英文吧。 Consistency Memory consistency 是用来定义正确性的。然而这个“正确性”本身就很难下...
在讨论 consistency 之前,我们需要先铺垫一点 coherence 的知识。 基线系统模型 我们考虑这样的系统: 有一个多核处理器和一块内存; 每个核心是单线程的,且每个核心有自己的 data cache; 所有核心共用一个 LLC (last-level cache) ; 用物理地址,write-back 策略 ...