CACHE存储一致性模型

文章讨论了存储一致性模型在多处理器系统中的重要性,介绍了顺序一致性、处理器一致性、弱一致性及释放一致性模型,它们在保证程序正确执行的同时,对访存事件次序有不同的限制,以平衡程序员的编程便利性和系统的性能优化。
摘要由CSDN通过智能技术生成

存储一致性模型最初是针对共享存储的多处理器设计提出来的,同样也可以适用于多核处理器设计。存储一致性模型时,处理器(处理机)和处理器核在概念是可以互用的。

下面举一个存储一致性问题的例子。如表11.2所示,寄存器R1为进程P2的内部寄存器,R2和R3为P3的内部寄存器,初始值均为0;变量a,b为P1、P2和P3的共享变量,初始值均为0。

表1: 共享存储程序片段

P1

P2

P3

L11: STORE a, 1;

L21: LOAD R1, a;
L22: STORE b, 1;

L31: LOAD R2, b;
L32: LOAD R3, a;

在表1 所示的程序中,如果仅要求P1、P2及P3根据指令在程序中出现的次序来执行指令,那么这个程序的访存事件可能按如下次序发生:

  1. P1发出存数操作L11;
  2. L11到达P2,但由于网络堵塞等原因,L11未到达P3;
  3. P2发出取数操作L21 取回a的新值;
  4. P2发出存数操作L22,且其所存的b新值到达P3;
  5. P3发出取数操作L
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值