slicc: added vnet_type to MI_example
Forgot to add this to MI_example in my previous patch.
This commit is contained in:
parent
22263f5091
commit
3d06ffa7d5
|
@ -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") {
|
||||
|
|
|
@ -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") {
|
||||
|
|
|
@ -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";
|
||||
|
|
Loading…
Reference in a new issue