In chapter 4.9.2 At the ICN(HN-F) node CHI specification talks about what ICN should do when there is hazard condition. It says:
One example of these rules is chapter 5.6.1 CopyBack-Snoop hazard at RN-F, Figure 5-22 CopyBack-Snoop hazard at RN-F example:
At time A, because HN just sent SnpShared, Req2: WriteBack cannot proceed and is blocked. Req2 is unblocked at time B. This rule is detailed in chapter 4.9.2.
Can anyone explain why it is unblocked after HN receives CompAck from RN-F1, rather than HN receives SnpRespData_SC_PD from RN-F0?