ruby: Protocol changes for SimObject MessageBuffers

22 files changed, 121 insertions, 114 deletions

diff --git a/src/mem/protocol/MESI_Three_Level-L0cache.sm b/src/mem/protocol/MESI_Three_Level-L0cache.sm
index 5bbc83bd0..e2a1142ce 100644
--- a/src/mem/protocol/MESI_Three_Level-L0cache.sm
+++ b/src/mem/protocol/MESI_Three_Level-L0cache.sm
@@ -35,13 +35,13 @@ machine(L0Cache, "MESI Directory L0 Cache")
    bool send_evictions;
 
    // From this node's L0 cache to the network
-   MessageBuffer * bufferToL1, network="To", ordered="true";
+   MessageBuffer * bufferToL1, network="To";
 
    // To this node's L0 cache FROM the network
-   MessageBuffer * bufferFromL1, network="From", ordered="true";
+   MessageBuffer * bufferFromL1, network="From";
 {
   // Message queue between this controller and the processor
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
 
   // STATES
   state_declaration(State, desc="Cache states", default="L0Cache_State_I") {
diff --git a/src/mem/protocol/MESI_Three_Level-L1cache.sm b/src/mem/protocol/MESI_Three_Level-L1cache.sm
index 737430765..6b169508a 100644
--- a/src/mem/protocol/MESI_Three_Level-L1cache.sm
+++ b/src/mem/protocol/MESI_Three_Level-L1cache.sm
@@ -35,25 +35,25 @@ machine(L1Cache, "MESI Directory L1 Cache CMP")
 
    // Message Buffers between the L1 and the L0 Cache
    // From the L1 cache to the L0 cache
-   MessageBuffer * bufferToL0, network="To", ordered="true";
+   MessageBuffer * bufferToL0, network="To";
 
    // From the L0 cache to the L1 cache
-   MessageBuffer * bufferFromL0, network="From", ordered="true";
+   MessageBuffer * bufferFromL0, network="From";
 
    // Message queue from this L1 cache TO the network / L2
    MessageBuffer * requestToL2, network="To", virtual_network="0",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
 
    MessageBuffer * responseToL2, network="To", virtual_network="1",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
    MessageBuffer * unblockToL2, network="To", virtual_network="2",
-        ordered="false", vnet_type="unblock";
+        vnet_type="unblock";
 
    // To this L1 cache FROM the network / L2
    MessageBuffer * requestFromL2, network="From", virtual_network="2",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
    MessageBuffer * responseFromL2, network="From", virtual_network="1",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
 
 {
   // STATES
diff --git a/src/mem/protocol/MESI_Two_Level-L1cache.sm b/src/mem/protocol/MESI_Two_Level-L1cache.sm
index 4f9928bf1..dcf2251d6 100644
--- a/src/mem/protocol/MESI_Two_Level-L1cache.sm
+++ b/src/mem/protocol/MESI_Two_Level-L1cache.sm
@@ -43,27 +43,27 @@ machine(L1Cache, "MESI Directory L1 Cache CMP")
 
    // a local L1 -> this L2 bank, currently ordered with directory forwarded requests
    MessageBuffer * requestFromL1Cache, network="To", virtual_network="0",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
 
    // a local L1 -> this L2 bank
    MessageBuffer * responseFromL1Cache, network="To", virtual_network="1",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
 
    MessageBuffer * unblockFromL1Cache, network="To", virtual_network="2",
-        ordered="false", vnet_type="unblock";
+        vnet_type="unblock";
 
 
    // To this node's L1 cache FROM the network
    // a L2 bank -> this L1
    MessageBuffer * requestToL1Cache, network="From", virtual_network="2",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
 
    // a L2 bank -> this L1
    MessageBuffer * responseToL1Cache, network="From", virtual_network="1",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
 {
   // Request Buffer for prefetches
-  MessageBuffer optionalQueue, ordered="false";
+  MessageBuffer optionalQueue;
 
   // STATES
   state_declaration(State, desc="Cache states", default="L1Cache_State_I") {
@@ -151,7 +151,7 @@ machine(L1Cache, "MESI Directory L1 Cache CMP")
 
   TBETable TBEs, template="<L1Cache_TBE>", constructor="m_number_of_TBEs";
 
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
 
   int l2_select_low_bit, default="RubySystem::getBlockSizeBits()";
 
diff --git a/src/mem/protocol/MESI_Two_Level-L2cache.sm b/src/mem/protocol/MESI_Two_Level-L2cache.sm
index 6afd0fcea..1d1dbaa09 100644
--- a/src/mem/protocol/MESI_Two_Level-L2cache.sm
+++ b/src/mem/protocol/MESI_Two_Level-L2cache.sm
@@ -35,23 +35,23 @@ machine(L2Cache, "MESI Directory L2 Cache CMP")
   // Message Queues
   // From local bank of L2 cache TO the network
   MessageBuffer * DirRequestFromL2Cache, network="To", virtual_network="0",
-    ordered="false", vnet_type="request";  // this L2 bank -> Memory
+    vnet_type="request";  // this L2 bank -> Memory
 
   MessageBuffer * L1RequestFromL2Cache, network="To", virtual_network="2",
-    ordered="false", vnet_type="request";  // this L2 bank -> a local L1
+    vnet_type="request";  // this L2 bank -> a local L1
 
   MessageBuffer * responseFromL2Cache, network="To", virtual_network="1",
-    ordered="false", vnet_type="response";  // this L2 bank -> a local L1 || Memory
+    vnet_type="response";  // this L2 bank -> a local L1 || Memory
 
   // FROM the network to this local bank of L2 cache
   MessageBuffer * unblockToL2Cache, network="From", virtual_network="2",
-    ordered="false", vnet_type="unblock";  // a local L1 || Memory -> this L2 bank
+    vnet_type="unblock";  // a local L1 || Memory -> this L2 bank
 
   MessageBuffer * L1RequestToL2Cache, network="From", virtual_network="0",
-    ordered="false", vnet_type="request";  // a local L1 -> this L2 bank
+    vnet_type="request";  // a local L1 -> this L2 bank
 
   MessageBuffer * responseToL2Cache, network="From", virtual_network="1",
-    ordered="false", vnet_type="response";  // a local L1 || Memory -> this L2 bank
+    vnet_type="response";  // a local L1 || Memory -> this L2 bank
 {
   // STATES
   state_declaration(State, desc="L2 Cache states", default="L2Cache_State_NP") {
diff --git a/src/mem/protocol/MESI_Two_Level-dir.sm b/src/mem/protocol/MESI_Two_Level-dir.sm
index fa9d1f3d3..142c073c3 100644
--- a/src/mem/protocol/MESI_Two_Level-dir.sm
+++ b/src/mem/protocol/MESI_Two_Level-dir.sm
@@ -32,11 +32,11 @@ machine(Directory, "MESI Two Level directory protocol")
    Cycles directory_latency := 6;
 
    MessageBuffer * requestToDir, network="From", virtual_network="0",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
    MessageBuffer * responseToDir, network="From", virtual_network="1",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
    MessageBuffer * responseFromDir, network="To", virtual_network="1",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
 {
   // STATES
   state_declaration(State, desc="Directory states", default="Directory_State_I") {
@@ -182,6 +182,7 @@ machine(Directory, "MESI Two Level directory protocol")
       (type == CoherenceRequestType:GETX);
   }
 
+  MessageBuffer responseFromMemory;
 
   // ** OUT_PORTS **
   out_port(responseNetwork_out, ResponseMsg, responseFromDir);
diff --git a/src/mem/protocol/MESI_Two_Level-dma.sm b/src/mem/protocol/MESI_Two_Level-dma.sm
index 3d9f2336f..a1967c2d9 100644
--- a/src/mem/protocol/MESI_Two_Level-dma.sm
+++ b/src/mem/protocol/MESI_Two_Level-dma.sm
@@ -32,9 +32,9 @@ machine(DMA, "DMA Controller")
   Cycles request_latency := 6;
 
   MessageBuffer * responseFromDir, network="From", virtual_network="1",
-        ordered="true", vnet_type="response";
+        vnet_type="response";
   MessageBuffer * requestToDir, network="To", virtual_network="0",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
 {
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
     READY, AccessPermission:Invalid, desc="Ready to accept a new request";
@@ -49,7 +49,7 @@ machine(DMA, "DMA Controller")
     Ack,          desc="DMA write to memory completed";
   }
 
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
   State cur_state;
 
   State getState(Address addr) {
diff --git a/src/mem/protocol/MI_example-cache.sm b/src/mem/protocol/MI_example-cache.sm
index b0217ffea..d1e6e500f 100644
--- a/src/mem/protocol/MI_example-cache.sm
+++ b/src/mem/protocol/MI_example-cache.sm
@@ -36,14 +36,14 @@ machine(L1Cache, "MI Example L1 Cache")
 
       // NETWORK BUFFERS
       MessageBuffer * requestFromCache, network="To", virtual_network="2",
-            ordered="true", vnet_type="request";
+            vnet_type="request";
       MessageBuffer * responseFromCache, network="To", virtual_network="4",
-            ordered="true", vnet_type="response";
+            vnet_type="response";
 
       MessageBuffer * forwardToCache, network="From", virtual_network="3",
-            ordered="true", vnet_type="forward";
+            vnet_type="forward";
       MessageBuffer * responseToCache, network="From", virtual_network="4",
-            ordered="true", vnet_type="response";
+            vnet_type="response";
 {
   // STATES
   state_declaration(State, desc="Cache states") {
@@ -77,7 +77,7 @@ machine(L1Cache, "MI Example L1 Cache")
 
   // STRUCTURE DEFINITIONS
 
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
 
   // CacheEntry
   structure(Entry, desc="...", interface="AbstractCacheEntry") {
diff --git a/src/mem/protocol/MI_example-dir.sm b/src/mem/protocol/MI_example-dir.sm
index def7053ea..ef7263284 100644
--- a/src/mem/protocol/MI_example-dir.sm
+++ b/src/mem/protocol/MI_example-dir.sm
@@ -33,16 +33,16 @@ machine(Directory, "Directory protocol")
       Cycles to_memory_controller_latency := 1;
 
       MessageBuffer * forwardFromDir, network="To", virtual_network="3",
-            ordered="false", vnet_type="forward";
+            vnet_type="forward";
       MessageBuffer * responseFromDir, network="To", virtual_network="4",
-            ordered="false", vnet_type="response";
+            vnet_type="response";
       MessageBuffer * dmaResponseFromDir, network="To", virtual_network="1",
-            ordered="true", vnet_type="response";
+            vnet_type="response";
 
       MessageBuffer * requestToDir, network="From", virtual_network="2",
-            ordered="true", vnet_type="request";
+            vnet_type="request";
       MessageBuffer * dmaRequestToDir, network="From", virtual_network="0",
-            ordered="true", vnet_type="request";
+            vnet_type="request";
 {
   // STATES
   state_declaration(State, desc="Directory states", default="Directory_State_I") {
@@ -195,6 +195,8 @@ machine(Directory, "Directory protocol")
     return num_functional_writes;
   }
 
+  MessageBuffer responseFromMemory;
+
   // ** OUT_PORTS **
   out_port(forwardNetwork_out, RequestMsg, forwardFromDir);
   out_port(responseNetwork_out, ResponseMsg, responseFromDir);
diff --git a/src/mem/protocol/MI_example-dma.sm b/src/mem/protocol/MI_example-dma.sm
index c3cc29ba2..da6c5d926 100644
--- a/src/mem/protocol/MI_example-dma.sm
+++ b/src/mem/protocol/MI_example-dma.sm
@@ -32,9 +32,9 @@ machine(DMA, "DMA Controller")
       Cycles request_latency := 6;
 
       MessageBuffer * responseFromDir, network="From", virtual_network="1",
-            ordered="true", vnet_type="response";
+            vnet_type="response";
       MessageBuffer * requestToDir, network="To", virtual_network="0",
-            ordered="false", vnet_type="request";
+            vnet_type="request";
 {
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
     READY, AccessPermission:Invalid, desc="Ready to accept a new request";
@@ -49,7 +49,7 @@ machine(DMA, "DMA Controller")
     Ack,          desc="DMA write to memory completed";
   }
 
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
   State cur_state;
 
   State getState(Address addr) {
diff --git a/src/mem/protocol/MOESI_CMP_directory-L1cache.sm b/src/mem/protocol/MOESI_CMP_directory-L1cache.sm
index e9b05a0c8..a8c9c5d1d 100644
--- a/src/mem/protocol/MOESI_CMP_directory-L1cache.sm
+++ b/src/mem/protocol/MOESI_CMP_directory-L1cache.sm
@@ -39,18 +39,18 @@ machine(L1Cache, "Directory protocol")
    // From this node's L1 cache TO the network
    // a local L1 -> this L2 bank, currently ordered with directory forwarded requests
    MessageBuffer * requestFromL1Cache, network="To", virtual_network="0",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
    // a local L1 -> this L2 bank
    MessageBuffer * responseFromL1Cache, network="To", virtual_network="2",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
 
    // To this node's L1 cache FROM the network
    // a L2 bank -> this L1
    MessageBuffer * requestToL1Cache, network="From", virtual_network="0",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
    // a L2 bank -> this L1
    MessageBuffer * responseToL1Cache, network="From", virtual_network="2",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
 {
   // STATES
   state_declaration(State, desc="Cache states", default="L1Cache_State_I") {
@@ -134,7 +134,7 @@ machine(L1Cache, "Directory protocol")
   void set_tbe(TBE b);
   void unset_tbe();
 
-  MessageBuffer mandatoryQueue, ordered="false", abstract_chip_ptr="true";
+  MessageBuffer mandatoryQueue, abstract_chip_ptr="true";
 
   TBETable TBEs, template="<L1Cache_TBE>", constructor="m_number_of_TBEs";
   TimerTable useTimerTable;
@@ -254,7 +254,7 @@ machine(L1Cache, "Directory protocol")
     }
   }
 
-  MessageBuffer triggerQueue, ordered="true";
+  MessageBuffer triggerQueue;
 
   // ** OUT_PORTS **
 
diff --git a/src/mem/protocol/MOESI_CMP_directory-L2cache.sm b/src/mem/protocol/MOESI_CMP_directory-L2cache.sm
index 77f498e31..714f52f32 100644
--- a/src/mem/protocol/MOESI_CMP_directory-L2cache.sm
+++ b/src/mem/protocol/MOESI_CMP_directory-L2cache.sm
@@ -34,19 +34,19 @@ machine(L2Cache, "Token protocol")
   // L2 BANK QUEUES
   // From local bank of L2 cache TO the network
   MessageBuffer * L1RequestFromL2Cache, network="To", virtual_network="0",
-        ordered="false", vnet_type="request";  // this L2 bank -> a local L1
+        vnet_type="request";  // this L2 bank -> a local L1
   MessageBuffer * GlobalRequestFromL2Cache, network="To", virtual_network="1",
-        ordered="false", vnet_type="request";  // this L2 bank -> mod-directory
+        vnet_type="request";  // this L2 bank -> mod-directory
   MessageBuffer * responseFromL2Cache, network="To", virtual_network="2",
-        ordered="false", vnet_type="response";  // this L2 bank -> a local L1 || mod-directory
+        vnet_type="response";  // this L2 bank -> a local L1 || mod-directory
 
   // FROM the network to this local bank of L2 cache
   MessageBuffer * L1RequestToL2Cache, network="From", virtual_network="0",
-        ordered="false", vnet_type="request";  // a local L1 -> this L2 bank, Lets try this???
+        vnet_type="request";  // a local L1 -> this L2 bank, Lets try this???
   MessageBuffer * GlobalRequestToL2Cache, network="From", virtual_network="1",
-        ordered="false", vnet_type="request";  // mod-directory -> this L2 bank
+        vnet_type="request";  // mod-directory -> this L2 bank
   MessageBuffer * responseToL2Cache, network="From", virtual_network="2",
-        ordered="false", vnet_type="response";  // a local L1 || mod-directory -> this L2 bank
+        vnet_type="response";  // a local L1 || mod-directory -> this L2 bank
 
 {
   // STATES
@@ -565,7 +565,7 @@ machine(L2Cache, "Token protocol")
     return num_functional_writes;
   }
 
-  MessageBuffer triggerQueue, ordered="true";
+  MessageBuffer triggerQueue;
 
   out_port(globalRequestNetwork_out, RequestMsg, GlobalRequestFromL2Cache);
   out_port(localRequestNetwork_out, RequestMsg, L1RequestFromL2Cache);
diff --git a/src/mem/protocol/MOESI_CMP_directory-dir.sm b/src/mem/protocol/MOESI_CMP_directory-dir.sm
index 3e19897f3..c2b5e35e1 100644
--- a/src/mem/protocol/MOESI_CMP_directory-dir.sm
+++ b/src/mem/protocol/MOESI_CMP_directory-dir.sm
@@ -33,14 +33,14 @@ machine(Directory, "Directory protocol")
 
    // Message Queues
    MessageBuffer * requestToDir, network="From", virtual_network="1",
-        ordered="false", vnet_type="request";  // a mod-L2 bank -> this Dir
+        vnet_type="request";  // a mod-L2 bank -> this Dir
    MessageBuffer * responseToDir, network="From", virtual_network="2",
-        ordered="false", vnet_type="response";  // a mod-L2 bank -> this Dir
+        vnet_type="response";  // a mod-L2 bank -> this Dir
 
    MessageBuffer * forwardFromDir, network="To", virtual_network="1",
-        ordered="false", vnet_type="forward";
+        vnet_type="forward";
    MessageBuffer * responseFromDir, network="To", virtual_network="2",
-        ordered="false", vnet_type="response";  // Dir -> mod-L2 bank
+        vnet_type="response";  // Dir -> mod-L2 bank
 
 {
   // STATES
@@ -220,6 +220,7 @@ machine(Directory, "Directory protocol")
     return false;
   }
 
+  MessageBuffer responseFromMemory;
 
   // ** OUT_PORTS **
   out_port(forwardNetwork_out, RequestMsg, forwardFromDir);
diff --git a/src/mem/protocol/MOESI_CMP_directory-dma.sm b/src/mem/protocol/MOESI_CMP_directory-dma.sm
index d7e3a02d9..8aa7a5830 100644
--- a/src/mem/protocol/MOESI_CMP_directory-dma.sm
+++ b/src/mem/protocol/MOESI_CMP_directory-dma.sm
@@ -33,12 +33,12 @@ machine(DMA, "DMA Controller")
       Cycles response_latency := 14;
 
       MessageBuffer * responseFromDir, network="From", virtual_network="2",
-            ordered="false", vnet_type="response";
+            vnet_type="response";
 
       MessageBuffer * reqToDir, network="To", virtual_network="1",
-            ordered="false", vnet_type="request";
+            vnet_type="request";
       MessageBuffer * respToDir, network="To", virtual_network="2",
-            ordered="false", vnet_type="dmaresponse";
+            vnet_type="dmaresponse";
 
 {
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
@@ -69,8 +69,8 @@ machine(DMA, "DMA Controller")
     bool isPresent(Address);
   }
 
-  MessageBuffer mandatoryQueue, ordered="false";
-  MessageBuffer triggerQueue, ordered="true";
+  MessageBuffer mandatoryQueue;
+  MessageBuffer triggerQueue;
   TBETable TBEs, template="<DMA_TBE>", constructor="m_number_of_TBEs";
   State cur_state;
 
diff --git a/src/mem/protocol/MOESI_CMP_token-L1cache.sm b/src/mem/protocol/MOESI_CMP_token-L1cache.sm
index ebfa970ff..6edac4202 100644
--- a/src/mem/protocol/MOESI_CMP_token-L1cache.sm
+++ b/src/mem/protocol/MOESI_CMP_token-L1cache.sm
@@ -54,24 +54,24 @@ machine(L1Cache, "Token protocol")
  
    // a local L1 -> this L2 bank
    MessageBuffer * responseFromL1Cache, network="To", virtual_network="4",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
    MessageBuffer * persistentFromL1Cache, network="To", virtual_network="3",
-        ordered="true", vnet_type="persistent";
+        vnet_type="persistent";
    // a local L1 -> this L2 bank, currently ordered with directory forwarded requests
    MessageBuffer * requestFromL1Cache, network="To", virtual_network="1",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
  
  
    // To this node's L1 cache FROM the network
 
    // a L2 bank -> this L1
    MessageBuffer * responseToL1Cache, network="From", virtual_network="4",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
    MessageBuffer * persistentToL1Cache, network="From", virtual_network="3",
-        ordered="true", vnet_type="persistent";
+        vnet_type="persistent";
    // a L2 bank -> this L1
    MessageBuffer * requestToL1Cache, network="From", virtual_network="1",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
 
 {
   // STATES
@@ -194,7 +194,7 @@ machine(L1Cache, "Token protocol")
 
   TBETable L1_TBEs, template="<L1Cache_TBE>", constructor="m_number_of_TBEs";
 
-  MessageBuffer mandatoryQueue, ordered="false", abstract_chip_ptr="true";
+  MessageBuffer mandatoryQueue, abstract_chip_ptr="true";
 
   bool starving, default="false";
   int l2_select_low_bit, default="RubySystem::getBlockSizeBits()";
diff --git a/src/mem/protocol/MOESI_CMP_token-L2cache.sm b/src/mem/protocol/MOESI_CMP_token-L2cache.sm
index ad746a275..39fd611fe 100644
--- a/src/mem/protocol/MOESI_CMP_token-L2cache.sm
+++ b/src/mem/protocol/MOESI_CMP_token-L2cache.sm
@@ -38,28 +38,28 @@ machine(L2Cache, "Token protocol")
  
    // this L2 bank -> a local L1 || mod-directory
    MessageBuffer * responseFromL2Cache, network="To", virtual_network="4",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
    // this L2 bank -> mod-directory
    MessageBuffer * GlobalRequestFromL2Cache, network="To", virtual_network="2",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
    // this L2 bank -> a local L1
    MessageBuffer * L1RequestFromL2Cache, network="To", virtual_network="1",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
  
  
    // FROM the network to this local bank of L2 cache
  
    // a local L1 || mod-directory -> this L2 bank
    MessageBuffer * responseToL2Cache, network="From", virtual_network="4",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
    MessageBuffer * persistentToL2Cache, network="From", virtual_network="3",
-        ordered="true", vnet_type="persistent";
+        vnet_type="persistent";
    // mod-directory -> this L2 bank
    MessageBuffer * GlobalRequestToL2Cache, network="From", virtual_network="2",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
    // a local L1 -> this L2 bank
    MessageBuffer * L1RequestToL2Cache, network="From", virtual_network="1",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
 
 {
   // STATES
diff --git a/src/mem/protocol/MOESI_CMP_token-dir.sm b/src/mem/protocol/MOESI_CMP_token-dir.sm
index a70ef6073..9d7e09e22 100644
--- a/src/mem/protocol/MOESI_CMP_token-dir.sm
+++ b/src/mem/protocol/MOESI_CMP_token-dir.sm
@@ -37,29 +37,29 @@ machine(Directory, "Token protocol")
 
    // Message Queues from dir to other controllers / network
    MessageBuffer * dmaResponseFromDir, network="To", virtual_network="5",
-        ordered="true", vnet_type="response";
+        vnet_type="response";
 
    MessageBuffer * responseFromDir, network="To", virtual_network="4",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
 
    MessageBuffer * persistentFromDir, network="To", virtual_network="3",
-        ordered="true", vnet_type="persistent";
+        vnet_type="persistent";
 
    MessageBuffer * requestFromDir, network="To", virtual_network="1",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
  
    // Message Queues to dir from other controllers / network
    MessageBuffer * responseToDir, network="From", virtual_network="4",
-        ordered="false", vnet_type="response";
+        vnet_type="response";
 
    MessageBuffer * persistentToDir, network="From", virtual_network="3",
-        ordered="true", vnet_type="persistent";
+        vnet_type="persistent";
    
    MessageBuffer * requestToDir, network="From", virtual_network="2",
-        ordered="false", vnet_type="request";
+        vnet_type="request";
    
    MessageBuffer * dmaRequestToDir, network="From", virtual_network="0",
-        ordered="true", vnet_type="request";
+        vnet_type="request";
 
 {
   // STATES
@@ -266,6 +266,8 @@ machine(Directory, "Token protocol")
     return num_functional_writes;
   }
 
+  MessageBuffer responseFromMemory;
+
   // ** OUT_PORTS **
   out_port(responseNetwork_out, ResponseMsg, responseFromDir);
   out_port(persistentNetwork_out, PersistentMsg, persistentFromDir);
diff --git a/src/mem/protocol/MOESI_CMP_token-dma.sm b/src/mem/protocol/MOESI_CMP_token-dma.sm
index f11e471b4..5686a1438 100644
--- a/src/mem/protocol/MOESI_CMP_token-dma.sm
+++ b/src/mem/protocol/MOESI_CMP_token-dma.sm
@@ -33,9 +33,9 @@ machine(DMA, "DMA Controller")
 
       // Messsage Queues
       MessageBuffer * responseFromDir, network="From", virtual_network="5",
-            ordered="true", vnet_type="response";
+            vnet_type="response";
       MessageBuffer * reqToDirectory, network="To", virtual_network="0",
-            ordered="false", vnet_type="request";
+            vnet_type="request";
 
 {
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
@@ -51,7 +51,7 @@ machine(DMA, "DMA Controller")
     Ack,          desc="DMA write to memory completed";
   }
 
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
   State cur_state;
 
   State getState(Address addr) {
diff --git a/src/mem/protocol/MOESI_hammer-cache.sm b/src/mem/protocol/MOESI_hammer-cache.sm
index badbe1d8b..04ada750e 100644
--- a/src/mem/protocol/MOESI_hammer-cache.sm
+++ b/src/mem/protocol/MOESI_hammer-cache.sm
@@ -46,16 +46,16 @@ machine({L1Cache, L2Cache}, "AMD Hammer-like protocol")
 
       // NETWORK BUFFERS
       MessageBuffer * requestFromCache, network="To", virtual_network="2",
-            ordered="false", vnet_type="request";
+            vnet_type="request";
       MessageBuffer * responseFromCache, network="To", virtual_network="4",
-            ordered="false", vnet_type="response";
+            vnet_type="response";
       MessageBuffer * unblockFromCache, network="To", virtual_network="5",
-            ordered="false", vnet_type="unblock";
+            vnet_type="unblock";
 
       MessageBuffer * forwardToCache, network="From", virtual_network="3",
-            ordered="false", vnet_type="forward";
+            vnet_type="forward";
       MessageBuffer * responseToCache, network="From", virtual_network="4",
-            ordered="false", vnet_type="response";
+            vnet_type="response";
 {
   // STATES
   state_declaration(State, desc="Cache states", default="L1Cache_State_I") {
@@ -143,7 +143,7 @@ machine({L1Cache, L2Cache}, "AMD Hammer-like protocol")
 
   // STRUCTURE DEFINITIONS
 
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
 
   // CacheEntry
   structure(Entry, desc="...", interface="AbstractCacheEntry") {
@@ -320,7 +320,7 @@ machine({L1Cache, L2Cache}, "AMD Hammer-like protocol")
     return cache_entry.AtomicAccessed;
   }
 
-  MessageBuffer triggerQueue, ordered="false";
+  MessageBuffer triggerQueue;
 
   // ** OUT_PORTS **
 
diff --git a/src/mem/protocol/MOESI_hammer-dir.sm b/src/mem/protocol/MOESI_hammer-dir.sm
index e04573128..d692c967f 100644
--- a/src/mem/protocol/MOESI_hammer-dir.sm
+++ b/src/mem/protocol/MOESI_hammer-dir.sm
@@ -42,28 +42,28 @@ machine(Directory, "AMD Hammer-like protocol")
       bool full_bit_dir_enabled := "False";
 
       MessageBuffer * forwardFromDir, network="To", virtual_network="3",
-            ordered="false", vnet_type="forward";
+            vnet_type="forward";
 
       MessageBuffer * responseFromDir, network="To", virtual_network="4",
-            ordered="false", vnet_type="response";
+            vnet_type="response";
 
       // For a finite buffered network, note that the DMA response network only 
       // works at this relatively lower numbered (lower priority) virtual network
       // because the trigger queue decouples cache responses from DMA responses.
       MessageBuffer * dmaResponseFromDir, network="To", virtual_network="1",
-            ordered="true", vnet_type="response";
+            vnet_type="response";
 
       MessageBuffer * unblockToDir, network="From", virtual_network="5",
-            ordered="false", vnet_type="unblock";
+            vnet_type="unblock";
 
       MessageBuffer * responseToDir, network="From", virtual_network="4",
-            ordered="false", vnet_type="response";
+            vnet_type="response";
 
       MessageBuffer * requestToDir, network="From", virtual_network="2",
-            ordered="false", vnet_type="request", recycle_latency="1";
+            vnet_type="request";
 
       MessageBuffer * dmaRequestToDir, network="From", virtual_network="0",
-            ordered="true", vnet_type="request";
+            vnet_type="request";
 {
   // STATES
   state_declaration(State, desc="Directory states", default="Directory_State_E") {
@@ -300,7 +300,8 @@ machine(Directory, "AMD Hammer-like protocol")
     }
   }
 
-  MessageBuffer triggerQueue, ordered="true";
+  MessageBuffer triggerQueue;
+  MessageBuffer responseFromMemory;
 
   // ** OUT_PORTS **
   out_port(requestQueue_out, ResponseMsg, requestToDir); // For recycling requests
diff --git a/src/mem/protocol/MOESI_hammer-dma.sm b/src/mem/protocol/MOESI_hammer-dma.sm
index 067ded0ca..24e41ed48 100644
--- a/src/mem/protocol/MOESI_hammer-dma.sm
+++ b/src/mem/protocol/MOESI_hammer-dma.sm
@@ -32,9 +32,9 @@ machine(DMA, "DMA Controller")
       Cycles request_latency := 6;
 
       MessageBuffer * responseFromDir, network="From", virtual_network="1",
-            ordered="true", vnet_type="response";
+            vnet_type="response";
       MessageBuffer * requestToDir, network="To", virtual_network="0",
-            ordered="false", vnet_type="request";
+            vnet_type="request";
 {
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
     READY, AccessPermission:Invalid, desc="Ready to accept a new request";
@@ -49,7 +49,7 @@ machine(DMA, "DMA Controller")
     Ack,          desc="DMA write to memory completed";
   }
 
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
   State cur_state;
 
   State getState(Address addr) {
diff --git a/src/mem/protocol/Network_test-cache.sm b/src/mem/protocol/Network_test-cache.sm
index 6d81131f2..020f5acb4 100644
--- a/src/mem/protocol/Network_test-cache.sm
+++ b/src/mem/protocol/Network_test-cache.sm
@@ -37,11 +37,11 @@ machine(L1Cache, "Network_test L1 Cache")
 
       // NETWORK BUFFERS
       MessageBuffer * requestFromCache, network="To", virtual_network="0",
-            ordered="false", vnet_type = "request";
+            vnet_type = "request";
       MessageBuffer * forwardFromCache, network="To", virtual_network="1",
-            ordered="false", vnet_type = "forward";
+            vnet_type = "forward";
       MessageBuffer * responseFromCache, network="To", virtual_network="2",
-            ordered="false", vnet_type = "response";
+            vnet_type = "response";
 {
   // STATES
   state_declaration(State, desc="Cache states", default="L1Cache_State_I") {
@@ -58,7 +58,7 @@ machine(L1Cache, "Network_test L1 Cache")
 
   // STRUCTURE DEFINITIONS
 
-  MessageBuffer mandatoryQueue, ordered="false";
+  MessageBuffer mandatoryQueue;
   DataBlock dummyData;
 
 
diff --git a/src/mem/protocol/Network_test-dir.sm b/src/mem/protocol/Network_test-dir.sm
index 81feffde0..c5a5d9e3d 100644
--- a/src/mem/protocol/Network_test-dir.sm
+++ b/src/mem/protocol/Network_test-dir.sm
@@ -33,11 +33,11 @@
 
 machine(Directory, "Network_test Directory")
     : MessageBuffer * requestToDir, network="From", virtual_network="0",
-            ordered="false", vnet_type = "request";
+            vnet_type = "request";
       MessageBuffer * forwardToDir, network="From", virtual_network="1",
-            ordered="false", vnet_type = "forward";
+            vnet_type = "forward";
       MessageBuffer * responseToDir, network="From", virtual_network="2",
-            ordered="false", vnet_type = "response";
+            vnet_type = "response";
 {
   // STATES
   state_declaration(State, desc="Directory states", default="Directory_State_I") {