From 3d06ffa7d5150b777dc4d2109b2d01761ee7a7ad Mon Sep 17 00:00:00 2001 From: Tushar Krishna Date: Fri, 20 May 2011 05:06:43 -0400 Subject: slicc: added vnet_type to MI_example Forgot to add this to MI_example in my previous patch. --- src/mem/protocol/MI_example-cache.sm | 8 ++++---- src/mem/protocol/MI_example-dir.sm | 10 +++++----- src/mem/protocol/MI_example-dma.sm | 4 ++-- 3 files changed, 11 insertions(+), 11 deletions(-) (limited to 'src/mem/protocol') 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"; -- cgit v1.2.3