[Gems-users] Invalid transition problem

["Liqun Cheng" <liqun.cheng@xxxxxxxxx>]

Hi,
I try to add self-invalidation into MOESI_SMP_Directory protocol, and run into a pretty weird problem. It happens only when driven by simics, tester.exec doesn't catch this. Here are the error messages. If I understand them correctly, SLICC complains that the following transition (Event: SELF_INV, state: L1Cache_State_NP) is not defined. However, I do define this transition in the .sm file, and I also find the correspondent hash entry "case HASH_FUN(L1Cache_State_NP, L1Cache_Event_SELF_INV)" in L1Cache_Transition.C
Any idea what might go wrong? thanks
Liqun

Warning: in fn TransitionResult L1Cache_Controller::doTransitionWorker(L1Cache_Event, L1Cache_State, L1Cache_State&, const Address&) in generated/MOESI_SMP_RAC/L1Cache_Transitions.C:700: m_id is 13
Warning: in fn TransitionResult L1Cache_Controller::doTransitionWorker(L1Cache_Event, L1Cache_State, L1Cache_State&, const Address&) in generated/MOESI_SMP_RAC/L1Cache_Transitions.C:701: m_version is 0
Warning: in fn TransitionResult L1Cache_Controller::doTransitionWorker(L1Cache_Event, L1Cache_State, L1Cache_State&, const Address&) in generated/MOESI_SMP_RAC/L1Cache_Transitions.C:702: g_eventQueue_ptr->getTime() is 1760506
Warning: in fn TransitionResult L1Cache_Controller::doTransitionWorker(L1Cache_Event, L1Cache_State, L1Cache_State&, const Address&) in generated/MOESI_SMP_RAC/L1Cache_Transitions.C:703: addr is [0x30a840, line 0x30a840]
Warning: in fn TransitionResult L1Cache_Controller::doTransitionWorker(L1Cache_Event, L1Cache_State, L1Cache_State&, const Address&) in generated/MOESI_SMP_RAC/L1Cache_Transitions.C:704: event is SELF_INV
Warning: in fn TransitionResult L1Cache_Controller::doTransitionWorker(L1Cache_Event, L1Cache_State, L1Cache_State&, const Address&) in generated/MOESI_SMP_RAC/L1Cache_Transitions.C:705: state is O
Fatal Error: in fn TransitionResult L1Cache_Controller::doTransitionWorker(L1Cache_Event, L1Cache_State, L1Cache_State&, const Address&) in generated/MOESI_SMP_RAC/L1Cache_Transitions.C:706: Invalid transition