首页 > 其他 > 详细

一个最近讨论的问题: ReadShared 操作能否使得Request Node由I state变为UD state?

时间:2020-05-20 16:17:09      阅读:53      评论:0      收藏:0      [点我收藏+]

问题的由来:

在第4.7.1章节中,有这样的一种状态转换:
ReadShared操作,Initial state = I, Final state = UD, Comp response = CompData_UD_PD, 是什么情景能出现这样的状态转换呢?
经讨论,可以考虑以下时空图的操作:
当RN-F2从UD变为I后,则可把UD状态传送给RN-F.

 

 技术分享图片

 

 技术分享图片

 

 

这种场景解决了这个问题,但是仍然有一个需要澄清的问题,为什么Home agent 不发一个SnpSharedFwd来完成一笔DCT操作呢?
可以看到协议在叙述snpfwd操作时的一段描述:
Must not forward data in Unique state in response to a Non-invalidating type snoop
意思是不允许RN-F0变成Unique state,
可以知道,在这种那个情况是不允许发SnpSharedFwd的,那么为什么呢?
其实有RN-F1 属于unique state的DCT操作,如图,但是看起来不允许RN-F0有同样的状态。

此问题仍有待解决,也许有什么corner case.

技术分享图片

 

 



 

一个最近讨论的问题: ReadShared 操作能否使得Request Node由I state变为UD state?

原文:https://www.cnblogs.com/IC-Chenxinmin/p/12924017.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!