I see... Thanks Luke! Cheers, /fuad <div class="gmail_quote">On Thu, Oct 23, 2008 at 4:42 AM, Luke Yen <<a href="mailto:lyen@cs.wisc.edu">lyen@cs.wisc.edu</a>> wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">   Yes, it looks like it is safe to remove the ff_deallocateL1CacheBlock actions.  At some point in the state transition setState() gets called and it calls changePermission() in CacheMemory.h to change the state to Invalid.    Luke <div><div></div><div class="Wj3C7c"> On Wed, 22 Oct 2008, Fuad Tabba wrote: > Hi, > > Looking at the SLICC coherence protocol file > MESI_CMP_filter_directory-L1cache.sm (the one used for LogTM-SE and ATMTP) , > I notice that   transition(IS_S, Nack_all, I) transition(IS_E, Nack_all, I) > transition(IM_M, Nack_all, I): all of these perform a > ff_deallocateL1CacheBlock . What's the reasoning behind deallocating the > cache block there? Does it matter if the cacheblock doesn't get deallocated, > I mean its state will still be I after all, and it's not really not present, > it's just invalid... > > Thanks. > > Cheers, > /fuad > </div></div>_______________________________________________ Gems-users mailing list <a href="mailto:Gems-users@cs.wisc.edu">Gems-users@cs.wisc.edu</a> <a href="https://lists.cs.wisc.edu/mailman/listinfo/gems-users" target="_blank">https://lists.cs.wisc.edu/mailman/listinfo/gems-users</a> Use Google to search the GEMS Users mailing list by adding "site:<a href="https://lists.cs.wisc.edu/archive/gems-users/" target="_blank">https://lists.cs.wisc.edu/archive/gems-users/</a>" to your search. </blockquote></div>