MESI_CMP_directory: bug fix for old PUTX requests

This commit is contained in:
Brad Beckmann 2010-08-20 11:41:35 -07:00
parent 7816d0d12b
commit d7d73680c4

View file

@ -746,7 +746,7 @@ machine(L2Cache, "MESI Directory L2 Cache CMP")
jj_popL1RequestQueue; jj_popL1RequestQueue;
} }
transition({NP, SS, M, MT, M_I, MT_I, MCT_I, I_I, S_I, IS, ISS, IM, SS_MB, MT_MB, M_MB, MT_IIB, MT_IB, MT_SB}, L1_PUTX_old) { transition({NP, SS, M, MT, M_I, MT_I, MCT_I, I_I, S_I, IS, ISS, IM, SS_MB, M_MB, MT_IIB, MT_IB, MT_SB}, L1_PUTX_old) {
jj_popL1RequestQueue; jj_popL1RequestQueue;
} }
@ -1037,7 +1037,7 @@ machine(L2Cache, "MESI Directory L2 Cache CMP")
//} //}
// possible race between unblock and immediate replacement // possible race between unblock and immediate replacement
transition(MT_MB, L1_PUTX) { transition(MT_MB, {L1_PUTX, L1_PUTX_old}) {
zz_recycleL1RequestQueue; zz_recycleL1RequestQueue;
} }