protocol: made MI_example work with unordered networks
This commit is contained in:
parent
e6e3ccf5c0
commit
26acdd4f34
|
@ -17,6 +17,7 @@ machine(L1Cache, "MI Example L1 Cache")
|
||||||
II, desc="Not Present/Invalid, issued PUT";
|
II, desc="Not Present/Invalid, issued PUT";
|
||||||
M, desc="Modified";
|
M, desc="Modified";
|
||||||
MI, desc="Modified, issued PUT";
|
MI, desc="Modified, issued PUT";
|
||||||
|
MII, desc="Modified, issued PUTX, received nack";
|
||||||
|
|
||||||
IS, desc="Issued request for LOAD/IFETCH";
|
IS, desc="Issued request for LOAD/IFETCH";
|
||||||
IM, desc="Issued request for STORE/ATOMIC";
|
IM, desc="Issued request for STORE/ATOMIC";
|
||||||
|
@ -388,6 +389,16 @@ machine(L1Cache, "MI Example L1 Cache")
|
||||||
o_popForwardedRequestQueue;
|
o_popForwardedRequestQueue;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
transition(MI, Writeback_Nack, MII) {
|
||||||
|
o_popForwardedRequestQueue;
|
||||||
|
}
|
||||||
|
|
||||||
|
transition(MII, Fwd_GETX, I) {
|
||||||
|
ee_sendDataFromTBE;
|
||||||
|
w_deallocateTBE;
|
||||||
|
o_popForwardedRequestQueue;
|
||||||
|
}
|
||||||
|
|
||||||
transition(II, Writeback_Nack, I) {
|
transition(II, Writeback_Nack, I) {
|
||||||
w_deallocateTBE;
|
w_deallocateTBE;
|
||||||
o_popForwardedRequestQueue;
|
o_popForwardedRequestQueue;
|
||||||
|
|
Loading…
Reference in a new issue