summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/mem/protocol/MI_example-cache.sm8
-rw-r--r--src/mem/protocol/MI_example-dir.sm10
-rw-r--r--src/mem/protocol/MI_example-dma.sm4
3 files changed, 11 insertions, 11 deletions
diff --git a/src/mem/protocol/MI_example-cache.sm b/src/mem/protocol/MI_example-cache.sm
index 7adadbade..cef89afda 100644
--- a/src/mem/protocol/MI_example-cache.sm
+++ b/src/mem/protocol/MI_example-cache.sm
@@ -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") {
diff --git a/src/mem/protocol/MI_example-dir.sm b/src/mem/protocol/MI_example-dir.sm
index 71e022df5..bffdd04fd 100644
--- a/src/mem/protocol/MI_example-dir.sm
+++ b/src/mem/protocol/MI_example-dir.sm
@@ -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") {
diff --git a/src/mem/protocol/MI_example-dma.sm b/src/mem/protocol/MI_example-dma.sm
index 878af538e..bb864e934 100644
--- a/src/mem/protocol/MI_example-dma.sm
+++ b/src/mem/protocol/MI_example-dma.sm
@@ -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";