缓存一致性模块(Cache Coherence Module)是计算机系统中用于确保多个处理器或核心的缓存中数据的一致性的重要组件。在多核处理器或多处理器系统中,每个处理器核心通常都有自己的高速缓存(Cache),这些缓存被用来加速对内存的访问,提高系统性能。然而,当多个处理器核心同时访问同一个内存位置时,可能会导致数据不一致的问题,这就需要通过缓存一致性协议和相应的硬件支持来解决。
主要功能和工作原理
-
保持数据一致性:
- 缓存一致性模块的主要功能是确保系统中所有处理器核心看到的共享数据是一致的。这意味着如果一个核心修改了内存中的某个数据,其他核心的缓存中的数据也必须随之更新,以保证系统的数据完整性和正确性。
-
缓存一致性协议:
- 缓存一致性模块实现了特定的缓存一致性协议,如MESI(Modified, Exclusive, Shared, Invalid)或MOESI(Modified, Owned, Exclusive, Shared, Invalid)等。这些协议定义了处理器如何在读写数据时与其他处理器进行通信,以确保缓存中的数据状态保持一致。
-
处理器间的通信:
- 当一个处理器核心修改了缓存中的数据时,它会向缓存一致性模块发送相应的写入请求。该模块负责更新其他核心的缓存,或者通知它们将相应的缓存行标记为失效(Invalid),从而保证其他核心访问相同内存位置时能获取到最新的数据。
-
硬件实现:
- 缓存一致性模块通常由硬件设计实现,在多核处理器芯片或者多处理器系统的芯片组中集成。它包括仲裁逻辑、缓存状态追踪、缓存数据的传输和更新机制等关键部件,以支持高效的缓存一致性管理。
-
性能影响:
- 缓存一致性模块的设计和实现会直接影响系统的性能和功耗。因此,现代处理器架构在设计时会考虑如何优化缓存一致性协议,以在保证数据一致性的同时,尽可能减少通信延迟和能耗。
应用场景
缓存一致性模块广泛应用于多核处理器、多处理器服务器和高性能计算系统中。它们确保了在并行计算和多任务处理中,所有处理器核心之间共享的数据能够保持一致性,从而避免了由于数据不一致而导致的程序错误和系统崩溃。
总之,缓存一致性模块在现代计算系统中扮演着关键角色,通过实现复杂的缓存一致性协议和相应的硬件支持,有效管理和维护多核处理器或多处理器系统中的数据一致性。
Cache一致性协议
多数SMP处理器系统使用了MESI协议处理多个处理器之间的Cache一致性。该协议也被称为Illinois protocol,MESI协议在SMP处理器系统中得到了广泛的应用。MESI协议使用四个状态位描述每一个Cache行。
• M(Modified)位。M 位为1 时表示当前Cache 行中包含的数据与存储器中的数据不一致,而且它仅在本CPU的Cache 中有效,不在其他CPU的Cache 中存在拷贝,在这个Cache行的数据是当前处理器系统中最新的数据拷贝。当CPU对这个Cache行进行替换操作时,必然会引发系统总线的写周期,将Cache行中数据与内存中的数据同步。
• E(Exclusive)位。E 位为1 时表示当前Cache行中包含的数据有效,而且该数据仅在当前CPU的Cache中有效,而不在其他CPU的Cache中存在拷贝。在该Cache行中的数据是当前处理器系统中最新的数据拷贝,而且与存储器中的数据一致。
• S(Shared)位。S 位为1 表示Cache行中包含的数据有效,而且在当前CPU和至少在其他一个CPU中具有副本。在该Cache行中的数据是当前处理器系统中最新的数据拷贝,而且与存储器中的数据一致。
• I(Invalid)位。I 位为1 表示当前Cache 行中没有有效数据或者该Cache行没有使能。MESI协议在进行Cache行替换时,将优先使用I位为1的Cache行。
MESI协议还存在一些变种,如MOESI协议和MESIF协议。基于MOESI协议的Cache一致性模型如图3 5所示,该模型基于AMD处理器使用的MOESI协议。不同的处理器在实现MOESI协议时,状态机的转换原理类似,但是在处理上仍有细微区别。
MOESI协议引入了一个O(Owned)状态,并在MESI协议的基础上,进行了重新定义了S状态,而E、M和I状态和MESI协议的对应状态相同。
• O位。O位为1表示在当前Cache 行中包含的数据是当前处理器系统最新的数据拷贝,而且在其他CPU中一定具有该Cache行的副本,其他CPU的Cache行状态为S。如果主存储器的数据在多个CPU的Cache中都具有副本时,有且仅有一个CPU的Cache行状态为O,其他CPU的Cache行状态只能为S。与MESI协议中的S状态不同,状态为O的Cache行中的数据与存储器中的数据并不一致。
• S位。在MOESI协议中,S状态的定义发生了细微的变化。当一个Cache行状态为S时,其包含的数据并不一定与存储器一致。如果在其他CPU的Cache中不存在状态为O的副本时,该Cache行中的数据与存储器一致;如果在其他CPU的Cache中存在状态为O的副本时,Cache行中的数据与存储器不一致。
在一个处理器系统中,主设备(CPU或者外部设备)进行存储器访问时,将试图从存储器系统(主存储器或者其他CPU的Cache)中获得最新的数据拷贝。如果该主设备访问的数据没有在本地命中时,将从其他CPU的Cache中获取数据,如果这些数据仍然没有在其他CPU的Cache中命中,主存储器将提供数据。外设设备进行存储器访问时,也需要进行Cache共享一致性。
在MOESI模型中,“Probe Read”表示主设备从其他CPU中获取数据拷贝的目的是为了读取数据;而“Probe Write”表示主设备从其他CPU中获取数据拷贝的目的是为了写入数据;“Read Hit”和“Write Hit”表示主设备在本地Cache中获得数据副本;“Read Miss”和“Write Miss”表示主设备没有在本地Cache中获得数据副本;“Probe Read Hit”和“Probe Write Hit”表示主设备在其他CPU的Cache中获得数据副本。
本节为简便起见,仅介绍CPU进行存储器写和与O状态相关的Cache行状态迁移,CPU进行存储器读的情况相对较为简单,请读者自行分析这个过程。
当CPU对一段存储器进行写操作时,如果这些数据在本地Cache中命中时,其状态可能为E、S、M或者O。
• 状态为E或者M时,数据将直接写入到Cache中,并将状态改为M。
• 状态为S时,数据将直接写入到Cache中,并将状态改为M,同时其他CPU保存该数据副本的Cache行状态将从S或者O迁移到I(Probe Write Hit)。
• 状态为O时,数据将直接写入到Cache中,并将状态改为M,同时其他CPU保存该数据副本的Cache行状态将从S迁移到I(Probe Write Hit)。
当CPU A对一段存储器进行写操作时,如果这些数据没有在本地Cache中命中时,而在其他CPU,如CPU B的Cache中命中时,其状态可能为E、S、M或者O。其中CPU A使用CPU B在同一个Cache共享域中。
• Cache行状态为E时,CPU B将该Cache行状态改为I;而CPU A将从本地申请一新的个Cache行,将数据写入,并该Cache行状态更新为M。
• Cache行状态为S时,CPU B将该Cache行状态改为I,而且具有同样副本的其他CPU的Cache行也需要将状态改为I;而CPU A将从本地申请一个Cache行,将数据写入,并该Cache行状态更新为M。
• Cache行状态为M时,CPU B将原Cache行中的数据回写到主存储器,并将该Cache行状态改为I;而CPU A将从本地申请一个Cache行,将数据写入,并该Cache行状态更新为M。
• Cache行状态为O时,CPU B将原Cache行中的数据回写到主存储器,并将该Cache行状态改为I,具有同样数据副本的其他CPU的Cache行也需要将状态从S更改为I;CPU A将从本地申请一个Cache行,将数据写入,并该Cache行状态更新为M。
Cache行状态可以从M迁移到O。例如当CPU A读取的数据从CPU B中命中时,如果在CPU B中Cache行的状态为M时,将迁移到O,同时CPU B将数据传送给CPU A新申请的Cache行中,而且CPU A的Cache行状态将被更改为S。
当CPU读取的数据在本地Cache中命中,而且Cache行状态为O时,数据将从本地Cache获得,并不会改变Cache行状态。如果CPU A读取的数据在其他Cache中命中,如在CPU B的Cache中命中而且其状态为O时,CPU B将该Cache行状态保持为O,同时CPU B将数据传送给CPU A新申请的Cache行中,而且CPU A的Cache行状态将被更改为S。
在某些应用场合,使用MOESI协议将极大提高Cache的利用率,因为该协议引入了O状态,从而在发送Read Hit的情况时,不必将状态为M的Cache回写到主存储器,而是直接从一个CPU的Cache将数据传递到另外一个CPU。目前MOESI协议在AMD和RMI公司的处理器中得到了广泛的应用。
Intel提出了另外一种MESI协议的变种,即MESIF协议,该协议与MOESI协议有较大的不同,也远比MOESI协议复杂,该协议由Intel的QPI(QuickPath Interconnect)技术引入,其主要目的是解决“基于点到点的全互连处理器系统”的Cache共享一致性问题,而不是“基于共享总线的处理器系统”的Cache共享一致性问题。
在基于点到点互连的NUMA(Non-Uniform Memroy Architecture)处理器系统中,包含多个子处理器系统,这些子处理器系统由多个CPU组成。如果这个处理器系统需要进行全机Cache共享一致性,该处理器系统也被称为ccNUMA(Cache Cohenrent NUMA)处理器系统。MESIF协议主要解决ccNUMA处理器结构的Cache共享一致性问题,这种结构通常使用目录表,而不使用总线监听处理Cache的共享一致性。
MESIF协议引入了一个F(Forware)状态。在ccNUMA处理器系统中,可能在多个处理器的Cache中存在相同的数据副本,在这些数据副本中,只有一个Cache行的状态为F,其他Cache行的状态都为S。Cache行的状态位为F时,Cache中的数据与存储器一致。
当一个数据请求方读取这个数据副本时,只有状态为F的Cache行,可以将数据副本转发给数据请求方,而状态位为S的Cache不能转发数据副本。从而MESIF协议有效解决了在ccNUMA处理器结构中,所有状态位为S的Cache同时转发数据副本给数据请求方,而造成的数据拥塞。
在ccNUMA处理器系统中,如果状态位为F的数据副本,被其他CPU拷贝时,F状态位将会被迁移,新建的数据副本的状态位将为F,而老的数据副本的状态位将改变为S。当状态位为F的Cache行被改写后,ccNUMA处理器系统需要首先Invalidate状态位为S其他的Cache行,之后将Cache行的状态更新为M。
独立地研究MESIF协议并没有太大意义,该协议由Boxboro-EX处理器系统[1]引入,目前Intel并没有公开Boxboro-EX处理器系统的详细设计文档。MESIF协议仅是解决该处理器系统中Cache一致性的一个功能,该功能的详细实现与QPI的Protocal Layer相关,QPI由多个层次组成,而Protocal Layer是QPI的最高层。
对MESIF协议QPI互连技术有兴趣的读者,可以在深入理解“基于目录表的Cache一致性协议”的基础上,阅读Robert A. Maddox, Gurbir Singh and Robert J. Safranek合著的书籍“Weaving High Performance Multiprocessor Fabric”以了解该协议的实现过程和与QPI互连技术相关的背景知识。
值得注意的是,MESIF协议解决主要的问题是ccNUMA架构中SMP子系统与SMP子系统之间Cache一致性。而在SMP处理器系统中,依然需要使用传统的MESI协议。Nehelem EX处理器也可以使用MOESI协议进一步优化SMP系统使用的Cache一致性协议,但是并没有使用该协议。
为简化起见,本章假设处理器系统使用MESI协议进行Cache共享一致性,而不是MOESI协议或者MESIF协议。
在处理器系统和总线协议中,HIT#和HITM#信号用于指示缓存中的命中情况和缓存行状态的变化,通常用于处理器和缓存之间的通信。下面分别解释这两个信号的含义:
-
HIT#信号:
- 含义:HIT#信号表示缓存命中,即处理器在其缓存中找到了请求的数据或指令,无需从主存或其他处理器的缓存中获取。这意味着处理器能够立即访问所需的数据或指令,从而避免了额外的访存周期。
- 应用:在处理器进行读取或写入操作时,如果在其缓存中命中了数据,处理器会通过HIT#信号通知总线或其他相关的设备,表示数据命中并已从缓存中读取或写入。
-
HITM#信号:
- 含义:HITM#信号表示缓存中的数据命中且已被修改(Modified)。这种状态下,处理器的缓存中有最新的数据副本,并且该数据已经被修改,不同于主存中的数据副本。HITM#信号通常伴随着写操作,用于指示缓存中数据的修改状态。
- 应用:当处理器执行写操作时,如果处理器的缓存中命中了数据且该数据已经被修改,处理器会通过HITM#信号通知总线或其他设备,表示数据已被修改并写回缓存。这对于处理器和其他设备之间的一致性和同步非常重要,确保缓存中的数据更新和主存中的数据一致性。
这些信号在多处理器系统中尤为重要,因为多个处理器可能会同时访问相同的内存位置或缓存行。通过HIT#和HITM#信号,系统可以准确地管理数据的一致性,避免数据的竞争和冲突,提高系统的性能和效率。
在计算机系统中,Agent(代理器)是指执行某种特定功能或任务的硬件或软件组件。在Cache一致性协议中,Agent通常指的是执行特定功能的硬件设备或模块,主要用于管理和维护缓存的一致性。
具体来说,在Cache一致性协议中,常见的Agents包括:
Request Agent:发起缓存访问请求的设备。这通常是处理器或其他设备,它们通过总线(如FSB,QPI等)向其他设备或内存发送读取或写入请求。
Snoop Agent:监听总线上的请求和响应,判断当前事务是否会影响本地缓存中的数据。在多处理器系统中,每个处理器通常都是一个Snoop Agent,它们通过监听其他处理器的访问来保持缓存一致性。
Response Agent:响应缓存访问请求的设备,通常是存储控制器或其他存储设备。当Snoop Agent检测到本地缓存未命中时,它们会向Response Agent请求数据,或者接收来自其他处理器的数据更新。
这些Agents通过协议规定的信号和交互方式,确保在多处理器系统中各个缓存之间的数据一致性。Cache一致性协议的设计和实现,旨在避免数据不一致和冲突,提升系统的性能和可靠性。