Re: [Gems-users] MOESI_CMP_directory protocol error

[Mike Marty <mikem@xxxxxxxxxxx>]

Yes, you and others have noticed some bugs in this protocol dealing with
writeback races that do not have transitions to Nack these.  I will
eventually put out a revised version of this protocols.

For these invalid transitions dealing with L1_PUTS, L1_PUTO, and L1_PUTX
events, it should be safe to add simple transitions to nack them.  For
example, adding the following transition to MOESI_CMP_directory-L2cache.sm
should solve your particular invalid transition:

  transition(S, L1_PUTS) {
    ll_writebackNack;
    o_popL1RequestQueue;
  }

--Mike


> Hi,
>
> I am running simulations with MOESI_CMP_directory protocol. when it is running
> it gives the fatal error below. I will very appreciate If any one can help me
> with it.
>
> Thanks in advance.
>
> Ayse Yilmazer
>
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2060: m_id is 2
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2060: m_id is 2
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2061: m_version is 0
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2061: m_version is 0
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2062:
> g_eventQueue_ptr->getTime() is 35384328
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2062:
> g_eventQueue_ptr->getTime() is 35384328
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2063: addr is [0x10a12080,
> line 0x10a12080]
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2063: addr is [0x10a12080,
> line 0x10a12080]
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2064: event is L1_PUTS
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2064: event is L1_PUTS
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2065: state is S
> Warning: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2065: state is S
> Fatal Error: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2066: Invalid transition
> Fatal Error: in fn TransitionResult
> L2Cache_Controller::doTransitionWorker(L2Cache_Event, L2Cache_State,
> L2Cache_State&, const Address&) in
> generated/MOESI_CMP_directory/L2Cache_Transitions.C:2066: Invalid transition
> ***  Simics getting shaky, switching to 'safe' mode.
> ***  Simics (main thread) received an abort signal, probably an assertion.
> <Simics is running in 'safe' mode>
>
> _______________________________________________
> Gems-users mailing list
> Gems-users@xxxxxxxxxxx
> https://lists.cs.wisc.edu/mailman/listinfo/gems-users
>