[Gems-users] question on assertions in setState() of MOESI_SMP_directory

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

Hi,

I am confused about the three assertations in getState() of
MOESI_SMP_directory-cache.sm. Does MOESI_SMP_directory use exclusive
cache hierarhcy? If so, how about the self-modified codes. These will
show up in both L1D and L1I, right?
/*** assert((L1DcacheMemory.isTagPresent(addr) && L1IcacheMemory.isTagPresent(addr)) == false);
      assert((L1IcacheMemory.isTagPresent(addr) && L2cacheMemory.isTagPresent(addr)) == false);
     
assert((L1DcacheMemory.isTagPresent(addr) &&
L2cacheMemory.isTagPresent(addr)) == false);   ***/

Another question is that I plan to add a RAC, used as a victim cache
for remote date. What's the easiest way to do this? Do I have to walk
through the whole .sm file to check every transition? 

thanks!
Legion