packet.hh revision 10886
12381SN/A/*
210694SMarco.Balboni@ARM.com * Copyright (c) 2012-2015 ARM Limited
38949Sandreas.hansson@arm.com * All rights reserved
48949Sandreas.hansson@arm.com *
58949Sandreas.hansson@arm.com * The license below extends only to copyright in the software and shall
68949Sandreas.hansson@arm.com * not be construed as granting a license to any other intellectual
78949Sandreas.hansson@arm.com * property including but not limited to intellectual property relating
88949Sandreas.hansson@arm.com * to a hardware implementation of the functionality of the software
98949Sandreas.hansson@arm.com * licensed hereunder.  You may use the software subject to the license
108949Sandreas.hansson@arm.com * terms below provided that you ensure that this notice is replicated
118949Sandreas.hansson@arm.com * unmodified and in its entirety in all distributions of the software,
128949Sandreas.hansson@arm.com * modified or unmodified, in source code or in binary form.
138949Sandreas.hansson@arm.com *
142592SN/A * Copyright (c) 2006 The Regents of The University of Michigan
157636Ssteve.reinhardt@amd.com * Copyright (c) 2010 Advanced Micro Devices, Inc.
162381SN/A * All rights reserved.
172381SN/A *
182381SN/A * Redistribution and use in source and binary forms, with or without
192381SN/A * modification, are permitted provided that the following conditions are
202381SN/A * met: redistributions of source code must retain the above copyright
212381SN/A * notice, this list of conditions and the following disclaimer;
222381SN/A * redistributions in binary form must reproduce the above copyright
232381SN/A * notice, this list of conditions and the following disclaimer in the
242381SN/A * documentation and/or other materials provided with the distribution;
252381SN/A * neither the name of the copyright holders nor the names of its
262381SN/A * contributors may be used to endorse or promote products derived from
272381SN/A * this software without specific prior written permission.
282381SN/A *
292381SN/A * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
302381SN/A * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
312381SN/A * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
322381SN/A * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
332381SN/A * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
342381SN/A * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
352381SN/A * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
362381SN/A * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
372381SN/A * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
382381SN/A * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
392381SN/A * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
402665Ssaidi@eecs.umich.edu *
412665Ssaidi@eecs.umich.edu * Authors: Ron Dreslinski
422665Ssaidi@eecs.umich.edu *          Steve Reinhardt
432665Ssaidi@eecs.umich.edu *          Ali Saidi
449031Sandreas.hansson@arm.com *          Andreas Hansson
452381SN/A */
462381SN/A
472381SN/A/**
482381SN/A * @file
492662Sstever@eecs.umich.edu * Declaration of the Packet class.
502381SN/A */
512381SN/A
522381SN/A#ifndef __MEM_PACKET_HH__
532381SN/A#define __MEM_PACKET_HH__
542381SN/A
558229Snate@binkert.org#include <bitset>
563348Sbinkertn@umich.edu#include <cassert>
573348Sbinkertn@umich.edu#include <list>
583348Sbinkertn@umich.edu
595735Snate@binkert.org#include "base/cast.hh"
604024Sbinkertn@umich.edu#include "base/compiler.hh"
615735Snate@binkert.org#include "base/flags.hh"
623940Ssaidi@eecs.umich.edu#include "base/misc.hh"
635314Sstever@gmail.com#include "base/printable.hh"
646216Snate@binkert.org#include "base/types.hh"
652392SN/A#include "mem/request.hh"
664167Sbinkertn@umich.edu#include "sim/core.hh"
672394SN/A
688737Skoansin.tan@gmail.comclass Packet;
693349Sbinkertn@umich.edutypedef Packet *PacketPtr;
702394SN/Atypedef uint8_t* PacketDataPtr;
712812Srdreslin@umich.edutypedef std::list<PacketPtr> PacketList;
722812Srdreslin@umich.edu
734022Sstever@eecs.umich.educlass MemCmd
744022Sstever@eecs.umich.edu{
755735Snate@binkert.org    friend class Packet;
765735Snate@binkert.org
774022Sstever@eecs.umich.edu  public:
785735Snate@binkert.org    /**
795735Snate@binkert.org     * List of all commands associated with a packet.
805735Snate@binkert.org     */
814022Sstever@eecs.umich.edu    enum Command
824022Sstever@eecs.umich.edu    {
834022Sstever@eecs.umich.edu        InvalidCmd,
844022Sstever@eecs.umich.edu        ReadReq,
854473Sstever@eecs.umich.edu        ReadResp,
865319Sstever@gmail.com        ReadRespWithInvalidate,
874022Sstever@eecs.umich.edu        WriteReq,
884022Sstever@eecs.umich.edu        WriteResp,
894022Sstever@eecs.umich.edu        Writeback,
9010883Sali.jafri@arm.com        CleanEvict,
914022Sstever@eecs.umich.edu        SoftPFReq,
924022Sstever@eecs.umich.edu        HardPFReq,
934022Sstever@eecs.umich.edu        SoftPFResp,
944022Sstever@eecs.umich.edu        HardPFResp,
9510886Sandreas.hansson@arm.com        WriteLineReq,
964022Sstever@eecs.umich.edu        UpgradeReq,
977465Ssteve.reinhardt@amd.com        SCUpgradeReq,           // Special "weak" upgrade for StoreCond
984628Sstever@eecs.umich.edu        UpgradeResp,
997465Ssteve.reinhardt@amd.com        SCUpgradeFailReq,       // Failed SCUpgradeReq in MSHR (never sent)
1007465Ssteve.reinhardt@amd.com        UpgradeFailResp,        // Valid for SCUpgradeReq only
1014022Sstever@eecs.umich.edu        ReadExReq,
1024022Sstever@eecs.umich.edu        ReadExResp,
10310885Sandreas.hansson@arm.com        ReadCleanReq,
10410885Sandreas.hansson@arm.com        ReadSharedReq,
1054626Sstever@eecs.umich.edu        LoadLockedReq,
1064626Sstever@eecs.umich.edu        StoreCondReq,
1077669Ssteve.reinhardt@amd.com        StoreCondFailReq,       // Failed StoreCondReq in MSHR (never sent)
1084626Sstever@eecs.umich.edu        StoreCondResp,
1094040Ssaidi@eecs.umich.edu        SwapReq,
1104040Ssaidi@eecs.umich.edu        SwapResp,
1115650Sgblack@eecs.umich.edu        MessageReq,
1125650Sgblack@eecs.umich.edu        MessageResp,
1134870Sstever@eecs.umich.edu        // Error responses
1144870Sstever@eecs.umich.edu        // @TODO these should be classified as responses rather than
1154870Sstever@eecs.umich.edu        // requests; coding them as requests initially for backwards
1164870Sstever@eecs.umich.edu        // compatibility
1174870Sstever@eecs.umich.edu        InvalidDestError,  // packet dest field invalid
1184870Sstever@eecs.umich.edu        BadAddressError,   // memory address invalid
1198436SBrad.Beckmann@amd.com        FunctionalReadError, // unable to fulfill functional read
1208436SBrad.Beckmann@amd.com        FunctionalWriteError, // unable to fulfill functional write
1215314Sstever@gmail.com        // Fake simulator-only commands
1225314Sstever@gmail.com        PrintReq,       // Print state matching address
1238184Ssomayeh@cs.wisc.edu        FlushReq,      //request for a cache flush
12410886Sandreas.hansson@arm.com        InvalidateReq,   // request for address to be invalidated
12510886Sandreas.hansson@arm.com        InvalidateResp,
1264022Sstever@eecs.umich.edu        NUM_MEM_CMDS
1274022Sstever@eecs.umich.edu    };
1284022Sstever@eecs.umich.edu
1294022Sstever@eecs.umich.edu  private:
1305735Snate@binkert.org    /**
1315735Snate@binkert.org     * List of command attributes.
1325735Snate@binkert.org     */
1334022Sstever@eecs.umich.edu    enum Attribute
1344022Sstever@eecs.umich.edu    {
1354626Sstever@eecs.umich.edu        IsRead,         //!< Data flows from responder to requester
1364626Sstever@eecs.umich.edu        IsWrite,        //!< Data flows from requester to responder
1377465Ssteve.reinhardt@amd.com        IsUpgrade,
1384022Sstever@eecs.umich.edu        IsInvalidate,
1394626Sstever@eecs.umich.edu        NeedsExclusive, //!< Requires exclusive copy to complete in-cache
1404626Sstever@eecs.umich.edu        IsRequest,      //!< Issued by requester
1414626Sstever@eecs.umich.edu        IsResponse,     //!< Issue by responder
1424626Sstever@eecs.umich.edu        NeedsResponse,  //!< Requester needs response from target
1434022Sstever@eecs.umich.edu        IsSWPrefetch,
1444022Sstever@eecs.umich.edu        IsHWPrefetch,
1456076Sgblack@eecs.umich.edu        IsLlsc,         //!< Alpha/MIPS LL or SC access
1464626Sstever@eecs.umich.edu        HasData,        //!< There is an associated payload
1474870Sstever@eecs.umich.edu        IsError,        //!< Error response
1485314Sstever@gmail.com        IsPrint,        //!< Print state matching address (for debugging)
1498184Ssomayeh@cs.wisc.edu        IsFlush,        //!< Flush the address from caches
1504022Sstever@eecs.umich.edu        NUM_COMMAND_ATTRIBUTES
1514022Sstever@eecs.umich.edu    };
1524022Sstever@eecs.umich.edu
1535735Snate@binkert.org    /**
1545735Snate@binkert.org     * Structure that defines attributes and other data associated
1555735Snate@binkert.org     * with a Command.
1565735Snate@binkert.org     */
1575735Snate@binkert.org    struct CommandInfo
1585735Snate@binkert.org    {
1595735Snate@binkert.org        /// Set of attribute flags.
1604022Sstever@eecs.umich.edu        const std::bitset<NUM_COMMAND_ATTRIBUTES> attributes;
1615735Snate@binkert.org        /// Corresponding response for requests; InvalidCmd if no
1625735Snate@binkert.org        /// response is applicable.
1634022Sstever@eecs.umich.edu        const Command response;
1645735Snate@binkert.org        /// String representation (for printing)
1654022Sstever@eecs.umich.edu        const std::string str;
1664022Sstever@eecs.umich.edu    };
1674022Sstever@eecs.umich.edu
1685735Snate@binkert.org    /// Array to map Command enum to associated info.
1694022Sstever@eecs.umich.edu    static const CommandInfo commandInfo[];
1704022Sstever@eecs.umich.edu
1714022Sstever@eecs.umich.edu  private:
1724022Sstever@eecs.umich.edu
1734022Sstever@eecs.umich.edu    Command cmd;
1744022Sstever@eecs.umich.edu
1755735Snate@binkert.org    bool
1765735Snate@binkert.org    testCmdAttrib(MemCmd::Attribute attrib) const
1775735Snate@binkert.org    {
1784022Sstever@eecs.umich.edu        return commandInfo[cmd].attributes[attrib] != 0;
1794022Sstever@eecs.umich.edu    }
1804022Sstever@eecs.umich.edu
1814022Sstever@eecs.umich.edu  public:
1824022Sstever@eecs.umich.edu
18310583SCurtis.Dunham@arm.com    bool isRead() const            { return testCmdAttrib(IsRead); }
18410583SCurtis.Dunham@arm.com    bool isWrite() const           { return testCmdAttrib(IsWrite); }
18510583SCurtis.Dunham@arm.com    bool isUpgrade() const         { return testCmdAttrib(IsUpgrade); }
18610583SCurtis.Dunham@arm.com    bool isRequest() const         { return testCmdAttrib(IsRequest); }
18710583SCurtis.Dunham@arm.com    bool isResponse() const        { return testCmdAttrib(IsResponse); }
18810583SCurtis.Dunham@arm.com    bool needsExclusive() const    { return testCmdAttrib(NeedsExclusive); }
18910583SCurtis.Dunham@arm.com    bool needsResponse() const     { return testCmdAttrib(NeedsResponse); }
19010583SCurtis.Dunham@arm.com    bool isInvalidate() const      { return testCmdAttrib(IsInvalidate); }
19110570Sandreas.hansson@arm.com
19210570Sandreas.hansson@arm.com    /**
19310570Sandreas.hansson@arm.com     * Check if this particular packet type carries payload data. Note
19410570Sandreas.hansson@arm.com     * that this does not reflect if the data pointer of the packet is
19510570Sandreas.hansson@arm.com     * valid or not.
19610570Sandreas.hansson@arm.com     */
1974022Sstever@eecs.umich.edu    bool hasData() const        { return testCmdAttrib(HasData); }
1986102Sgblack@eecs.umich.edu    bool isLLSC() const         { return testCmdAttrib(IsLlsc); }
19910343SCurtis.Dunham@arm.com    bool isSWPrefetch() const   { return testCmdAttrib(IsSWPrefetch); }
20010343SCurtis.Dunham@arm.com    bool isHWPrefetch() const   { return testCmdAttrib(IsHWPrefetch); }
20110343SCurtis.Dunham@arm.com    bool isPrefetch() const     { return testCmdAttrib(IsSWPrefetch) ||
20210343SCurtis.Dunham@arm.com                                         testCmdAttrib(IsHWPrefetch); }
2034870Sstever@eecs.umich.edu    bool isError() const        { return testCmdAttrib(IsError); }
2045314Sstever@gmail.com    bool isPrint() const        { return testCmdAttrib(IsPrint); }
2058184Ssomayeh@cs.wisc.edu    bool isFlush() const        { return testCmdAttrib(IsFlush); }
2064022Sstever@eecs.umich.edu
2075735Snate@binkert.org    const Command
2085735Snate@binkert.org    responseCommand() const
2095735Snate@binkert.org    {
2104022Sstever@eecs.umich.edu        return commandInfo[cmd].response;
2114022Sstever@eecs.umich.edu    }
2124022Sstever@eecs.umich.edu
2135735Snate@binkert.org    /// Return the string to a cmd given by idx.
2145735Snate@binkert.org    const std::string &toString() const { return commandInfo[cmd].str; }
2154022Sstever@eecs.umich.edu    int toInt() const { return (int)cmd; }
2164022Sstever@eecs.umich.edu
2175735Snate@binkert.org    MemCmd(Command _cmd) : cmd(_cmd) { }
2185735Snate@binkert.org    MemCmd(int _cmd) : cmd((Command)_cmd) { }
2195735Snate@binkert.org    MemCmd() : cmd(InvalidCmd) { }
2204022Sstever@eecs.umich.edu
2215735Snate@binkert.org    bool operator==(MemCmd c2) const { return (cmd == c2.cmd); }
2225735Snate@binkert.org    bool operator!=(MemCmd c2) const { return (cmd != c2.cmd); }
2234022Sstever@eecs.umich.edu};
2244022Sstever@eecs.umich.edu
2252381SN/A/**
2262662Sstever@eecs.umich.edu * A Packet is used to encapsulate a transfer between two objects in
2272662Sstever@eecs.umich.edu * the memory system (e.g., the L1 and L2 cache).  (In contrast, a
2282662Sstever@eecs.umich.edu * single Request travels all the way from the requester to the
2292662Sstever@eecs.umich.edu * ultimate destination and back, possibly being conveyed by several
2302662Sstever@eecs.umich.edu * different Packets along the way.)
2312381SN/A */
2329044SAli.Saidi@ARM.comclass Packet : public Printable
2332381SN/A{
2342813Srdreslin@umich.edu  public:
2355735Snate@binkert.org    typedef uint32_t FlagsType;
2365735Snate@binkert.org    typedef ::Flags<FlagsType> Flags;
2374022Sstever@eecs.umich.edu
2385735Snate@binkert.org  private:
2395735Snate@binkert.org    static const FlagsType PUBLIC_FLAGS           = 0x00000000;
2405735Snate@binkert.org    static const FlagsType PRIVATE_FLAGS          = 0x00007F0F;
2415735Snate@binkert.org    static const FlagsType COPY_FLAGS             = 0x0000000F;
2425735Snate@binkert.org
2435735Snate@binkert.org    static const FlagsType SHARED                 = 0x00000001;
2445735Snate@binkert.org    // Special control flags
2455735Snate@binkert.org    /// Special timing-mode atomic snoop for multi-level coherence.
2465735Snate@binkert.org    static const FlagsType EXPRESS_SNOOP          = 0x00000002;
2475735Snate@binkert.org    /// Does supplier have exclusive copy?
2485735Snate@binkert.org    /// Useful for multi-level coherence.
2495735Snate@binkert.org    static const FlagsType SUPPLY_EXCLUSIVE       = 0x00000004;
2505735Snate@binkert.org    // Snoop response flags
2515735Snate@binkert.org    static const FlagsType MEM_INHIBIT            = 0x00000008;
2525735Snate@binkert.org    /// Are the 'addr' and 'size' fields valid?
2535735Snate@binkert.org    static const FlagsType VALID_ADDR             = 0x00000100;
2545735Snate@binkert.org    static const FlagsType VALID_SIZE             = 0x00000200;
2555735Snate@binkert.org    /// Is the data pointer set to a value that shouldn't be freed
2565735Snate@binkert.org    /// when the packet is destroyed?
2575735Snate@binkert.org    static const FlagsType STATIC_DATA            = 0x00001000;
2585735Snate@binkert.org    /// The data pointer points to a value that should be freed when
25910566Sandreas.hansson@arm.com    /// the packet is destroyed. The pointer is assumed to be pointing
26010566Sandreas.hansson@arm.com    /// to an array, and delete [] is consequently called
2615735Snate@binkert.org    static const FlagsType DYNAMIC_DATA           = 0x00002000;
2628436SBrad.Beckmann@amd.com    /// suppress the error if this packet encounters a functional
2638436SBrad.Beckmann@amd.com    /// access failure.
2648436SBrad.Beckmann@amd.com    static const FlagsType SUPPRESS_FUNC_ERROR    = 0x00008000;
26510763Sali.jafri@arm.com    // Signal block present to squash prefetch and cache evict packets
26610763Sali.jafri@arm.com    // through express snoop flag
26710763Sali.jafri@arm.com    static const FlagsType BLOCK_CACHED          = 0x00010000;
2685735Snate@binkert.org
2695735Snate@binkert.org    Flags flags;
2705735Snate@binkert.org
2715735Snate@binkert.org  public:
2724022Sstever@eecs.umich.edu    typedef MemCmd::Command Command;
2734022Sstever@eecs.umich.edu
2745735Snate@binkert.org    /// The command field of the packet.
2754870Sstever@eecs.umich.edu    MemCmd cmd;
2764870Sstever@eecs.umich.edu
2775735Snate@binkert.org    /// A pointer to the original request.
27810569Sandreas.hansson@arm.com    const RequestPtr req;
2794870Sstever@eecs.umich.edu
2802566SN/A  private:
2815735Snate@binkert.org   /**
2825735Snate@binkert.org    * A pointer to the data being transfered.  It can be differnt
2835735Snate@binkert.org    * sizes at each level of the heirarchy so it belongs in the
2845735Snate@binkert.org    * packet, not request. This may or may not be populated when a
2855735Snate@binkert.org    * responder recieves the packet. If not populated it memory should
2865735Snate@binkert.org    * be allocated.
2872566SN/A    */
2882566SN/A    PacketDataPtr data;
2892566SN/A
2905735Snate@binkert.org    /// The address of the request.  This address could be virtual or
2915735Snate@binkert.org    /// physical, depending on the system configuration.
2922381SN/A    Addr addr;
2932381SN/A
29410028SGiacomo.Gabrielli@arm.com    /// True if the request targets the secure memory space.
29510028SGiacomo.Gabrielli@arm.com    bool _isSecure;
29610028SGiacomo.Gabrielli@arm.com
2975735Snate@binkert.org    /// The size of the request or transfer.
2986227Snate@binkert.org    unsigned size;
2992381SN/A
3005735Snate@binkert.org    /**
3015735Snate@binkert.org     * The original value of the command field.  Only valid when the
3024870Sstever@eecs.umich.edu     * current command field is an error condition; in that case, the
3034870Sstever@eecs.umich.edu     * previous contents of the command field are copied here.  This
3044870Sstever@eecs.umich.edu     * field is *not* set on non-error responses.
3054870Sstever@eecs.umich.edu     */
3064870Sstever@eecs.umich.edu    MemCmd origCmd;
3074870Sstever@eecs.umich.edu
3088668Sgeoffrey.blake@arm.com    /**
30910723Sandreas.hansson@arm.com     * Track the bytes found that satisfy a functional read.
3108668Sgeoffrey.blake@arm.com     */
31110723Sandreas.hansson@arm.com    std::vector<bool> bytesValid;
3128668Sgeoffrey.blake@arm.com
3132641Sstever@eecs.umich.edu  public:
3142811Srdreslin@umich.edu
3159547Sandreas.hansson@arm.com    /**
31610694SMarco.Balboni@ARM.com     * The extra delay from seeing the packet until the header is
31710405Sandreas.hansson@arm.com     * transmitted. This delay is used to communicate the crossbar
31810405Sandreas.hansson@arm.com     * forwarding latency to the neighbouring object (e.g. a cache)
31910405Sandreas.hansson@arm.com     * that actually makes the packet wait. As the delay is relative,
32010405Sandreas.hansson@arm.com     * a 32-bit unsigned should be sufficient.
3219547Sandreas.hansson@arm.com     */
32210694SMarco.Balboni@ARM.com    uint32_t headerDelay;
3233218Sgblack@eecs.umich.edu
3249547Sandreas.hansson@arm.com    /**
32510694SMarco.Balboni@ARM.com     * The extra pipelining delay from seeing the packet until the end of
32610694SMarco.Balboni@ARM.com     * payload is transmitted by the component that provided it (if
32710694SMarco.Balboni@ARM.com     * any). This includes the header delay. Similar to the header
32810694SMarco.Balboni@ARM.com     * delay, this is used to make up for the fact that the
32910405Sandreas.hansson@arm.com     * crossbar does not make the packet wait. As the delay is
33010405Sandreas.hansson@arm.com     * relative, a 32-bit unsigned should be sufficient.
3319547Sandreas.hansson@arm.com     */
33210694SMarco.Balboni@ARM.com    uint32_t payloadDelay;
3333218Sgblack@eecs.umich.edu
3345735Snate@binkert.org    /**
3355735Snate@binkert.org     * A virtual base opaque structure used to hold state associated
3369542Sandreas.hansson@arm.com     * with the packet (e.g., an MSHR), specific to a MemObject that
3379542Sandreas.hansson@arm.com     * sees the packet. A pointer to this state is returned in the
3389542Sandreas.hansson@arm.com     * packet's response so that the MemObject in question can quickly
3399542Sandreas.hansson@arm.com     * look up the state needed to process it. A specific subclass
3409542Sandreas.hansson@arm.com     * would be derived from this to carry state specific to a
3419542Sandreas.hansson@arm.com     * particular sending device.
3429542Sandreas.hansson@arm.com     *
3439542Sandreas.hansson@arm.com     * As multiple MemObjects may add their SenderState throughout the
3449542Sandreas.hansson@arm.com     * memory system, the SenderStates create a stack, where a
3459542Sandreas.hansson@arm.com     * MemObject can add a new Senderstate, as long as the
3469542Sandreas.hansson@arm.com     * predecessing SenderState is restored when the response comes
3479542Sandreas.hansson@arm.com     * back. For this reason, the predecessor should always be
3489542Sandreas.hansson@arm.com     * populated with the current SenderState of a packet before
3499542Sandreas.hansson@arm.com     * modifying the senderState field in the request packet.
3505735Snate@binkert.org     */
3515735Snate@binkert.org    struct SenderState
3525735Snate@binkert.org    {
3539542Sandreas.hansson@arm.com        SenderState* predecessor;
3549542Sandreas.hansson@arm.com        SenderState() : predecessor(NULL) {}
3552641Sstever@eecs.umich.edu        virtual ~SenderState() {}
3562641Sstever@eecs.umich.edu    };
3572641Sstever@eecs.umich.edu
3585315Sstever@gmail.com    /**
3595315Sstever@gmail.com     * Object used to maintain state of a PrintReq.  The senderState
3605315Sstever@gmail.com     * field of a PrintReq should always be of this type.
3615315Sstever@gmail.com     */
3629044SAli.Saidi@ARM.com    class PrintReqState : public SenderState
3635735Snate@binkert.org    {
3645735Snate@binkert.org      private:
3655735Snate@binkert.org        /**
3665735Snate@binkert.org         * An entry in the label stack.
3675735Snate@binkert.org         */
3685735Snate@binkert.org        struct LabelStackEntry
3695735Snate@binkert.org        {
3705314Sstever@gmail.com            const std::string label;
3715314Sstever@gmail.com            std::string *prefix;
3725314Sstever@gmail.com            bool labelPrinted;
3735735Snate@binkert.org            LabelStackEntry(const std::string &_label, std::string *_prefix);
3745314Sstever@gmail.com        };
3755314Sstever@gmail.com
3765314Sstever@gmail.com        typedef std::list<LabelStackEntry> LabelStack;
3775314Sstever@gmail.com        LabelStack labelStack;
3785314Sstever@gmail.com
3795314Sstever@gmail.com        std::string *curPrefixPtr;
3805314Sstever@gmail.com
3815314Sstever@gmail.com      public:
3825314Sstever@gmail.com        std::ostream &os;
3835314Sstever@gmail.com        const int verbosity;
3845314Sstever@gmail.com
3855314Sstever@gmail.com        PrintReqState(std::ostream &os, int verbosity = 0);
3865314Sstever@gmail.com        ~PrintReqState();
3875314Sstever@gmail.com
3885735Snate@binkert.org        /**
3895735Snate@binkert.org         * Returns the current line prefix.
3905735Snate@binkert.org         */
3915314Sstever@gmail.com        const std::string &curPrefix() { return *curPrefixPtr; }
3925315Sstever@gmail.com
3935735Snate@binkert.org        /**
3945735Snate@binkert.org         * Push a label onto the label stack, and prepend the given
3955315Sstever@gmail.com         * prefix string onto the current prefix.  Labels will only be
3965735Snate@binkert.org         * printed if an object within the label's scope is printed.
3975735Snate@binkert.org         */
3985314Sstever@gmail.com        void pushLabel(const std::string &lbl,
3995314Sstever@gmail.com                       const std::string &prefix = "  ");
4005735Snate@binkert.org
4015735Snate@binkert.org        /**
4025735Snate@binkert.org         * Pop a label off the label stack.
4035735Snate@binkert.org         */
4045314Sstever@gmail.com        void popLabel();
4055735Snate@binkert.org
4065735Snate@binkert.org        /**
4075735Snate@binkert.org         * Print all of the pending unprinted labels on the
4085315Sstever@gmail.com         * stack. Called by printObj(), so normally not called by
4095735Snate@binkert.org         * users unless bypassing printObj().
4105735Snate@binkert.org         */
4115314Sstever@gmail.com        void printLabels();
4125735Snate@binkert.org
4135735Snate@binkert.org        /**
4145735Snate@binkert.org         * Print a Printable object to os, because it matched the
4155735Snate@binkert.org         * address on a PrintReq.
4165735Snate@binkert.org         */
4175314Sstever@gmail.com        void printObj(Printable *obj);
4185314Sstever@gmail.com    };
4195314Sstever@gmail.com
4205735Snate@binkert.org    /**
4215735Snate@binkert.org     * This packet's sender state.  Devices should use dynamic_cast<>
4225735Snate@binkert.org     * to cast to the state appropriate to the sender.  The intent of
4235735Snate@binkert.org     * this variable is to allow a device to attach extra information
4249542Sandreas.hansson@arm.com     * to a request. A response packet must return the sender state
4255735Snate@binkert.org     * that was attached to the original request (even if a new packet
4265735Snate@binkert.org     * is created).
4275735Snate@binkert.org     */
4282662Sstever@eecs.umich.edu    SenderState *senderState;
4292641Sstever@eecs.umich.edu
4309542Sandreas.hansson@arm.com    /**
4319542Sandreas.hansson@arm.com     * Push a new sender state to the packet and make the current
4329542Sandreas.hansson@arm.com     * sender state the predecessor of the new one. This should be
4339542Sandreas.hansson@arm.com     * prefered over direct manipulation of the senderState member
4349542Sandreas.hansson@arm.com     * variable.
4359542Sandreas.hansson@arm.com     *
4369542Sandreas.hansson@arm.com     * @param sender_state SenderState to push at the top of the stack
4379542Sandreas.hansson@arm.com     */
4389542Sandreas.hansson@arm.com    void pushSenderState(SenderState *sender_state);
4399542Sandreas.hansson@arm.com
4409542Sandreas.hansson@arm.com    /**
4419542Sandreas.hansson@arm.com     * Pop the top of the state stack and return a pointer to it. This
4429542Sandreas.hansson@arm.com     * assumes the current sender state is not NULL. This should be
4439542Sandreas.hansson@arm.com     * preferred over direct manipulation of the senderState member
4449542Sandreas.hansson@arm.com     * variable.
4459542Sandreas.hansson@arm.com     *
4469542Sandreas.hansson@arm.com     * @return The current top of the stack
4479542Sandreas.hansson@arm.com     */
4489542Sandreas.hansson@arm.com    SenderState *popSenderState();
4499542Sandreas.hansson@arm.com
4509543Ssascha.bischoff@arm.com    /**
4519543Ssascha.bischoff@arm.com     * Go through the sender state stack and return the first instance
4529543Ssascha.bischoff@arm.com     * that is of type T (as determined by a dynamic_cast). If there
4539543Ssascha.bischoff@arm.com     * is no sender state of type T, NULL is returned.
4549543Ssascha.bischoff@arm.com     *
4559543Ssascha.bischoff@arm.com     * @return The topmost state of type T
4569543Ssascha.bischoff@arm.com     */
4579543Ssascha.bischoff@arm.com    template <typename T>
4589543Ssascha.bischoff@arm.com    T * findNextSenderState() const
4599543Ssascha.bischoff@arm.com    {
4609543Ssascha.bischoff@arm.com        T *t = NULL;
4619543Ssascha.bischoff@arm.com        SenderState* sender_state = senderState;
4629543Ssascha.bischoff@arm.com        while (t == NULL && sender_state != NULL) {
4639543Ssascha.bischoff@arm.com            t = dynamic_cast<T*>(sender_state);
4649543Ssascha.bischoff@arm.com            sender_state = sender_state->predecessor;
4659543Ssascha.bischoff@arm.com        }
4669543Ssascha.bischoff@arm.com        return t;
4679543Ssascha.bischoff@arm.com    }
4689543Ssascha.bischoff@arm.com
4695735Snate@binkert.org    /// Return the string name of the cmd field (for debugging and
4705735Snate@binkert.org    /// tracing).
4714022Sstever@eecs.umich.edu    const std::string &cmdString() const { return cmd.toString(); }
4722811Srdreslin@umich.edu
4735735Snate@binkert.org    /// Return the index of this command.
4744022Sstever@eecs.umich.edu    inline int cmdToIndex() const { return cmd.toInt(); }
4752811Srdreslin@umich.edu
47610583SCurtis.Dunham@arm.com    bool isRead() const              { return cmd.isRead(); }
47710583SCurtis.Dunham@arm.com    bool isWrite() const             { return cmd.isWrite(); }
47810583SCurtis.Dunham@arm.com    bool isUpgrade()  const          { return cmd.isUpgrade(); }
47910583SCurtis.Dunham@arm.com    bool isRequest() const           { return cmd.isRequest(); }
48010583SCurtis.Dunham@arm.com    bool isResponse() const          { return cmd.isResponse(); }
48110583SCurtis.Dunham@arm.com    bool needsExclusive() const      { return cmd.needsExclusive(); }
48210583SCurtis.Dunham@arm.com    bool needsResponse() const       { return cmd.needsResponse(); }
48310583SCurtis.Dunham@arm.com    bool isInvalidate() const        { return cmd.isInvalidate(); }
48410583SCurtis.Dunham@arm.com    bool hasData() const             { return cmd.hasData(); }
48510583SCurtis.Dunham@arm.com    bool isLLSC() const              { return cmd.isLLSC(); }
48610583SCurtis.Dunham@arm.com    bool isError() const             { return cmd.isError(); }
48710583SCurtis.Dunham@arm.com    bool isPrint() const             { return cmd.isPrint(); }
48810583SCurtis.Dunham@arm.com    bool isFlush() const             { return cmd.isFlush(); }
4892812Srdreslin@umich.edu
4904870Sstever@eecs.umich.edu    // Snoop flags
49110567Sandreas.hansson@arm.com    void assertMemInhibit()
49210567Sandreas.hansson@arm.com    {
49310567Sandreas.hansson@arm.com        assert(isRequest());
49410567Sandreas.hansson@arm.com        assert(!flags.isSet(MEM_INHIBIT));
49510567Sandreas.hansson@arm.com        flags.set(MEM_INHIBIT);
49610567Sandreas.hansson@arm.com    }
4979951Sstephan.diestelhorst@arm.com    bool memInhibitAsserted() const { return flags.isSet(MEM_INHIBIT); }
4989951Sstephan.diestelhorst@arm.com    void assertShared()             { flags.set(SHARED); }
4999951Sstephan.diestelhorst@arm.com    bool sharedAsserted() const     { return flags.isSet(SHARED); }
5004870Sstever@eecs.umich.edu
5014895Sstever@eecs.umich.edu    // Special control flags
5029951Sstephan.diestelhorst@arm.com    void setExpressSnoop()          { flags.set(EXPRESS_SNOOP); }
5039951Sstephan.diestelhorst@arm.com    bool isExpressSnoop() const     { return flags.isSet(EXPRESS_SNOOP); }
5049951Sstephan.diestelhorst@arm.com    void setSupplyExclusive()       { flags.set(SUPPLY_EXCLUSIVE); }
5059951Sstephan.diestelhorst@arm.com    void clearSupplyExclusive()     { flags.clear(SUPPLY_EXCLUSIVE); }
5069951Sstephan.diestelhorst@arm.com    bool isSupplyExclusive() const  { return flags.isSet(SUPPLY_EXCLUSIVE); }
5079951Sstephan.diestelhorst@arm.com    void setSuppressFuncError()     { flags.set(SUPPRESS_FUNC_ERROR); }
5089951Sstephan.diestelhorst@arm.com    bool suppressFuncError() const  { return flags.isSet(SUPPRESS_FUNC_ERROR); }
50910763Sali.jafri@arm.com    void setBlockCached()          { flags.set(BLOCK_CACHED); }
51010763Sali.jafri@arm.com    bool isBlockCached() const     { return flags.isSet(BLOCK_CACHED); }
51110883Sali.jafri@arm.com    void clearBlockCached()        { flags.clear(BLOCK_CACHED); }
5124895Sstever@eecs.umich.edu
5134870Sstever@eecs.umich.edu    // Network error conditions... encapsulate them as methods since
5144870Sstever@eecs.umich.edu    // their encoding keeps changing (from result field to command
5154870Sstever@eecs.umich.edu    // field, etc.)
5165735Snate@binkert.org    void
5175735Snate@binkert.org    setBadAddress()
5185735Snate@binkert.org    {
5195735Snate@binkert.org        assert(isResponse());
5205735Snate@binkert.org        cmd = MemCmd::BadAddressError;
5215735Snate@binkert.org    }
5225735Snate@binkert.org
5235735Snate@binkert.org    bool hadBadAddress() const { return cmd == MemCmd::BadAddressError; }
5244986Ssaidi@eecs.umich.edu    void copyError(Packet *pkt) { assert(pkt->isError()); cmd = pkt->cmd; }
5252814Srdreslin@umich.edu
5265764Snate@binkert.org    Addr getAddr() const { assert(flags.isSet(VALID_ADDR)); return addr; }
5279259SAli.Saidi@ARM.com    /**
5289259SAli.Saidi@ARM.com     * Update the address of this packet mid-transaction. This is used
5299259SAli.Saidi@ARM.com     * by the address mapper to change an already set address to a new
5309259SAli.Saidi@ARM.com     * one based on the system configuration. It is intended to remap
5319259SAli.Saidi@ARM.com     * an existing address, so it asserts that the current address is
5329259SAli.Saidi@ARM.com     * valid.
5339259SAli.Saidi@ARM.com     */
5349259SAli.Saidi@ARM.com    void setAddr(Addr _addr) { assert(flags.isSet(VALID_ADDR)); addr = _addr; }
5359259SAli.Saidi@ARM.com
5366227Snate@binkert.org    unsigned getSize() const  { assert(flags.isSet(VALID_SIZE)); return size; }
5375735Snate@binkert.org    Addr getOffset(int blkSize) const { return getAddr() & (Addr)(blkSize - 1); }
5382549SN/A
53910028SGiacomo.Gabrielli@arm.com    bool isSecure() const
54010028SGiacomo.Gabrielli@arm.com    {
54110028SGiacomo.Gabrielli@arm.com        assert(flags.isSet(VALID_ADDR));
54210028SGiacomo.Gabrielli@arm.com        return _isSecure;
54310028SGiacomo.Gabrielli@arm.com    }
54410028SGiacomo.Gabrielli@arm.com
5455735Snate@binkert.org    /**
5467550SBrad.Beckmann@amd.com     * It has been determined that the SC packet should successfully update
5477550SBrad.Beckmann@amd.com     * memory.  Therefore, convert this SC packet to a normal write.
5487550SBrad.Beckmann@amd.com     */
5497550SBrad.Beckmann@amd.com    void
5507550SBrad.Beckmann@amd.com    convertScToWrite()
5517550SBrad.Beckmann@amd.com    {
5527550SBrad.Beckmann@amd.com        assert(isLLSC());
5537550SBrad.Beckmann@amd.com        assert(isWrite());
5547550SBrad.Beckmann@amd.com        cmd = MemCmd::WriteReq;
5557550SBrad.Beckmann@amd.com    }
5567550SBrad.Beckmann@amd.com
5577550SBrad.Beckmann@amd.com    /**
5587550SBrad.Beckmann@amd.com     * When ruby is in use, Ruby will monitor the cache line and thus M5
5597550SBrad.Beckmann@amd.com     * phys memory should treat LL ops as normal reads.
5607550SBrad.Beckmann@amd.com     */
5617550SBrad.Beckmann@amd.com    void
5627550SBrad.Beckmann@amd.com    convertLlToRead()
5637550SBrad.Beckmann@amd.com    {
5647550SBrad.Beckmann@amd.com        assert(isLLSC());
5657550SBrad.Beckmann@amd.com        assert(isRead());
5667550SBrad.Beckmann@amd.com        cmd = MemCmd::ReadReq;
5677550SBrad.Beckmann@amd.com    }
5687550SBrad.Beckmann@amd.com
5697550SBrad.Beckmann@amd.com    /**
5705735Snate@binkert.org     * Constructor.  Note that a Request object must be constructed
5715735Snate@binkert.org     * first, but the Requests's physical address and size fields need
5729030Sandreas.hansson@arm.com     * not be valid. The command must be supplied.
5735735Snate@binkert.org     */
57410569Sandreas.hansson@arm.com    Packet(const RequestPtr _req, MemCmd _cmd)
57510360Sandreas.hansson@arm.com        :  cmd(_cmd), req(_req), data(nullptr), addr(0), _isSecure(false),
57610723Sandreas.hansson@arm.com           size(0), headerDelay(0), payloadDelay(0),
5779546Sandreas.hansson@arm.com           senderState(NULL)
5782641Sstever@eecs.umich.edu    {
5796104Ssteve.reinhardt@amd.com        if (req->hasPaddr()) {
5806104Ssteve.reinhardt@amd.com            addr = req->getPaddr();
5816104Ssteve.reinhardt@amd.com            flags.set(VALID_ADDR);
58210028SGiacomo.Gabrielli@arm.com            _isSecure = req->isSecure();
5836104Ssteve.reinhardt@amd.com        }
5846104Ssteve.reinhardt@amd.com        if (req->hasSize()) {
5856104Ssteve.reinhardt@amd.com            size = req->getSize();
5866104Ssteve.reinhardt@amd.com            flags.set(VALID_SIZE);
5876104Ssteve.reinhardt@amd.com        }
5882813Srdreslin@umich.edu    }
5892813Srdreslin@umich.edu
5905735Snate@binkert.org    /**
5915735Snate@binkert.org     * Alternate constructor if you are trying to create a packet with
5925735Snate@binkert.org     * a request that is for a whole block, not the address from the
5935735Snate@binkert.org     * req.  this allows for overriding the size/addr of the req.
5945735Snate@binkert.org     */
59510569Sandreas.hansson@arm.com    Packet(const RequestPtr _req, MemCmd _cmd, int _blkSize)
59610360Sandreas.hansson@arm.com        :  cmd(_cmd), req(_req), data(nullptr), addr(0), _isSecure(false),
59710694SMarco.Balboni@ARM.com           headerDelay(0), payloadDelay(0),
5989546Sandreas.hansson@arm.com           senderState(NULL)
5992813Srdreslin@umich.edu    {
6006104Ssteve.reinhardt@amd.com        if (req->hasPaddr()) {
6016104Ssteve.reinhardt@amd.com            addr = req->getPaddr() & ~(_blkSize - 1);
6026104Ssteve.reinhardt@amd.com            flags.set(VALID_ADDR);
60310028SGiacomo.Gabrielli@arm.com            _isSecure = req->isSecure();
6046104Ssteve.reinhardt@amd.com        }
6056104Ssteve.reinhardt@amd.com        size = _blkSize;
6066104Ssteve.reinhardt@amd.com        flags.set(VALID_SIZE);
6074626Sstever@eecs.umich.edu    }
6084626Sstever@eecs.umich.edu
6095735Snate@binkert.org    /**
6105735Snate@binkert.org     * Alternate constructor for copying a packet.  Copy all fields
6114887Sstever@eecs.umich.edu     * *except* if the original packet's data was dynamic, don't copy
6124887Sstever@eecs.umich.edu     * that, as we can't guarantee that the new packet's lifetime is
6134887Sstever@eecs.umich.edu     * less than that of the original packet.  In this case the new
6145735Snate@binkert.org     * packet should allocate its own data.
6155735Snate@binkert.org     */
61610571Sandreas.hansson@arm.com    Packet(PacketPtr pkt, bool clear_flags, bool alloc_data)
6175735Snate@binkert.org        :  cmd(pkt->cmd), req(pkt->req),
61810571Sandreas.hansson@arm.com           data(nullptr),
61910028SGiacomo.Gabrielli@arm.com           addr(pkt->addr), _isSecure(pkt->_isSecure), size(pkt->size),
62010723Sandreas.hansson@arm.com           bytesValid(pkt->bytesValid),
62110694SMarco.Balboni@ARM.com           headerDelay(pkt->headerDelay),
62210694SMarco.Balboni@ARM.com           payloadDelay(pkt->payloadDelay),
6239546Sandreas.hansson@arm.com           senderState(pkt->senderState)
6244626Sstever@eecs.umich.edu    {
62510571Sandreas.hansson@arm.com        if (!clear_flags)
6265735Snate@binkert.org            flags.set(pkt->flags & COPY_FLAGS);
6275735Snate@binkert.org
6289031Sandreas.hansson@arm.com        flags.set(pkt->flags & (VALID_ADDR|VALID_SIZE));
62910565Sandreas.hansson@arm.com
63010571Sandreas.hansson@arm.com        // should we allocate space for data, or not, the express
63110571Sandreas.hansson@arm.com        // snoops do not need to carry any data as they only serve to
63210571Sandreas.hansson@arm.com        // co-ordinate state changes
63310571Sandreas.hansson@arm.com        if (alloc_data) {
63410571Sandreas.hansson@arm.com            // even if asked to allocate data, if the original packet
63510571Sandreas.hansson@arm.com            // holds static data, then the sender will not be doing
63610571Sandreas.hansson@arm.com            // any memcpy on receiving the response, thus we simply
63710571Sandreas.hansson@arm.com            // carry the pointer forward
63810571Sandreas.hansson@arm.com            if (pkt->flags.isSet(STATIC_DATA)) {
63910571Sandreas.hansson@arm.com                data = pkt->data;
64010571Sandreas.hansson@arm.com                flags.set(STATIC_DATA);
64110571Sandreas.hansson@arm.com            } else {
64210571Sandreas.hansson@arm.com                allocate();
64310571Sandreas.hansson@arm.com            }
64410571Sandreas.hansson@arm.com        }
64510342SCurtis.Dunham@arm.com    }
6468668Sgeoffrey.blake@arm.com
64710342SCurtis.Dunham@arm.com    /**
64810739Ssteve.reinhardt@amd.com     * Generate the appropriate read MemCmd based on the Request flags.
64910342SCurtis.Dunham@arm.com     */
65010739Ssteve.reinhardt@amd.com    static MemCmd
65110739Ssteve.reinhardt@amd.com    makeReadCmd(const RequestPtr req)
65210342SCurtis.Dunham@arm.com    {
65310739Ssteve.reinhardt@amd.com        if (req->isLLSC())
65410739Ssteve.reinhardt@amd.com            return MemCmd::LoadLockedReq;
65510739Ssteve.reinhardt@amd.com        else if (req->isPrefetch())
65610739Ssteve.reinhardt@amd.com            return MemCmd::SoftPFReq;
65710739Ssteve.reinhardt@amd.com        else
65810739Ssteve.reinhardt@amd.com            return MemCmd::ReadReq;
65910739Ssteve.reinhardt@amd.com    }
66010739Ssteve.reinhardt@amd.com
66110739Ssteve.reinhardt@amd.com    /**
66210739Ssteve.reinhardt@amd.com     * Generate the appropriate write MemCmd based on the Request flags.
66310739Ssteve.reinhardt@amd.com     */
66410739Ssteve.reinhardt@amd.com    static MemCmd
66510739Ssteve.reinhardt@amd.com    makeWriteCmd(const RequestPtr req)
66610739Ssteve.reinhardt@amd.com    {
66710739Ssteve.reinhardt@amd.com        if (req->isLLSC())
66810739Ssteve.reinhardt@amd.com            return MemCmd::StoreCondReq;
66910739Ssteve.reinhardt@amd.com        else if (req->isSwap())
67010739Ssteve.reinhardt@amd.com            return MemCmd::SwapReq;
67110739Ssteve.reinhardt@amd.com        else
67210739Ssteve.reinhardt@amd.com            return MemCmd::WriteReq;
67310342SCurtis.Dunham@arm.com    }
67410342SCurtis.Dunham@arm.com
67510342SCurtis.Dunham@arm.com    /**
67610342SCurtis.Dunham@arm.com     * Constructor-like methods that return Packets based on Request objects.
67710739Ssteve.reinhardt@amd.com     * Fine-tune the MemCmd type if it's not a vanilla read or write.
67810342SCurtis.Dunham@arm.com     */
67910342SCurtis.Dunham@arm.com    static PacketPtr
68010569Sandreas.hansson@arm.com    createRead(const RequestPtr req)
68110342SCurtis.Dunham@arm.com    {
68210739Ssteve.reinhardt@amd.com        return new Packet(req, makeReadCmd(req));
68310342SCurtis.Dunham@arm.com    }
68410342SCurtis.Dunham@arm.com
68510342SCurtis.Dunham@arm.com    static PacketPtr
68610569Sandreas.hansson@arm.com    createWrite(const RequestPtr req)
68710342SCurtis.Dunham@arm.com    {
68810739Ssteve.reinhardt@amd.com        return new Packet(req, makeWriteCmd(req));
6892641Sstever@eecs.umich.edu    }
6902549SN/A
6915735Snate@binkert.org    /**
6925735Snate@binkert.org     * clean up packet variables
6935735Snate@binkert.org     */
6942566SN/A    ~Packet()
6955387Sstever@gmail.com    {
69610872Sali.jafri@arm.com        // Delete the request object if this is a request packet which
69710872Sali.jafri@arm.com        // does not need a response, because the requester will not get
69810872Sali.jafri@arm.com        // a chance. If the request packet needs a response then the
69910872Sali.jafri@arm.com        // request will be deleted on receipt of the response
70010872Sali.jafri@arm.com        // packet. We also make sure to never delete the request for
70110872Sali.jafri@arm.com        // express snoops, even for cases when responses are not
70210872Sali.jafri@arm.com        // needed (CleanEvict and Writeback), since the snoop packet
70310872Sali.jafri@arm.com        // re-uses the same request.
70410872Sali.jafri@arm.com        if (req && isRequest() && !needsResponse() &&
70510872Sali.jafri@arm.com            !isExpressSnoop()) {
7065387Sstever@gmail.com            delete req;
70710872Sali.jafri@arm.com        }
7085735Snate@binkert.org        deleteData();
7095387Sstever@gmail.com    }
7102566SN/A
7115735Snate@binkert.org    /**
7124626Sstever@eecs.umich.edu     * Take a request packet and modify it in place to be suitable for
71310660Sandreas.hansson@arm.com     * returning as a response to that request.
7144626Sstever@eecs.umich.edu     */
7155735Snate@binkert.org    void
7165735Snate@binkert.org    makeResponse()
7174626Sstever@eecs.umich.edu    {
7182662Sstever@eecs.umich.edu        assert(needsResponse());
7192855Srdreslin@umich.edu        assert(isRequest());
7204986Ssaidi@eecs.umich.edu        origCmd = cmd;
7214022Sstever@eecs.umich.edu        cmd = cmd.responseCommand();
7225745Snate@binkert.org
7237464Ssteve.reinhardt@amd.com        // responses are never express, even if the snoop that
7247464Ssteve.reinhardt@amd.com        // triggered them was
7257464Ssteve.reinhardt@amd.com        flags.clear(EXPRESS_SNOOP);
7262641Sstever@eecs.umich.edu    }
7272641Sstever@eecs.umich.edu
7285735Snate@binkert.org    void
7295735Snate@binkert.org    makeAtomicResponse()
7304870Sstever@eecs.umich.edu    {
7314870Sstever@eecs.umich.edu        makeResponse();
7324870Sstever@eecs.umich.edu    }
7334870Sstever@eecs.umich.edu
7345735Snate@binkert.org    void
7355735Snate@binkert.org    makeTimingResponse()
7363348Sbinkertn@umich.edu    {
7374870Sstever@eecs.umich.edu        makeResponse();
7383135Srdreslin@umich.edu    }
7393135Srdreslin@umich.edu
7408436SBrad.Beckmann@amd.com    void
7418436SBrad.Beckmann@amd.com    setFunctionalResponseStatus(bool success)
7428436SBrad.Beckmann@amd.com    {
7438436SBrad.Beckmann@amd.com        if (!success) {
7448436SBrad.Beckmann@amd.com            if (isWrite()) {
7458436SBrad.Beckmann@amd.com                cmd = MemCmd::FunctionalWriteError;
7468436SBrad.Beckmann@amd.com            } else {
7478436SBrad.Beckmann@amd.com                cmd = MemCmd::FunctionalReadError;
7488436SBrad.Beckmann@amd.com            }
7498436SBrad.Beckmann@amd.com        }
7508436SBrad.Beckmann@amd.com    }
7518436SBrad.Beckmann@amd.com
7527006Snate@binkert.org    void
7537006Snate@binkert.org    setSize(unsigned size)
7547006Snate@binkert.org    {
7557006Snate@binkert.org        assert(!flags.isSet(VALID_SIZE));
7567006Snate@binkert.org
7577006Snate@binkert.org        this->size = size;
7587006Snate@binkert.org        flags.set(VALID_SIZE);
7597006Snate@binkert.org    }
7607006Snate@binkert.org
7612685Ssaidi@eecs.umich.edu
7623348Sbinkertn@umich.edu    /**
7633348Sbinkertn@umich.edu     * Set the data pointer to the following value that should not be
76410571Sandreas.hansson@arm.com     * freed. Static data allows us to do a single memcpy even if
76510571Sandreas.hansson@arm.com     * multiple packets are required to get from source to destination
76610571Sandreas.hansson@arm.com     * and back. In essence the pointer is set calling dataStatic on
76710571Sandreas.hansson@arm.com     * the original packet, and whenever this packet is copied and
76810571Sandreas.hansson@arm.com     * forwarded the same pointer is passed on. When a packet
76910571Sandreas.hansson@arm.com     * eventually reaches the destination holding the data, it is
77010571Sandreas.hansson@arm.com     * copied once into the location originally set. On the way back
77110571Sandreas.hansson@arm.com     * to the source, no copies are necessary.
7722566SN/A     */
7732566SN/A    template <typename T>
7743348Sbinkertn@umich.edu    void
7753348Sbinkertn@umich.edu    dataStatic(T *p)
7763348Sbinkertn@umich.edu    {
77710566Sandreas.hansson@arm.com        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
7783348Sbinkertn@umich.edu        data = (PacketDataPtr)p;
7795735Snate@binkert.org        flags.set(STATIC_DATA);
7803348Sbinkertn@umich.edu    }
7812566SN/A
7823348Sbinkertn@umich.edu    /**
78310564Sandreas.hansson@arm.com     * Set the data pointer to the following value that should not be
78410564Sandreas.hansson@arm.com     * freed. This version of the function allows the pointer passed
78510564Sandreas.hansson@arm.com     * to us to be const. To avoid issues down the line we cast the
78610564Sandreas.hansson@arm.com     * constness away, the alternative would be to keep both a const
78710564Sandreas.hansson@arm.com     * and non-const data pointer and cleverly choose between
78810564Sandreas.hansson@arm.com     * them. Note that this is only allowed for static data.
78910564Sandreas.hansson@arm.com     */
79010564Sandreas.hansson@arm.com    template <typename T>
79110564Sandreas.hansson@arm.com    void
79210564Sandreas.hansson@arm.com    dataStaticConst(const T *p)
79310564Sandreas.hansson@arm.com    {
79410566Sandreas.hansson@arm.com        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
79510564Sandreas.hansson@arm.com        data = const_cast<PacketDataPtr>(p);
79610564Sandreas.hansson@arm.com        flags.set(STATIC_DATA);
79710564Sandreas.hansson@arm.com    }
79810564Sandreas.hansson@arm.com
79910564Sandreas.hansson@arm.com    /**
8003348Sbinkertn@umich.edu     * Set the data pointer to a value that should have delete []
80110571Sandreas.hansson@arm.com     * called on it. Dynamic data is local to this packet, and as the
80210571Sandreas.hansson@arm.com     * packet travels from source to destination, forwarded packets
80310571Sandreas.hansson@arm.com     * will allocate their own data. When a packet reaches the final
80410571Sandreas.hansson@arm.com     * destination it will populate the dynamic data of that specific
80510571Sandreas.hansson@arm.com     * packet, and on the way back towards the source, memcpy will be
80610571Sandreas.hansson@arm.com     * invoked in every step where a new packet was created e.g. in
80710571Sandreas.hansson@arm.com     * the caches. Ultimately when the response reaches the source a
80810571Sandreas.hansson@arm.com     * final memcpy is needed to extract the data from the packet
80910571Sandreas.hansson@arm.com     * before it is deallocated.
8103348Sbinkertn@umich.edu     */
8112566SN/A    template <typename T>
8123348Sbinkertn@umich.edu    void
8133348Sbinkertn@umich.edu    dataDynamic(T *p)
8143348Sbinkertn@umich.edu    {
81510566Sandreas.hansson@arm.com        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
8163348Sbinkertn@umich.edu        data = (PacketDataPtr)p;
8175735Snate@binkert.org        flags.set(DYNAMIC_DATA);
8183348Sbinkertn@umich.edu    }
8193348Sbinkertn@umich.edu
8205735Snate@binkert.org    /**
8215735Snate@binkert.org     * get a pointer to the data ptr.
8225735Snate@binkert.org     */
8233348Sbinkertn@umich.edu    template <typename T>
8243348Sbinkertn@umich.edu    T*
82510562Sandreas.hansson@arm.com    getPtr()
8263348Sbinkertn@umich.edu    {
82710562Sandreas.hansson@arm.com        assert(flags.isSet(STATIC_DATA|DYNAMIC_DATA));
8283348Sbinkertn@umich.edu        return (T*)data;
8293348Sbinkertn@umich.edu    }
8302566SN/A
83110563Sandreas.hansson@arm.com    template <typename T>
83210563Sandreas.hansson@arm.com    const T*
83310563Sandreas.hansson@arm.com    getConstPtr() const
83410563Sandreas.hansson@arm.com    {
83510563Sandreas.hansson@arm.com        assert(flags.isSet(STATIC_DATA|DYNAMIC_DATA));
83610563Sandreas.hansson@arm.com        return (const T*)data;
83710563Sandreas.hansson@arm.com    }
83810563Sandreas.hansson@arm.com
8395735Snate@binkert.org    /**
8405735Snate@binkert.org     * return the value of what is pointed to in the packet.
8415735Snate@binkert.org     */
8422566SN/A    template <typename T>
84310563Sandreas.hansson@arm.com    T get() const;
8442566SN/A
8455735Snate@binkert.org    /**
8465735Snate@binkert.org     * set the value in the data pointer to v.
8475735Snate@binkert.org     */
8482566SN/A    template <typename T>
8492592SN/A    void set(T v);
8502566SN/A
8513348Sbinkertn@umich.edu    /**
8524626Sstever@eecs.umich.edu     * Copy data into the packet from the provided pointer.
8534626Sstever@eecs.umich.edu     */
8545735Snate@binkert.org    void
85510563Sandreas.hansson@arm.com    setData(const uint8_t *p)
8564626Sstever@eecs.umich.edu    {
85710571Sandreas.hansson@arm.com        // we should never be copying data onto itself, which means we
85810571Sandreas.hansson@arm.com        // must idenfity packets with static data, as they carry the
85910571Sandreas.hansson@arm.com        // same pointer from source to destination and back
86010571Sandreas.hansson@arm.com        assert(p != getPtr<uint8_t>() || flags.isSet(STATIC_DATA));
86110571Sandreas.hansson@arm.com
8627691SAli.Saidi@ARM.com        if (p != getPtr<uint8_t>())
86310571Sandreas.hansson@arm.com            // for packet with allocated dynamic data, we copy data from
86410571Sandreas.hansson@arm.com            // one to the other, e.g. a forwarded response to a response
8657691SAli.Saidi@ARM.com            std::memcpy(getPtr<uint8_t>(), p, getSize());
8664626Sstever@eecs.umich.edu    }
8674626Sstever@eecs.umich.edu
8684626Sstever@eecs.umich.edu    /**
8694626Sstever@eecs.umich.edu     * Copy data into the packet from the provided block pointer,
8704626Sstever@eecs.umich.edu     * which is aligned to the given block size.
8714626Sstever@eecs.umich.edu     */
8725735Snate@binkert.org    void
87310563Sandreas.hansson@arm.com    setDataFromBlock(const uint8_t *blk_data, int blkSize)
8744626Sstever@eecs.umich.edu    {
8754626Sstever@eecs.umich.edu        setData(blk_data + getOffset(blkSize));
8764626Sstever@eecs.umich.edu    }
8774626Sstever@eecs.umich.edu
8784626Sstever@eecs.umich.edu    /**
8794626Sstever@eecs.umich.edu     * Copy data from the packet to the provided block pointer, which
8804626Sstever@eecs.umich.edu     * is aligned to the given block size.
8814626Sstever@eecs.umich.edu     */
8825735Snate@binkert.org    void
88310563Sandreas.hansson@arm.com    writeData(uint8_t *p) const
8844626Sstever@eecs.umich.edu    {
88510563Sandreas.hansson@arm.com        std::memcpy(p, getConstPtr<uint8_t>(), getSize());
8864626Sstever@eecs.umich.edu    }
8874626Sstever@eecs.umich.edu
8884626Sstever@eecs.umich.edu    /**
8894626Sstever@eecs.umich.edu     * Copy data from the packet to the memory at the provided pointer.
8904626Sstever@eecs.umich.edu     */
8915735Snate@binkert.org    void
89210563Sandreas.hansson@arm.com    writeDataToBlock(uint8_t *blk_data, int blkSize) const
8934626Sstever@eecs.umich.edu    {
8944626Sstever@eecs.umich.edu        writeData(blk_data + getOffset(blkSize));
8954626Sstever@eecs.umich.edu    }
8964626Sstever@eecs.umich.edu
8974626Sstever@eecs.umich.edu    /**
8983348Sbinkertn@umich.edu     * delete the data pointed to in the data pointer. Ok to call to
8993348Sbinkertn@umich.edu     * matter how data was allocted.
9003348Sbinkertn@umich.edu     */
9015735Snate@binkert.org    void
9025735Snate@binkert.org    deleteData()
9035735Snate@binkert.org    {
90410566Sandreas.hansson@arm.com        if (flags.isSet(DYNAMIC_DATA))
9055735Snate@binkert.org            delete [] data;
9065735Snate@binkert.org
90710566Sandreas.hansson@arm.com        flags.clear(STATIC_DATA|DYNAMIC_DATA);
9085735Snate@binkert.org        data = NULL;
9095735Snate@binkert.org    }
9102566SN/A
91110565Sandreas.hansson@arm.com    /** Allocate memory for the packet. */
9125735Snate@binkert.org    void
9135735Snate@binkert.org    allocate()
9145735Snate@binkert.org    {
9155764Snate@binkert.org        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
91610566Sandreas.hansson@arm.com        flags.set(DYNAMIC_DATA);
9175745Snate@binkert.org        data = new uint8_t[getSize()];
9185735Snate@binkert.org    }
9195735Snate@binkert.org
9204626Sstever@eecs.umich.edu    /**
92110570Sandreas.hansson@arm.com     * Check a functional request against a memory value stored in
92210570Sandreas.hansson@arm.com     * another packet (i.e. an in-transit request or
92310570Sandreas.hansson@arm.com     * response). Returns true if the current packet is a read, and
92410570Sandreas.hansson@arm.com     * the other packet provides the data, which is then copied to the
92510570Sandreas.hansson@arm.com     * current packet. If the current packet is a write, and the other
92610570Sandreas.hansson@arm.com     * packet intersects this one, then we update the data
92710570Sandreas.hansson@arm.com     * accordingly.
92810570Sandreas.hansson@arm.com     */
92910570Sandreas.hansson@arm.com    bool
93010570Sandreas.hansson@arm.com    checkFunctional(PacketPtr other)
93110570Sandreas.hansson@arm.com    {
93210570Sandreas.hansson@arm.com        // all packets that are carrying a payload should have a valid
93310570Sandreas.hansson@arm.com        // data pointer
93410570Sandreas.hansson@arm.com        return checkFunctional(other, other->getAddr(), other->isSecure(),
93510570Sandreas.hansson@arm.com                               other->getSize(),
93610570Sandreas.hansson@arm.com                               other->hasData() ?
93710570Sandreas.hansson@arm.com                               other->getPtr<uint8_t>() : NULL);
93810570Sandreas.hansson@arm.com    }
93910570Sandreas.hansson@arm.com
94010570Sandreas.hansson@arm.com    /**
94110883Sali.jafri@arm.com     * Is this request notification of a clean or dirty eviction from the cache.
94210883Sali.jafri@arm.com     **/
94310883Sali.jafri@arm.com    bool
94410883Sali.jafri@arm.com    evictingBlock() const
94510883Sali.jafri@arm.com    {
94610883Sali.jafri@arm.com        return (cmd == MemCmd::Writeback ||
94710883Sali.jafri@arm.com                cmd == MemCmd::CleanEvict);
94810883Sali.jafri@arm.com    }
94910883Sali.jafri@arm.com
95010883Sali.jafri@arm.com    /**
95110883Sali.jafri@arm.com     * Does the request need to check for cached copies of the same block
95210883Sali.jafri@arm.com     * in the memory hierarchy above.
95310883Sali.jafri@arm.com     **/
95410883Sali.jafri@arm.com    bool
95510883Sali.jafri@arm.com    mustCheckAbove() const
95610883Sali.jafri@arm.com    {
95710883Sali.jafri@arm.com        return (cmd == MemCmd::HardPFReq ||
95810883Sali.jafri@arm.com                evictingBlock());
95910883Sali.jafri@arm.com    }
96010883Sali.jafri@arm.com
96110883Sali.jafri@arm.com    /**
9624626Sstever@eecs.umich.edu     * Check a functional request against a memory value represented
96310570Sandreas.hansson@arm.com     * by a base/size pair and an associated data array. If the
96410570Sandreas.hansson@arm.com     * current packet is a read, it may be satisfied by the memory
96510570Sandreas.hansson@arm.com     * value. If the current packet is a write, it may update the
9664626Sstever@eecs.umich.edu     * memory value.
9674626Sstever@eecs.umich.edu     */
9685735Snate@binkert.org    bool
96910570Sandreas.hansson@arm.com    checkFunctional(Printable *obj, Addr base, bool is_secure, int size,
97010570Sandreas.hansson@arm.com                    uint8_t *_data);
9715314Sstever@gmail.com
9725315Sstever@gmail.com    /**
9735315Sstever@gmail.com     * Push label for PrintReq (safe to call unconditionally).
9745315Sstever@gmail.com     */
9755735Snate@binkert.org    void
9765735Snate@binkert.org    pushLabel(const std::string &lbl)
9775735Snate@binkert.org    {
9785735Snate@binkert.org        if (isPrint())
9795735Snate@binkert.org            safe_cast<PrintReqState*>(senderState)->pushLabel(lbl);
9805314Sstever@gmail.com    }
9815314Sstever@gmail.com
9825315Sstever@gmail.com    /**
9835315Sstever@gmail.com     * Pop label for PrintReq (safe to call unconditionally).
9845315Sstever@gmail.com     */
9855735Snate@binkert.org    void
9865735Snate@binkert.org    popLabel()
9875735Snate@binkert.org    {
9885735Snate@binkert.org        if (isPrint())
9895735Snate@binkert.org            safe_cast<PrintReqState*>(senderState)->popLabel();
9905314Sstever@gmail.com    }
9915314Sstever@gmail.com
9925314Sstever@gmail.com    void print(std::ostream &o, int verbosity = 0,
9935314Sstever@gmail.com               const std::string &prefix = "") const;
9949663Suri.wiener@arm.com
9959663Suri.wiener@arm.com    /**
9969663Suri.wiener@arm.com     * A no-args wrapper of print(std::ostream...)
9979663Suri.wiener@arm.com     * meant to be invoked from DPRINTFs
9989663Suri.wiener@arm.com     * avoiding string overheads in fast mode
9999663Suri.wiener@arm.com     * @return string with the request's type and start<->end addresses
10009663Suri.wiener@arm.com     */
10019663Suri.wiener@arm.com    std::string print() const;
10022381SN/A};
10032381SN/A
10042381SN/A#endif //__MEM_PACKET_HH
1005