Date: | Fri, 29 May 2009 20:04:25 -0400 |
---|---|
From: | Edward Lee <edwl202@xxxxxxxxx> |
Subject: | [Gems-users] MOESI_CMP_* protocols |
I have couple of potentially trivial questions. I have been working on MOESI_SMP_directory protocol and I want to start doing some tests on MOESI_CMP protocols as well. Here are my questions: 1- What is the difference between MOESI_CMP_directory and MOESI_CMP_directory_m? 2- As I looked at the html files, the title seems to be Token Protocol for MOESI_CMP_directory. So, is this just a typo or if not then, what is the difference between MOESI_CMP_token? 3- And as I checked the MOESI_CMP_* protocol files, and generated html tables I failed to see the "E" state. The CMP protocols seem to be more complex and I couldn't really follow them from the html table so I might be missing something trivial here but I would like to know the reason of not having the exclusive state explicity in these protocols if possible. Regards, Ed |
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | [Gems-users] Formal Verification of Cache Coherence Protocols, Abdullah Kayi |
---|---|
Next by Date: | Re: [Gems-users] Formal Verification of Cache Coherence Protocols, Polina Dudnik |
Previous by Thread: | Re: [Gems-users] load module ruby error, shanshuchang |
Next by Thread: | Re: [Gems-users] MOESI_CMP_* protocols, Dan Gibson |
Indexes: | [Date] [Thread] |