深入理解JMM以及并发三大特性(2)

约定不等于承诺〃 2024-02-17 09:42 39阅读 0赞

[书接上文][Link 1]

#### 文章目录 ####

*   *   *  (1)CPU高速缓存
         *  (2)缓冲一致性
         *  (3)总线仲裁机制
         *  (4)总线窥探(Bus Snooping)

前面介绍到实现可见性，底层常用的一种方案是使用内存屏障，而内存屏障在汇编层面又是使用lock前缀指令来实现的，所以这里来介绍一下lock前缀指令。 在了解这个指令之前我们需要了解相关的硬件底层知识：

#### (1)CPU高速缓存 ####

CPU缓存即高速缓冲存储器，是位于CPU与主内存间的一种容量较小但速度很高的存储 器。由于CPU的速度远高于主内存，CPU直接从内存中存取数据要等待一定时间周期，Cache中 保存着CPU刚用过或循环使用的一部分数据，当CPU再次使用该部分数据时可从Cache中直接调用,减少CPU的等待时间，提高了系统的效率。在CPU访问存储设备时，无论是存取数据抑或存取指令，都趋于聚集在一片连续的区域中，这就是局部性原理（MYSQL中也应用到了）。

> 时间局部性(Temporal Locality):如果一个信息项正在被访问，那么在近期它很可能还会被再次访问。 比如循环、递归、方法的反复调用等。  
> 空间局部性(Spatial Locality):如果一个存储器的位置被引用，那么将来他附近的位置也会被引用。 比如顺序执行的代码、连续创建的两个对象、数组等。

![在这里插入图片描述][deb05d949e8d463081f5421714d7cd06.png]

#### (2)缓冲一致性 ####

计算机体系结构中，缓存一致性是共享资源数据的一致性，这些数据最终存储在多个本地缓存中。当系统中的客户机维护公共内存资源的缓存时，可能会出现数据不一致的问题，这在多处理系统中的cpu中尤其如此。在共享内存多处理器系统中，每个处理器都有一个单独的缓存内存，共享数据可能有多个副本:一个副本在主内存中，一个副本在请求它的每个处理器的本地缓存中。当数据的一个副本发生更改时，其他副本必须反映该更改。缓存一致性是确保共享操作数(数据)值的变化能够及时地 在整个系统中传播的规程。  
**缓冲一致性的要求**  
**写传播(Write Propagation)**：对任何缓存中的数据的更改都必须传播到对等缓存中的其他副本(该缓存行的副本)。  
**事务串行化(Transaction Serialization)**：对单个内存位置的读/写必须被所有处理器以相同的顺序看到。理论上，一致性可以在加载/存储粒度上执行。然而，在实践中，它通常在缓存块的粒度上执行。  
**一致性机制(Coherence mechanisms)**：确保一致性的两种最常见的机制是`窥探机制(snooping )`和`基于目录的机制(directory- based)`，这两种机制各有优缺点。如果有足够的带宽可用，基于协议的窥探往往会更快，因为所有事务都是所有处理器看到的请求/响应。其缺点是窥探是不可扩展的。每个请求都必须广播系统中的所有节点，这意味着随着系统变大，(逻辑或物理)总线的大小及其提供的带宽也必须增加。另一方面，目录往往有更长的延迟(3跳 请求/转发/响应)，但使用更少的带宽，因为消息是点对点的，而不是广播的。由于这个原因，许多较大的系统(>64处理器)使用这种类型的缓存 一致性。

#### (3)总线仲裁机制 ####

