slicc: added vnet_type to MI_example
authorTushar Krishna <tushar@csail.mit.edu>
Fri, 20 May 2011 09:06:43 +0000 (05:06 -0400)
committerTushar Krishna <tushar@csail.mit.edu>
Fri, 20 May 2011 09:06:43 +0000 (05:06 -0400)
Forgot to add this to MI_example in my previous patch.

src/mem/protocol/MI_example-cache.sm
src/mem/protocol/MI_example-dir.sm
src/mem/protocol/MI_example-dma.sm

index 7adadbade45e8c7a86067b17448db7b1c41d15f3..cef89afda1357f60f1d6992d43a3cf2c03c92688 100644 (file)
@@ -7,11 +7,11 @@ machine(L1Cache, "MI Example L1 Cache")
 {
 
   // NETWORK BUFFERS
-  MessageBuffer requestFromCache, network="To", virtual_network="2", ordered="true";
-  MessageBuffer responseFromCache, network="To", virtual_network="4", ordered="true";
+  MessageBuffer requestFromCache, network="To", virtual_network="2", ordered="true", vnet_type="request";
+  MessageBuffer responseFromCache, network="To", virtual_network="4", ordered="true", vnet_type="response";
 
-  MessageBuffer forwardToCache, network="From", virtual_network="3", ordered="true";
-  MessageBuffer responseToCache, network="From", virtual_network="4", ordered="true";
+  MessageBuffer forwardToCache, network="From", virtual_network="3", ordered="true", vnet_type="forward";
+  MessageBuffer responseToCache, network="From", virtual_network="4", ordered="true", vnet_type="response";
 
   // STATES
   state_declaration(State, desc="Cache states") {
index 71e022df532ce8cadf8258da1fab7143ba6668d5..bffdd04fd3aefb6050f77dda3e58875d6f8416b6 100644 (file)
@@ -5,12 +5,12 @@ machine(Directory, "Directory protocol")
   int directory_latency = 12
 {
 
-  MessageBuffer forwardFromDir, network="To", virtual_network="3", ordered="false";
-  MessageBuffer responseFromDir, network="To", virtual_network="4", ordered="false";
-  MessageBuffer dmaResponseFromDir, network="To", virtual_network="1", ordered="true";
+  MessageBuffer forwardFromDir, network="To", virtual_network="3", ordered="false", vnet_type="forward";
+  MessageBuffer responseFromDir, network="To", virtual_network="4", ordered="false", vnet_type="response";
+  MessageBuffer dmaResponseFromDir, network="To", virtual_network="1", ordered="true", vnet_type="response";
 
-  MessageBuffer requestToDir, network="From", virtual_network="2", ordered="true";
-  MessageBuffer dmaRequestToDir, network="From", virtual_network="0", ordered="true";
+  MessageBuffer requestToDir, network="From", virtual_network="2", ordered="true", vnet_type="request";
+  MessageBuffer dmaRequestToDir, network="From", virtual_network="0", ordered="true", vnet_type="request";
 
   // STATES
   state_declaration(State, desc="Directory states", default="Directory_State_I") {
index 878af538e14b1eea221888ee28c8dabcf49397df..bb864e934f2d2452421ccacc7ddab39736a2cf87 100644 (file)
@@ -4,8 +4,8 @@ machine(DMA, "DMA Controller")
   int request_latency = 6
 {
 
-  MessageBuffer responseFromDir, network="From", virtual_network="1", ordered="true", no_vector="true";
-  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", no_vector="true";
+  MessageBuffer responseFromDir, network="From", virtual_network="1", ordered="true", vnet_type="response", no_vector="true";
+  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request", no_vector="true";
 
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
     READY, AccessPermission:Invalid, desc="Ready to accept a new request";