利用原子交换操作.pptVIP

8.2对称式共享存储器系统结构存储器的一致性（非正式定义）如果对某个数据项的任何读操作均可得到其最新写入的值，则认为这个存储系统是一致的。存储系统行为的两个不同方面What:读操作得到的是什么值When:什么时候才能将已写入的值返回给读操作需要满足以下条件处理器P对单元X进行一次写之后又对单元X进行读，读和写之间没有其他处理器对单元X进行写，则P读到的值总是前面写进去的值。8.2对称式共享存储器系统结构处理器P对单元X进行写之后，另一处理器Q对单元X进行读，读和写之间无其他写，则Q读到的值应为P写进去的值。对同一单元的写是顺序化的，即任意两个处理器对同一单元的两次写，从各个处理器的角度看来顺序都是相同的。(写顺序化)在后面的讨论中，我们假设：直到所有的处理器均看到了写的结果，这个写操作才算完成；处理器的任何访存均不能改变写的顺序。就是说，允许处理器对读进行重排序，但必须以程序规定的顺序进行写。8.2对称式共享存储器系统结构在一致的多处理机中，Cache提供两种功能：共享数据的迁移降低了对远程共享数据的访问延迟，也减少了对共享存储器带宽的要求。共享数据的复制不仅降低了访存的延迟，也减少了访问共享数据所产生的冲突。一般情况下，小规模多处理机采用硬件的方法来实现Cache的一致性。8.2.2实现一致性的基本方案8.2对称式共享存储器系统结构Cache一致性协议在多个处理器中用来维护一致性的协议。关键：跟踪记录共享数据块的状态两类协议（采用不同的共享数据状态跟踪技术）目录法（directory）物理存储器中共享数据块的状态及相关信息均被保存在一个称为目录的地方。监听法（snooping）每个Cache除了包含物理存储器中块的数据副本之外，也保存着各个块的共享状态信息。8.2对称式共享存储器系统结构Cache通常连在共享存储器的总线上，各个Cache控制器通过监听总线来判断它们是否有总线上请求的数据块。两种更新协议（维持一致性要求）写作废协议在处理器对某个数据项进行写入之前，保证它拥有对该数据项的唯一的访问权。(作废其他副本)8.2对称式共享存储器系统结构处理器行为总线行为CPUACache内容CPUBCache内容主存单元X的内容0CPUA读XCache失效00CPUB读XCache失效000CPUA将1写入单元X作废X单元10CPUB读XCache失效111例在写回Cache、监听总线的情况下，写作废协议的实现8.2对称式共享存储器系统结构写更新协议当一个处理器对某数据项进行写入时，通过广播使其他Cache中所有对应于该数据项的副本进行更新。例在写回Cache、监听总线的情况下，写更新协议的实现。处理器行为总线行为CPUACache内容CPUBCache内容主存单元X的内容0CPUA读XCache失效00CPUB读XCache失效000CPUA将1写入单元X对单元X进行写广播111CPUB读X1118.2对称式共享存储器系统结构写更新和写作废协议性能上的差别主要来自：在对同一个数据进行多次写操作而中间无读操作的情况下，写更新协议需进行多次写广播操作，而写作废协议只需一次作废操作。在对同一Cache块的多个字进行写操作的情况下，写更新协议对于每一个写操作都要进行一次广播，而写作废协议仅在对该块的第一次写时进行作废操作即可。 写作废是针对Cache块进行操作，而写更新则是针对字（或字节）进行。考虑从一个处理器A进行写操作后到另一个处理器B能读到该写入数据之间的延迟时间。写更新协议的延迟时间较小。分别确定下列各计算机中，计算点积S=∑(i=1-8)ai*bi所需的时间(尽可能给出时空图示意)：(1)通用PE的串行SISD系统;(2)具有一个加法器和乘法器的多功能并行流水SISD系统;(3)有8个处理器的SIMD系统;(4)有8个处理器的MIMD系统。设访存取指和取数的时间可以忽略不计；加与乘分别需要2拍和4拍；在SIMD和MIMD系统中处理器(机)之间每进行一次数据传送的时间为1拍，而在SISD的串行或流水系统中都可忽略；在SIM