在计算机中，数据通过总线在处理器和内存之间传递。每次处理器和内存之间的数据传递都是通过一系列步骤来完成的，这一系列步骤称之为总线事务(Bus Transaction)。总线事务包括读事务(Read Transaction)和写事务(WriteTransaction)。读事务从内存传送数据到处理器，写事务从处理器传送数据到内存，每个事务会读/写内存中一个或多个物理上连续的字。 这里的关键是，总线会同步试图并发使用总线的事务。在一个处理器执行总线事务期间，总线会禁止其他的处理器和I/O设备执行内存的读/写。  
![在这里插入图片描述][8b533ee6c9224ba6819897b69237fad9.png]  
假设处理器A，B和C同时向总线发起总线事务，这时总线仲裁(Bus Arbitration)会对竞争做出裁决，这里假设总线在仲裁后判定处理器A在竞争中获胜(总线仲裁会确保所有处理器都 能公平的访问内存)。此时处理器A继续它的总线事务，而其他两个处理器则要等待处理器A的总线事务完成后才能再次执行内存访问。假设在处理器A执行总线事务期间(不管这个总线事务 是读事务还是写事务)，处理器D向总线发起了总线事务，此时处理器D的请求会被总线禁止。总线的这种工作机制可以把所有处理器对内存的访问以串行化的方式来执行。在任意时间点，最多只能有一个处理器可以访问内存。这个特性确保了单个总线事务之中的内存读/写操作具有原子性。原子操作是指不可被中断的一个或者一组操作。处理器会自动保证基本的内存操作的原子性，也就是一个处理器从内存中读取或者写入一个字节时，其他处理器是不能访问这个字节的内存地址。最新的处理器能自动保证单处理器对同一个缓存行里进行16/32/64位的操作是原子的，但是复杂的内存操作处理器是不能自动保证其原子性的，比如跨总线宽度、跨多个缓存行和跨页表的访问。处理器提供总线锁定和缓存锁定两个机制来保证复杂内存操作的原子性。  
**总线锁定**  
总线锁定就是使用处理器提供的一个 LOCK\#信号，当其中一个处理器在总线上输出此信号时，其它处理器的请求将被阻塞住，那么该处理器可以独占共享内存。  
**缓存锁定**  
由于总线锁定阻止了被阻塞处理器和所有内存之间的通信，而输出LOCK\#信号的CPU可能只需要锁住特定的一块内存区域，因此总线锁定开销较大。缓存锁定是指内存区域如果被缓存在处理器的缓存行中，并且在Lock操作期间被锁定，那 么当它执行锁操作回写到内存时，处理器不会在总线上声言LOCK\#信号(总线锁定信号)，而是修改内部的内存地址，并允许它的缓存一致性机制来保证操作的原子性，因为缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据，当其他处理器回写已被锁定的缓存行的数据时，会使缓存行无效。  
缓存锁定不能使用的特殊情况:

> 当操作的数据不能被缓存在处理器内部，或操作的数据跨多个缓存行时，则处理器会调用总线锁定。  
> 有些处理器不支持缓存锁定。

#### (4)总线窥探(Bus Snooping) ####

总线窥探(Bus snooping)是缓存中的一致性控制器(snoopy cache)监视或窥探总线事务的一种方案，其目标是在分布式共享内存系统中维护缓存一致性。包含一致性控制器(snooper)的缓存称为snoopy缓存。该方案由Ravishankar和Goodman于1983年提出。  
**工作原理**  
当特定数据被多个缓存共享时，处理器修改了共享数据的值，更改必须传播到所有其他具有该数据副本的缓存中。这种更改传播可以防止系统违反缓存一致性。数据变更的通知可以通过总线窥探来完成。所有的窥探者都在监视总线上的每一个事务。如果一个修改共享缓存块的事务出现在总线上，所有的窥探者都会检查他们的缓存是否有共享块的相同副本。如果缓存中有共享块的副本，则相应的窥探者执行一个动作以确保缓存一致性。这个动作可以是刷新缓存块或使缓存块失效。它还涉及到缓存块状态的改变，这取决于缓存一致性协议(cache coherence protocol)。  
**窥探协议类型**  
Write-invalidate

> 当处理器写入一个共享缓存块时，其他缓存中的所有共享副本都会通过总线窥探失效。这种方法确保处理器只能读写一个数据的一个副本。其他缓存中的所有其他副本都无效。这是最常用的窥探协议。MSI、MESI、MOSI、MOESI和MESIF协议属于该类型。

Write-update

> 当处理器写入一个共享缓存块时，其他缓存的所有共享副本都会通过总线窥探更新。这个方法将写数据广播到总线上的所有缓存中。它比write-invalidate协议引起更大的总线流量。这就是为什么这种方法不常见。Dragon和firefly协议属于此类别。

[Link 1]: https://blog.csdn.net/qq_43456605/article/details/134567991
[deb05d949e8d463081f5421714d7cd06.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/06/acf878e29b684109b687d520598d1a71.png
[8b533ee6c9224ba6819897b69237fad9.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/06/b567af92902c431aaa84a267809b1495.png