diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/mem/protocol/MI_example-cache.sm | 8 | ||||
| -rw-r--r-- | src/mem/protocol/MI_example-dir.sm | 10 | ||||
| -rw-r--r-- | src/mem/protocol/MI_example-dma.sm | 4 |
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"; |