src/mem/protocol/MOESI_CMP_token-msg.sm

   1
   2 /*
   3  * Copyright (c) 1999-2005 Mark D. Hill and David A. Wood
   4  * All rights reserved.
   5  *
   6  * Redistribution and use in source and binary forms, with or without
   7  * modification, are permitted provided that the following conditions are
   8  * met: redistributions of source code must retain the above copyright
   9  * notice, this list of conditions and the following disclaimer;
  10  * redistributions in binary form must reproduce the above copyright
  11  * notice, this list of conditions and the following disclaimer in the
  12  * documentation and/or other materials provided with the distribution;
  13  * neither the name of the copyright holders nor the names of its
  14  * contributors may be used to endorse or promote products derived from
  15  * this software without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  18  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  19  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  20  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  21  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  22  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  23  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  24  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  25  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  27  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  28  */
  29
  30 /*
  31  * $Id$
  32  *
  33  */
  34
  35 // CoherenceRequestType
  36 enumeration(CoherenceRequestType, desc="...") {
  37   GETX,      desc="Get eXclusive";
  38   GETS,      desc="Get Shared";
  39 }
  40
  41 // PersistentType
  42 enumeration(PersistentRequestType, desc="...") {
  43   GETX_PERSISTENT,  desc="...";
  44   GETS_PERSISTENT,  desc="...";
  45   DEACTIVATE_PERSISTENT,desc="...";
  46 }
  47
  48 // CoherenceResponseType
  49 enumeration(CoherenceResponseType, desc="...") {
  50   DATA_OWNER,  desc="Data";
  51   ACK_OWNER,  desc="data-less owner token";
  52   DATA_SHARED, desc="Data";
  53   ACK,         desc="ACKnowledgment";
  54   WB_TOKENS,   desc="L1 to L2 writeback";
  55   WB_SHARED_DATA,   desc="L1 to L2 writeback with data";
  56   WB_OWNED,    desc="L1 to L2 writeback with data";
  57   INV,         desc="L1 informing L2 of loss of all tokens";
  58 }
  59
  60 // TriggerType
  61 enumeration(TriggerType, desc="...") {
  62   REQUEST_TIMEOUT,         desc="See corresponding event";
  63   USE_TIMEOUT,             desc="See corresponding event";
  64   DATA,                    desc="data for dma read response";
  65   DATA_ALL_TOKENS,         desc="data and all tokens for dma write response";
  66 }
  67
  68 // TriggerMsg
  69 structure(TriggerMsg, desc="...", interface="Message") {
  70   Address Address,             desc="Physical address for this request";
  71   TriggerType Type,            desc="Type of trigger";
  72 }
  73
  74 // PersistentMsg
  75 structure(PersistentMsg, desc="...", interface="NetworkMessage") {
  76   Address Address,             desc="Physical address for this request";
  77   PersistentRequestType Type,  desc="Type of starvation request";
  78   MachineID Requestor,            desc="Node who initiated the request";
  79   NetDest Destination,             desc="Destination set";
  80   MessageSizeType MessageSize, desc="size category of the message";
  81   RubyAccessMode AccessMode,    desc="user/supervisor access type";
  82   PrefetchBit Prefetch,         desc="Is this a prefetch request";
  83 }
  84
  85 // RequestMsg
  86 structure(RequestMsg, desc="...", interface="NetworkMessage") {
  87   Address Address,             desc="Physical address for this request";
  88   CoherenceRequestType Type,   desc="Type of request (GetS, GetX, PutX, etc)";
  89   MachineID Requestor,            desc="Node who initiated the request";
  90   NetDest Destination,             desc="Multicast destination mask";
  91   bool isLocal,                    desc="Is this request from a local L1";
  92   int RetryNum,                    desc="retry sequence number";
  93   MessageSizeType MessageSize, desc="size category of the message";
  94   RubyAccessMode AccessMode,    desc="user/supervisor access type";
  95   PrefetchBit Prefetch,         desc="Is this a prefetch request";
  96 }
  97
  98 // ResponseMsg
  99 structure(ResponseMsg, desc="...", interface="NetworkMessage") {
 100   Address Address,             desc="Physical address for this request";
 101   CoherenceResponseType Type,  desc="Type of response (Ack, Data, etc)";
 102   MachineID Sender,               desc="Node who sent the data";
 103   NetDest Destination,             desc="Node to whom the data is sent";
 104   int Tokens,                  desc="Number of tokens being transfered for this line";
 105   DataBlock DataBlk,           desc="data for the cache line";
 106   bool Dirty,                  desc="Is the data dirty (different than memory)?";
 107   MessageSizeType MessageSize, desc="size category of the message";
 108 }
 109
 110 enumeration(DMARequestType, desc="...", default="DMARequestType_NULL") {
 111   READ,          desc="Memory Read";
 112   WRITE,         desc="Memory Write";
 113   NULL,          desc="Invalid";
 114 }
 115
 116 enumeration(DMAResponseType, desc="...", default="DMAResponseType_NULL") {
 117   DATA,          desc="DATA read";
 118   ACK,           desc="ACK write";
 119   NULL,          desc="Invalid";
 120 }
 121
 122 structure(DMARequestMsg, desc="...", interface="NetworkMessage") {
 123   DMARequestType Type,       desc="Request type (read/write)";
 124   Address PhysicalAddress,   desc="Physical address for this request";
 125   Address LineAddress,       desc="Line address for this request";
 126   MachineID Requestor,            desc="Node who initiated the request";
 127   NetDest Destination,       desc="Destination";
 128   DataBlock DataBlk,         desc="DataBlk attached to this request";
 129   int Len,                   desc="The length of the request";
 130   MessageSizeType MessageSize, desc="size category of the message";
 131 }
 132
 133 structure(DMAResponseMsg, desc="...", interface="NetworkMessage") {
 134   DMAResponseType Type,      desc="Response type (DATA/ACK)";
 135   Address PhysicalAddress,   desc="Physical address for this request";
 136   Address LineAddress,       desc="Line address for this request";
 137   NetDest Destination,       desc="Destination";
 138   DataBlock DataBlk,         desc="DataBlk attached to this request";
 139   MessageSizeType MessageSize, desc="size category of the message";
 140 }