[Gems-users] question on ack counting

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

Hi Mike,

If I add a RAC to MOESI_SMP_directory, and make the rac share the same
controller with L1/L2, do I need to make sure the RAC is also exclsive
to the L1/L2? 
Here is my concern. If I have a share copy in L2, and a share copy in
RAC. When other processor asks for the exclusive copy, the follwing
transition (S->I) will be triggered twice,. Since both RAC and L2
will send an invalidation acknoledge, this will definitely confuse the
processor which does the ack counting. How to make sure only one ack be
sent each processor?  
transition(S, Inv, I) {
    f_sendAck;
    l_popForwardQueue;
 }

BTW, is there any protocol using distributed shared memory, ccNUMA like?

thanks again!
Liqun