Mike,
thanks. I took O as zero. hehe.
Liqun
On 4/30/07, Mike Marty <mikem@xxxxxxxxxxx> wrote:
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 > _______________________________________________ Gems-users mailing list
Gems-users@xxxxxxxxxxx https://lists.cs.wisc.edu/mailman/listinfo/gems-users Use Google to search the GEMS Users mailing list by adding "site:
https://lists.cs.wisc.edu/archive/gems-users/" to your search.
|