如何从 MESI 角度理解数据依赖屏障

bboytaiwan

回复 2# 塑料袋

不知道能不能請您解釋一下下面這段：
2)若这个queue中的各个请求可以一定程度重排序，这个一定程度指的是invalidate request和read reply都挂在一个queue中，可以重排序各invalidate request，但应将read reply视做边界。即:

後面所接的1 & 2是什麼意思?
reply1,invalidate1,invalidate2,reply2可以重拍序为
為何可以?
reply1,invalidate2,invalidate1,reply2，但绝不能重排序为
為何不行?
invalidate1,reply1,invalidate2,reply2。
这样的话，CPU1~N即使将invalidate p的request重排序在了invalidate b的request前边，但read p的reply也在invalidate b的request后边， 必然是先真正执行了invalidate b的request，然后才能读到p。这时CPU1~N不需要rmb，这个不仅仅是模型，而是很多实际情况如此。



   

tianlijian

过来学习的

blake326

塑料袋 发表于 2013-01-25 12:09
我很是怀疑学这些东西有没有用，好久不看这些了，不过既然说起这些，就勉为作答：

“在 CPU 0 上， wmb  ...

mobai:
请教两个问题：

这个wmb的含义是：CPU1～N都是先收到invalidate b的请求，再收到invalidate p的请求，创造了若能感知到p，则必能感知到b的先决条件。
CPU收到invalidate的请求后，并不是马上作废相应的cache line，而是将这个invalidate请求挂入一个queue，然后就回应invalidate的应答。
》》》》》》》》》》》》》》》》
是不是这个意思，是每条写内存指令，都会触发一个invalidate请求发送给其他cpu。如果cpu0先执行A，然后执行B，那么其他cpu就会先收到invalidate A，然后收到invalidate B的请求？
那么wmb其实这里防止cpu乱序执行，所以cpu0先执行A，然后执行B，从而其他cpu就会先收到invalidate A，然后收到invalidate B的请求。

若这个queue中的各个请求可以一定程度重排序，这个一定程度指的是invalidate request和read reply都挂在一个queue中，可以重排序各invalidate request，但应将read reply视做边界。即:
reply1,invalidate1,invalidate2,reply2可以重拍序为
》》》》》》》》》》》》》》》》
其他cpu对收到的请求可以进行排序，如果现在收到了inv A, inv B两个顺序请求，可能会排序成inv B， inv A。那么可能其他cpu获取到了B，但是A此时还是旧的值。那么rmb，read dependence这里实际上的作用是防止乱序，并且在本地cpu插入一个上面所说的read reply。从而，防止cpu对请求进行过渡排序，这样即使在read reply之前，乱序成inv B，invA。但是在reply之后，A肯定已经是罪新的了。

blake326

wo ding ding

blake326

cheng xia qu le