Re: [Gems-users] Invalid transition problem

[Mike Marty <mikem@xxxxxxxxxxx>]

The error message below says the state is "O", not "NP"

--Mike


> 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
>