packet.hh revision 10660
12381SN/A/*
210342SCurtis.Dunham@arm.com * Copyright (c) 2012-2014 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,
904022Sstever@eecs.umich.edu        SoftPFReq,
914022Sstever@eecs.umich.edu        HardPFReq,
924022Sstever@eecs.umich.edu        SoftPFResp,
934022Sstever@eecs.umich.edu        HardPFResp,
944022Sstever@eecs.umich.edu        WriteInvalidateReq,
954022Sstever@eecs.umich.edu        WriteInvalidateResp,
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,
1034626Sstever@eecs.umich.edu        LoadLockedReq,
1044626Sstever@eecs.umich.edu        StoreCondReq,
1057669Ssteve.reinhardt@amd.com        StoreCondFailReq,       // Failed StoreCondReq in MSHR (never sent)
1064626Sstever@eecs.umich.edu        StoreCondResp,
1074040Ssaidi@eecs.umich.edu        SwapReq,
1084040Ssaidi@eecs.umich.edu        SwapResp,
1095650Sgblack@eecs.umich.edu        MessageReq,
1105650Sgblack@eecs.umich.edu        MessageResp,
1114870Sstever@eecs.umich.edu        // Error responses
1124870Sstever@eecs.umich.edu        // @TODO these should be classified as responses rather than
1134870Sstever@eecs.umich.edu        // requests; coding them as requests initially for backwards
1144870Sstever@eecs.umich.edu        // compatibility
1154870Sstever@eecs.umich.edu        InvalidDestError,  // packet dest field invalid
1164870Sstever@eecs.umich.edu        BadAddressError,   // memory address invalid
1178436SBrad.Beckmann@amd.com        FunctionalReadError, // unable to fulfill functional read
1188436SBrad.Beckmann@amd.com        FunctionalWriteError, // unable to fulfill functional write
1195314Sstever@gmail.com        // Fake simulator-only commands
1205314Sstever@gmail.com        PrintReq,       // Print state matching address
1218184Ssomayeh@cs.wisc.edu        FlushReq,      //request for a cache flush
1228716Snilay@cs.wisc.edu        InvalidationReq,   // request for address to be invalidated from lsq
1234022Sstever@eecs.umich.edu        NUM_MEM_CMDS
1244022Sstever@eecs.umich.edu    };
1254022Sstever@eecs.umich.edu
1264022Sstever@eecs.umich.edu  private:
1275735Snate@binkert.org    /**
1285735Snate@binkert.org     * List of command attributes.
1295735Snate@binkert.org     */
1304022Sstever@eecs.umich.edu    enum Attribute
1314022Sstever@eecs.umich.edu    {
1324626Sstever@eecs.umich.edu        IsRead,         //!< Data flows from responder to requester
1334626Sstever@eecs.umich.edu        IsWrite,        //!< Data flows from requester to responder
1347465Ssteve.reinhardt@amd.com        IsUpgrade,
1354022Sstever@eecs.umich.edu        IsInvalidate,
1364626Sstever@eecs.umich.edu        NeedsExclusive, //!< Requires exclusive copy to complete in-cache
1374626Sstever@eecs.umich.edu        IsRequest,      //!< Issued by requester
1384626Sstever@eecs.umich.edu        IsResponse,     //!< Issue by responder
1394626Sstever@eecs.umich.edu        NeedsResponse,  //!< Requester needs response from target
1404022Sstever@eecs.umich.edu        IsSWPrefetch,
1414022Sstever@eecs.umich.edu        IsHWPrefetch,
1426076Sgblack@eecs.umich.edu        IsLlsc,         //!< Alpha/MIPS LL or SC access
1434626Sstever@eecs.umich.edu        HasData,        //!< There is an associated payload
1444870Sstever@eecs.umich.edu        IsError,        //!< Error response
1455314Sstever@gmail.com        IsPrint,        //!< Print state matching address (for debugging)
1468184Ssomayeh@cs.wisc.edu        IsFlush,        //!< Flush the address from caches
1474022Sstever@eecs.umich.edu        NUM_COMMAND_ATTRIBUTES
1484022Sstever@eecs.umich.edu    };
1494022Sstever@eecs.umich.edu
1505735Snate@binkert.org    /**
1515735Snate@binkert.org     * Structure that defines attributes and other data associated
1525735Snate@binkert.org     * with a Command.
1535735Snate@binkert.org     */
1545735Snate@binkert.org    struct CommandInfo
1555735Snate@binkert.org    {
1565735Snate@binkert.org        /// Set of attribute flags.
1574022Sstever@eecs.umich.edu        const std::bitset<NUM_COMMAND_ATTRIBUTES> attributes;
1585735Snate@binkert.org        /// Corresponding response for requests; InvalidCmd if no
1595735Snate@binkert.org        /// response is applicable.
1604022Sstever@eecs.umich.edu        const Command response;
1615735Snate@binkert.org        /// String representation (for printing)
1624022Sstever@eecs.umich.edu        const std::string str;
1634022Sstever@eecs.umich.edu    };
1644022Sstever@eecs.umich.edu
1655735Snate@binkert.org    /// Array to map Command enum to associated info.
1664022Sstever@eecs.umich.edu    static const CommandInfo commandInfo[];
1674022Sstever@eecs.umich.edu
1684022Sstever@eecs.umich.edu  private:
1694022Sstever@eecs.umich.edu
1704022Sstever@eecs.umich.edu    Command cmd;
1714022Sstever@eecs.umich.edu
1725735Snate@binkert.org    bool
1735735Snate@binkert.org    testCmdAttrib(MemCmd::Attribute attrib) const
1745735Snate@binkert.org    {
1754022Sstever@eecs.umich.edu        return commandInfo[cmd].attributes[attrib] != 0;
1764022Sstever@eecs.umich.edu    }
1774022Sstever@eecs.umich.edu
1784022Sstever@eecs.umich.edu  public:
1794022Sstever@eecs.umich.edu
18010583SCurtis.Dunham@arm.com    bool isRead() const            { return testCmdAttrib(IsRead); }
18110583SCurtis.Dunham@arm.com    bool isWrite() const           { return testCmdAttrib(IsWrite); }
18210583SCurtis.Dunham@arm.com    bool isUpgrade() const         { return testCmdAttrib(IsUpgrade); }
18310583SCurtis.Dunham@arm.com    bool isRequest() const         { return testCmdAttrib(IsRequest); }
18410583SCurtis.Dunham@arm.com    bool isResponse() const        { return testCmdAttrib(IsResponse); }
18510583SCurtis.Dunham@arm.com    bool needsExclusive() const    { return testCmdAttrib(NeedsExclusive); }
18610583SCurtis.Dunham@arm.com    bool needsResponse() const     { return testCmdAttrib(NeedsResponse); }
18710583SCurtis.Dunham@arm.com    bool isInvalidate() const      { return testCmdAttrib(IsInvalidate); }
18810583SCurtis.Dunham@arm.com    bool isWriteInvalidate() const { return testCmdAttrib(IsWrite) &&
18910583SCurtis.Dunham@arm.com                                            testCmdAttrib(IsInvalidate); }
19010570Sandreas.hansson@arm.com
19110570Sandreas.hansson@arm.com    /**
19210570Sandreas.hansson@arm.com     * Check if this particular packet type carries payload data. Note
19310570Sandreas.hansson@arm.com     * that this does not reflect if the data pointer of the packet is
19410570Sandreas.hansson@arm.com     * valid or not.
19510570Sandreas.hansson@arm.com     */
1964022Sstever@eecs.umich.edu    bool hasData() const        { return testCmdAttrib(HasData); }
1976102Sgblack@eecs.umich.edu    bool isLLSC() const         { return testCmdAttrib(IsLlsc); }
19810343SCurtis.Dunham@arm.com    bool isSWPrefetch() const   { return testCmdAttrib(IsSWPrefetch); }
19910343SCurtis.Dunham@arm.com    bool isHWPrefetch() const   { return testCmdAttrib(IsHWPrefetch); }
20010343SCurtis.Dunham@arm.com    bool isPrefetch() const     { return testCmdAttrib(IsSWPrefetch) ||
20110343SCurtis.Dunham@arm.com                                         testCmdAttrib(IsHWPrefetch); }
2024870Sstever@eecs.umich.edu    bool isError() const        { return testCmdAttrib(IsError); }
2035314Sstever@gmail.com    bool isPrint() const        { return testCmdAttrib(IsPrint); }
2048184Ssomayeh@cs.wisc.edu    bool isFlush() const        { return testCmdAttrib(IsFlush); }
2054022Sstever@eecs.umich.edu
2065735Snate@binkert.org    const Command
2075735Snate@binkert.org    responseCommand() const
2085735Snate@binkert.org    {
2094022Sstever@eecs.umich.edu        return commandInfo[cmd].response;
2104022Sstever@eecs.umich.edu    }
2114022Sstever@eecs.umich.edu
2125735Snate@binkert.org    /// Return the string to a cmd given by idx.
2135735Snate@binkert.org    const std::string &toString() const { return commandInfo[cmd].str; }
2144022Sstever@eecs.umich.edu    int toInt() const { return (int)cmd; }
2154022Sstever@eecs.umich.edu
2165735Snate@binkert.org    MemCmd(Command _cmd) : cmd(_cmd) { }
2175735Snate@binkert.org    MemCmd(int _cmd) : cmd((Command)_cmd) { }
2185735Snate@binkert.org    MemCmd() : cmd(InvalidCmd) { }
2194022Sstever@eecs.umich.edu
2205735Snate@binkert.org    bool operator==(MemCmd c2) const { return (cmd == c2.cmd); }
2215735Snate@binkert.org    bool operator!=(MemCmd c2) const { return (cmd != c2.cmd); }
2224022Sstever@eecs.umich.edu};
2234022Sstever@eecs.umich.edu
2242381SN/A/**
2252662Sstever@eecs.umich.edu * A Packet is used to encapsulate a transfer between two objects in
2262662Sstever@eecs.umich.edu * the memory system (e.g., the L1 and L2 cache).  (In contrast, a
2272662Sstever@eecs.umich.edu * single Request travels all the way from the requester to the
2282662Sstever@eecs.umich.edu * ultimate destination and back, possibly being conveyed by several
2292662Sstever@eecs.umich.edu * different Packets along the way.)
2302381SN/A */
2319044SAli.Saidi@ARM.comclass Packet : public Printable
2322381SN/A{
2332813Srdreslin@umich.edu  public:
2345735Snate@binkert.org    typedef uint32_t FlagsType;
2355735Snate@binkert.org    typedef ::Flags<FlagsType> Flags;
2364022Sstever@eecs.umich.edu
2375735Snate@binkert.org  private:
2385735Snate@binkert.org    static const FlagsType PUBLIC_FLAGS           = 0x00000000;
2395735Snate@binkert.org    static const FlagsType PRIVATE_FLAGS          = 0x00007F0F;
2405735Snate@binkert.org    static const FlagsType COPY_FLAGS             = 0x0000000F;
2415735Snate@binkert.org
2425735Snate@binkert.org    static const FlagsType SHARED                 = 0x00000001;
2435735Snate@binkert.org    // Special control flags
2445735Snate@binkert.org    /// Special timing-mode atomic snoop for multi-level coherence.
2455735Snate@binkert.org    static const FlagsType EXPRESS_SNOOP          = 0x00000002;
2465735Snate@binkert.org    /// Does supplier have exclusive copy?
2475735Snate@binkert.org    /// Useful for multi-level coherence.
2485735Snate@binkert.org    static const FlagsType SUPPLY_EXCLUSIVE       = 0x00000004;
2495735Snate@binkert.org    // Snoop response flags
2505735Snate@binkert.org    static const FlagsType MEM_INHIBIT            = 0x00000008;
2515735Snate@binkert.org    /// Are the 'addr' and 'size' fields valid?
2525735Snate@binkert.org    static const FlagsType VALID_ADDR             = 0x00000100;
2535735Snate@binkert.org    static const FlagsType VALID_SIZE             = 0x00000200;
2545735Snate@binkert.org    /// Is the data pointer set to a value that shouldn't be freed
2555735Snate@binkert.org    /// when the packet is destroyed?
2565735Snate@binkert.org    static const FlagsType STATIC_DATA            = 0x00001000;
2575735Snate@binkert.org    /// The data pointer points to a value that should be freed when
25810566Sandreas.hansson@arm.com    /// the packet is destroyed. The pointer is assumed to be pointing
25910566Sandreas.hansson@arm.com    /// to an array, and delete [] is consequently called
2605735Snate@binkert.org    static const FlagsType DYNAMIC_DATA           = 0x00002000;
2618436SBrad.Beckmann@amd.com    /// suppress the error if this packet encounters a functional
2628436SBrad.Beckmann@amd.com    /// access failure.
2638436SBrad.Beckmann@amd.com    static const FlagsType SUPPRESS_FUNC_ERROR    = 0x00008000;
26410192Smitch.hayenga@arm.com    // Signal prefetch squash through express snoop flag
26510192Smitch.hayenga@arm.com    static const FlagsType PREFETCH_SNOOP_SQUASH  = 0x00010000;
2665735Snate@binkert.org
2675735Snate@binkert.org    Flags flags;
2685735Snate@binkert.org
2695735Snate@binkert.org  public:
2704022Sstever@eecs.umich.edu    typedef MemCmd::Command Command;
2714022Sstever@eecs.umich.edu
2725735Snate@binkert.org    /// The command field of the packet.
2734870Sstever@eecs.umich.edu    MemCmd cmd;
2744870Sstever@eecs.umich.edu
2755735Snate@binkert.org    /// A pointer to the original request.
27610569Sandreas.hansson@arm.com    const RequestPtr req;
2774870Sstever@eecs.umich.edu
2782566SN/A  private:
2795735Snate@binkert.org   /**
2805735Snate@binkert.org    * A pointer to the data being transfered.  It can be differnt
2815735Snate@binkert.org    * sizes at each level of the heirarchy so it belongs in the
2825735Snate@binkert.org    * packet, not request. This may or may not be populated when a
2835735Snate@binkert.org    * responder recieves the packet. If not populated it memory should
2845735Snate@binkert.org    * be allocated.
2852566SN/A    */
2862566SN/A    PacketDataPtr data;
2872566SN/A
2885735Snate@binkert.org    /// The address of the request.  This address could be virtual or
2895735Snate@binkert.org    /// physical, depending on the system configuration.
2902381SN/A    Addr addr;
2912381SN/A
29210028SGiacomo.Gabrielli@arm.com    /// True if the request targets the secure memory space.
29310028SGiacomo.Gabrielli@arm.com    bool _isSecure;
29410028SGiacomo.Gabrielli@arm.com
2955735Snate@binkert.org    /// The size of the request or transfer.
2966227Snate@binkert.org    unsigned size;
2972381SN/A
2985735Snate@binkert.org    /**
2995735Snate@binkert.org     * The original value of the command field.  Only valid when the
3004870Sstever@eecs.umich.edu     * current command field is an error condition; in that case, the
3014870Sstever@eecs.umich.edu     * previous contents of the command field are copied here.  This
3024870Sstever@eecs.umich.edu     * field is *not* set on non-error responses.
3034870Sstever@eecs.umich.edu     */
3044870Sstever@eecs.umich.edu    MemCmd origCmd;
3054870Sstever@eecs.umich.edu
3068668Sgeoffrey.blake@arm.com    /**
3078668Sgeoffrey.blake@arm.com     * These values specify the range of bytes found that satisfy a
3088668Sgeoffrey.blake@arm.com     * functional read.
3098668Sgeoffrey.blake@arm.com     */
3108668Sgeoffrey.blake@arm.com    uint16_t bytesValidStart;
3118668Sgeoffrey.blake@arm.com    uint16_t bytesValidEnd;
3128668Sgeoffrey.blake@arm.com
3132641Sstever@eecs.umich.edu  public:
3142811Srdreslin@umich.edu
3159547Sandreas.hansson@arm.com    /**
3169547Sandreas.hansson@arm.com     * The extra delay from seeing the packet until the first word 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     */
32210405Sandreas.hansson@arm.com    uint32_t firstWordDelay;
3233218Sgblack@eecs.umich.edu
3249547Sandreas.hansson@arm.com    /**
32510405Sandreas.hansson@arm.com     * The extra pipelining delay from seeing the packet until the
32610405Sandreas.hansson@arm.com     * last word is transmitted by the component that provided it (if
32710405Sandreas.hansson@arm.com     * any). This includes the first word delay. Similar to the first
32810405Sandreas.hansson@arm.com     * word 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     */
33210405Sandreas.hansson@arm.com    uint32_t lastWordDelay;
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 isWriteInvalidate() const   { return cmd.isWriteInvalidate(); }
48510583SCurtis.Dunham@arm.com    bool hasData() const             { return cmd.hasData(); }
48610583SCurtis.Dunham@arm.com    bool isLLSC() const              { return cmd.isLLSC(); }
48710583SCurtis.Dunham@arm.com    bool isError() const             { return cmd.isError(); }
48810583SCurtis.Dunham@arm.com    bool isPrint() const             { return cmd.isPrint(); }
48910583SCurtis.Dunham@arm.com    bool isFlush() const             { return cmd.isFlush(); }
4902812Srdreslin@umich.edu
4914870Sstever@eecs.umich.edu    // Snoop flags
49210567Sandreas.hansson@arm.com    void assertMemInhibit()
49310567Sandreas.hansson@arm.com    {
49410567Sandreas.hansson@arm.com        assert(isRequest());
49510567Sandreas.hansson@arm.com        assert(!flags.isSet(MEM_INHIBIT));
49610567Sandreas.hansson@arm.com        flags.set(MEM_INHIBIT);
49710567Sandreas.hansson@arm.com    }
4989951Sstephan.diestelhorst@arm.com    bool memInhibitAsserted() const { return flags.isSet(MEM_INHIBIT); }
4999951Sstephan.diestelhorst@arm.com    void assertShared()             { flags.set(SHARED); }
5009951Sstephan.diestelhorst@arm.com    bool sharedAsserted() const     { return flags.isSet(SHARED); }
5014870Sstever@eecs.umich.edu
5024895Sstever@eecs.umich.edu    // Special control flags
5039951Sstephan.diestelhorst@arm.com    void setExpressSnoop()          { flags.set(EXPRESS_SNOOP); }
5049951Sstephan.diestelhorst@arm.com    bool isExpressSnoop() const     { return flags.isSet(EXPRESS_SNOOP); }
5059951Sstephan.diestelhorst@arm.com    void setSupplyExclusive()       { flags.set(SUPPLY_EXCLUSIVE); }
5069951Sstephan.diestelhorst@arm.com    void clearSupplyExclusive()     { flags.clear(SUPPLY_EXCLUSIVE); }
5079951Sstephan.diestelhorst@arm.com    bool isSupplyExclusive() const  { return flags.isSet(SUPPLY_EXCLUSIVE); }
5089951Sstephan.diestelhorst@arm.com    void setSuppressFuncError()     { flags.set(SUPPRESS_FUNC_ERROR); }
5099951Sstephan.diestelhorst@arm.com    bool suppressFuncError() const  { return flags.isSet(SUPPRESS_FUNC_ERROR); }
51010192Smitch.hayenga@arm.com    void setPrefetchSquashed()      { flags.set(PREFETCH_SNOOP_SQUASH); }
51110192Smitch.hayenga@arm.com    bool prefetchSquashed() const   { return flags.isSet(PREFETCH_SNOOP_SQUASH); }
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),
57610660Sandreas.hansson@arm.com           size(0), bytesValidStart(0), bytesValidEnd(0),
57710405Sandreas.hansson@arm.com           firstWordDelay(0), lastWordDelay(0),
5789546Sandreas.hansson@arm.com           senderState(NULL)
5792641Sstever@eecs.umich.edu    {
5806104Ssteve.reinhardt@amd.com        if (req->hasPaddr()) {
5816104Ssteve.reinhardt@amd.com            addr = req->getPaddr();
5826104Ssteve.reinhardt@amd.com            flags.set(VALID_ADDR);
58310028SGiacomo.Gabrielli@arm.com            _isSecure = req->isSecure();
5846104Ssteve.reinhardt@amd.com        }
5856104Ssteve.reinhardt@amd.com        if (req->hasSize()) {
5866104Ssteve.reinhardt@amd.com            size = req->getSize();
5876104Ssteve.reinhardt@amd.com            flags.set(VALID_SIZE);
5886104Ssteve.reinhardt@amd.com        }
5892813Srdreslin@umich.edu    }
5902813Srdreslin@umich.edu
5915735Snate@binkert.org    /**
5925735Snate@binkert.org     * Alternate constructor if you are trying to create a packet with
5935735Snate@binkert.org     * a request that is for a whole block, not the address from the
5945735Snate@binkert.org     * req.  this allows for overriding the size/addr of the req.
5955735Snate@binkert.org     */
59610569Sandreas.hansson@arm.com    Packet(const RequestPtr _req, MemCmd _cmd, int _blkSize)
59710360Sandreas.hansson@arm.com        :  cmd(_cmd), req(_req), data(nullptr), addr(0), _isSecure(false),
5988949Sandreas.hansson@arm.com           bytesValidStart(0), bytesValidEnd(0),
59910405Sandreas.hansson@arm.com           firstWordDelay(0), lastWordDelay(0),
6009546Sandreas.hansson@arm.com           senderState(NULL)
6012813Srdreslin@umich.edu    {
6026104Ssteve.reinhardt@amd.com        if (req->hasPaddr()) {
6036104Ssteve.reinhardt@amd.com            addr = req->getPaddr() & ~(_blkSize - 1);
6046104Ssteve.reinhardt@amd.com            flags.set(VALID_ADDR);
60510028SGiacomo.Gabrielli@arm.com            _isSecure = req->isSecure();
6066104Ssteve.reinhardt@amd.com        }
6076104Ssteve.reinhardt@amd.com        size = _blkSize;
6086104Ssteve.reinhardt@amd.com        flags.set(VALID_SIZE);
6094626Sstever@eecs.umich.edu    }
6104626Sstever@eecs.umich.edu
6115735Snate@binkert.org    /**
6125735Snate@binkert.org     * Alternate constructor for copying a packet.  Copy all fields
6134887Sstever@eecs.umich.edu     * *except* if the original packet's data was dynamic, don't copy
6144887Sstever@eecs.umich.edu     * that, as we can't guarantee that the new packet's lifetime is
6154887Sstever@eecs.umich.edu     * less than that of the original packet.  In this case the new
6165735Snate@binkert.org     * packet should allocate its own data.
6175735Snate@binkert.org     */
61810571Sandreas.hansson@arm.com    Packet(PacketPtr pkt, bool clear_flags, bool alloc_data)
6195735Snate@binkert.org        :  cmd(pkt->cmd), req(pkt->req),
62010571Sandreas.hansson@arm.com           data(nullptr),
62110028SGiacomo.Gabrielli@arm.com           addr(pkt->addr), _isSecure(pkt->_isSecure), size(pkt->size),
6229547Sandreas.hansson@arm.com           bytesValidStart(pkt->bytesValidStart),
6239547Sandreas.hansson@arm.com           bytesValidEnd(pkt->bytesValidEnd),
62410405Sandreas.hansson@arm.com           firstWordDelay(pkt->firstWordDelay),
62510405Sandreas.hansson@arm.com           lastWordDelay(pkt->lastWordDelay),
6269546Sandreas.hansson@arm.com           senderState(pkt->senderState)
6274626Sstever@eecs.umich.edu    {
62810571Sandreas.hansson@arm.com        if (!clear_flags)
6295735Snate@binkert.org            flags.set(pkt->flags & COPY_FLAGS);
6305735Snate@binkert.org
6319031Sandreas.hansson@arm.com        flags.set(pkt->flags & (VALID_ADDR|VALID_SIZE));
63210565Sandreas.hansson@arm.com
63310571Sandreas.hansson@arm.com        // should we allocate space for data, or not, the express
63410571Sandreas.hansson@arm.com        // snoops do not need to carry any data as they only serve to
63510571Sandreas.hansson@arm.com        // co-ordinate state changes
63610571Sandreas.hansson@arm.com        if (alloc_data) {
63710571Sandreas.hansson@arm.com            // even if asked to allocate data, if the original packet
63810571Sandreas.hansson@arm.com            // holds static data, then the sender will not be doing
63910571Sandreas.hansson@arm.com            // any memcpy on receiving the response, thus we simply
64010571Sandreas.hansson@arm.com            // carry the pointer forward
64110571Sandreas.hansson@arm.com            if (pkt->flags.isSet(STATIC_DATA)) {
64210571Sandreas.hansson@arm.com                data = pkt->data;
64310571Sandreas.hansson@arm.com                flags.set(STATIC_DATA);
64410571Sandreas.hansson@arm.com            } else {
64510571Sandreas.hansson@arm.com                allocate();
64610571Sandreas.hansson@arm.com            }
64710571Sandreas.hansson@arm.com        }
64810342SCurtis.Dunham@arm.com    }
6498668Sgeoffrey.blake@arm.com
65010342SCurtis.Dunham@arm.com    /**
65110342SCurtis.Dunham@arm.com     * Change the packet type based on request type.
65210342SCurtis.Dunham@arm.com     */
65310342SCurtis.Dunham@arm.com    void
65410342SCurtis.Dunham@arm.com    refineCommand()
65510342SCurtis.Dunham@arm.com    {
65610342SCurtis.Dunham@arm.com        if (cmd == MemCmd::ReadReq) {
65710342SCurtis.Dunham@arm.com            if (req->isLLSC()) {
65810342SCurtis.Dunham@arm.com                cmd = MemCmd::LoadLockedReq;
65910343SCurtis.Dunham@arm.com            } else if (req->isPrefetch()) {
66010343SCurtis.Dunham@arm.com                cmd = MemCmd::SoftPFReq;
66110342SCurtis.Dunham@arm.com            }
66210342SCurtis.Dunham@arm.com        } else if (cmd == MemCmd::WriteReq) {
66310342SCurtis.Dunham@arm.com            if (req->isLLSC()) {
66410342SCurtis.Dunham@arm.com                cmd = MemCmd::StoreCondReq;
66510342SCurtis.Dunham@arm.com            } else if (req->isSwap()) {
66610342SCurtis.Dunham@arm.com                cmd = MemCmd::SwapReq;
66710342SCurtis.Dunham@arm.com            }
66810342SCurtis.Dunham@arm.com        }
66910342SCurtis.Dunham@arm.com    }
67010342SCurtis.Dunham@arm.com
67110342SCurtis.Dunham@arm.com    /**
67210342SCurtis.Dunham@arm.com     * Constructor-like methods that return Packets based on Request objects.
67310342SCurtis.Dunham@arm.com     * Will call refineCommand() to fine-tune the Packet type if it's not a
67410342SCurtis.Dunham@arm.com     * vanilla read or write.
67510342SCurtis.Dunham@arm.com     */
67610342SCurtis.Dunham@arm.com    static PacketPtr
67710569Sandreas.hansson@arm.com    createRead(const RequestPtr req)
67810342SCurtis.Dunham@arm.com    {
67910342SCurtis.Dunham@arm.com        PacketPtr pkt = new Packet(req, MemCmd::ReadReq);
68010342SCurtis.Dunham@arm.com        pkt->refineCommand();
68110342SCurtis.Dunham@arm.com        return pkt;
68210342SCurtis.Dunham@arm.com    }
68310342SCurtis.Dunham@arm.com
68410342SCurtis.Dunham@arm.com    static PacketPtr
68510569Sandreas.hansson@arm.com    createWrite(const RequestPtr req)
68610342SCurtis.Dunham@arm.com    {
68710342SCurtis.Dunham@arm.com        PacketPtr pkt = new Packet(req, MemCmd::WriteReq);
68810342SCurtis.Dunham@arm.com        pkt->refineCommand();
68910342SCurtis.Dunham@arm.com        return pkt;
6902641Sstever@eecs.umich.edu    }
6912549SN/A
6925735Snate@binkert.org    /**
6935735Snate@binkert.org     * clean up packet variables
6945735Snate@binkert.org     */
6952566SN/A    ~Packet()
6965387Sstever@gmail.com    {
6975387Sstever@gmail.com        // If this is a request packet for which there's no response,
6985387Sstever@gmail.com        // delete the request object here, since the requester will
6995387Sstever@gmail.com        // never get the chance.
7005387Sstever@gmail.com        if (req && isRequest() && !needsResponse())
7015387Sstever@gmail.com            delete req;
7025735Snate@binkert.org        deleteData();
7035387Sstever@gmail.com    }
7042566SN/A
7055735Snate@binkert.org    /**
7064626Sstever@eecs.umich.edu     * Take a request packet and modify it in place to be suitable for
70710660Sandreas.hansson@arm.com     * returning as a response to that request.
7084626Sstever@eecs.umich.edu     */
7095735Snate@binkert.org    void
7105735Snate@binkert.org    makeResponse()
7114626Sstever@eecs.umich.edu    {
7122662Sstever@eecs.umich.edu        assert(needsResponse());
7132855Srdreslin@umich.edu        assert(isRequest());
7144986Ssaidi@eecs.umich.edu        origCmd = cmd;
7154022Sstever@eecs.umich.edu        cmd = cmd.responseCommand();
7165745Snate@binkert.org
7177464Ssteve.reinhardt@amd.com        // responses are never express, even if the snoop that
7187464Ssteve.reinhardt@amd.com        // triggered them was
7197464Ssteve.reinhardt@amd.com        flags.clear(EXPRESS_SNOOP);
7202641Sstever@eecs.umich.edu    }
7212641Sstever@eecs.umich.edu
7225735Snate@binkert.org    void
7235735Snate@binkert.org    makeAtomicResponse()
7244870Sstever@eecs.umich.edu    {
7254870Sstever@eecs.umich.edu        makeResponse();
7264870Sstever@eecs.umich.edu    }
7274870Sstever@eecs.umich.edu
7285735Snate@binkert.org    void
7295735Snate@binkert.org    makeTimingResponse()
7303348Sbinkertn@umich.edu    {
7314870Sstever@eecs.umich.edu        makeResponse();
7323135Srdreslin@umich.edu    }
7333135Srdreslin@umich.edu
7348436SBrad.Beckmann@amd.com    void
7358436SBrad.Beckmann@amd.com    setFunctionalResponseStatus(bool success)
7368436SBrad.Beckmann@amd.com    {
7378436SBrad.Beckmann@amd.com        if (!success) {
7388436SBrad.Beckmann@amd.com            if (isWrite()) {
7398436SBrad.Beckmann@amd.com                cmd = MemCmd::FunctionalWriteError;
7408436SBrad.Beckmann@amd.com            } else {
7418436SBrad.Beckmann@amd.com                cmd = MemCmd::FunctionalReadError;
7428436SBrad.Beckmann@amd.com            }
7438436SBrad.Beckmann@amd.com        }
7448436SBrad.Beckmann@amd.com    }
7458436SBrad.Beckmann@amd.com
7467006Snate@binkert.org    void
7477006Snate@binkert.org    setSize(unsigned size)
7487006Snate@binkert.org    {
7497006Snate@binkert.org        assert(!flags.isSet(VALID_SIZE));
7507006Snate@binkert.org
7517006Snate@binkert.org        this->size = size;
7527006Snate@binkert.org        flags.set(VALID_SIZE);
7537006Snate@binkert.org    }
7547006Snate@binkert.org
7552685Ssaidi@eecs.umich.edu
7563348Sbinkertn@umich.edu    /**
7573348Sbinkertn@umich.edu     * Set the data pointer to the following value that should not be
75810571Sandreas.hansson@arm.com     * freed. Static data allows us to do a single memcpy even if
75910571Sandreas.hansson@arm.com     * multiple packets are required to get from source to destination
76010571Sandreas.hansson@arm.com     * and back. In essence the pointer is set calling dataStatic on
76110571Sandreas.hansson@arm.com     * the original packet, and whenever this packet is copied and
76210571Sandreas.hansson@arm.com     * forwarded the same pointer is passed on. When a packet
76310571Sandreas.hansson@arm.com     * eventually reaches the destination holding the data, it is
76410571Sandreas.hansson@arm.com     * copied once into the location originally set. On the way back
76510571Sandreas.hansson@arm.com     * to the source, no copies are necessary.
7662566SN/A     */
7672566SN/A    template <typename T>
7683348Sbinkertn@umich.edu    void
7693348Sbinkertn@umich.edu    dataStatic(T *p)
7703348Sbinkertn@umich.edu    {
77110566Sandreas.hansson@arm.com        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
7723348Sbinkertn@umich.edu        data = (PacketDataPtr)p;
7735735Snate@binkert.org        flags.set(STATIC_DATA);
7743348Sbinkertn@umich.edu    }
7752566SN/A
7763348Sbinkertn@umich.edu    /**
77710564Sandreas.hansson@arm.com     * Set the data pointer to the following value that should not be
77810564Sandreas.hansson@arm.com     * freed. This version of the function allows the pointer passed
77910564Sandreas.hansson@arm.com     * to us to be const. To avoid issues down the line we cast the
78010564Sandreas.hansson@arm.com     * constness away, the alternative would be to keep both a const
78110564Sandreas.hansson@arm.com     * and non-const data pointer and cleverly choose between
78210564Sandreas.hansson@arm.com     * them. Note that this is only allowed for static data.
78310564Sandreas.hansson@arm.com     */
78410564Sandreas.hansson@arm.com    template <typename T>
78510564Sandreas.hansson@arm.com    void
78610564Sandreas.hansson@arm.com    dataStaticConst(const T *p)
78710564Sandreas.hansson@arm.com    {
78810566Sandreas.hansson@arm.com        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
78910564Sandreas.hansson@arm.com        data = const_cast<PacketDataPtr>(p);
79010564Sandreas.hansson@arm.com        flags.set(STATIC_DATA);
79110564Sandreas.hansson@arm.com    }
79210564Sandreas.hansson@arm.com
79310564Sandreas.hansson@arm.com    /**
7943348Sbinkertn@umich.edu     * Set the data pointer to a value that should have delete []
79510571Sandreas.hansson@arm.com     * called on it. Dynamic data is local to this packet, and as the
79610571Sandreas.hansson@arm.com     * packet travels from source to destination, forwarded packets
79710571Sandreas.hansson@arm.com     * will allocate their own data. When a packet reaches the final
79810571Sandreas.hansson@arm.com     * destination it will populate the dynamic data of that specific
79910571Sandreas.hansson@arm.com     * packet, and on the way back towards the source, memcpy will be
80010571Sandreas.hansson@arm.com     * invoked in every step where a new packet was created e.g. in
80110571Sandreas.hansson@arm.com     * the caches. Ultimately when the response reaches the source a
80210571Sandreas.hansson@arm.com     * final memcpy is needed to extract the data from the packet
80310571Sandreas.hansson@arm.com     * before it is deallocated.
8043348Sbinkertn@umich.edu     */
8052566SN/A    template <typename T>
8063348Sbinkertn@umich.edu    void
8073348Sbinkertn@umich.edu    dataDynamic(T *p)
8083348Sbinkertn@umich.edu    {
80910566Sandreas.hansson@arm.com        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
8103348Sbinkertn@umich.edu        data = (PacketDataPtr)p;
8115735Snate@binkert.org        flags.set(DYNAMIC_DATA);
8123348Sbinkertn@umich.edu    }
8133348Sbinkertn@umich.edu
8145735Snate@binkert.org    /**
8155735Snate@binkert.org     * get a pointer to the data ptr.
8165735Snate@binkert.org     */
8173348Sbinkertn@umich.edu    template <typename T>
8183348Sbinkertn@umich.edu    T*
81910562Sandreas.hansson@arm.com    getPtr()
8203348Sbinkertn@umich.edu    {
82110562Sandreas.hansson@arm.com        assert(flags.isSet(STATIC_DATA|DYNAMIC_DATA));
8223348Sbinkertn@umich.edu        return (T*)data;
8233348Sbinkertn@umich.edu    }
8242566SN/A
82510563Sandreas.hansson@arm.com    template <typename T>
82610563Sandreas.hansson@arm.com    const T*
82710563Sandreas.hansson@arm.com    getConstPtr() const
82810563Sandreas.hansson@arm.com    {
82910563Sandreas.hansson@arm.com        assert(flags.isSet(STATIC_DATA|DYNAMIC_DATA));
83010563Sandreas.hansson@arm.com        return (const T*)data;
83110563Sandreas.hansson@arm.com    }
83210563Sandreas.hansson@arm.com
8335735Snate@binkert.org    /**
8345735Snate@binkert.org     * return the value of what is pointed to in the packet.
8355735Snate@binkert.org     */
8362566SN/A    template <typename T>
83710563Sandreas.hansson@arm.com    T get() const;
8382566SN/A
8395735Snate@binkert.org    /**
8405735Snate@binkert.org     * set the value in the data pointer to v.
8415735Snate@binkert.org     */
8422566SN/A    template <typename T>
8432592SN/A    void set(T v);
8442566SN/A
8453348Sbinkertn@umich.edu    /**
8464626Sstever@eecs.umich.edu     * Copy data into the packet from the provided pointer.
8474626Sstever@eecs.umich.edu     */
8485735Snate@binkert.org    void
84910563Sandreas.hansson@arm.com    setData(const uint8_t *p)
8504626Sstever@eecs.umich.edu    {
85110571Sandreas.hansson@arm.com        // we should never be copying data onto itself, which means we
85210571Sandreas.hansson@arm.com        // must idenfity packets with static data, as they carry the
85310571Sandreas.hansson@arm.com        // same pointer from source to destination and back
85410571Sandreas.hansson@arm.com        assert(p != getPtr<uint8_t>() || flags.isSet(STATIC_DATA));
85510571Sandreas.hansson@arm.com
8567691SAli.Saidi@ARM.com        if (p != getPtr<uint8_t>())
85710571Sandreas.hansson@arm.com            // for packet with allocated dynamic data, we copy data from
85810571Sandreas.hansson@arm.com            // one to the other, e.g. a forwarded response to a response
8597691SAli.Saidi@ARM.com            std::memcpy(getPtr<uint8_t>(), p, getSize());
8604626Sstever@eecs.umich.edu    }
8614626Sstever@eecs.umich.edu
8624626Sstever@eecs.umich.edu    /**
8634626Sstever@eecs.umich.edu     * Copy data into the packet from the provided block pointer,
8644626Sstever@eecs.umich.edu     * which is aligned to the given block size.
8654626Sstever@eecs.umich.edu     */
8665735Snate@binkert.org    void
86710563Sandreas.hansson@arm.com    setDataFromBlock(const uint8_t *blk_data, int blkSize)
8684626Sstever@eecs.umich.edu    {
8694626Sstever@eecs.umich.edu        setData(blk_data + getOffset(blkSize));
8704626Sstever@eecs.umich.edu    }
8714626Sstever@eecs.umich.edu
8724626Sstever@eecs.umich.edu    /**
8734626Sstever@eecs.umich.edu     * Copy data from the packet to the provided block pointer, which
8744626Sstever@eecs.umich.edu     * is aligned to the given block size.
8754626Sstever@eecs.umich.edu     */
8765735Snate@binkert.org    void
87710563Sandreas.hansson@arm.com    writeData(uint8_t *p) const
8784626Sstever@eecs.umich.edu    {
87910563Sandreas.hansson@arm.com        std::memcpy(p, getConstPtr<uint8_t>(), getSize());
8804626Sstever@eecs.umich.edu    }
8814626Sstever@eecs.umich.edu
8824626Sstever@eecs.umich.edu    /**
8834626Sstever@eecs.umich.edu     * Copy data from the packet to the memory at the provided pointer.
8844626Sstever@eecs.umich.edu     */
8855735Snate@binkert.org    void
88610563Sandreas.hansson@arm.com    writeDataToBlock(uint8_t *blk_data, int blkSize) const
8874626Sstever@eecs.umich.edu    {
8884626Sstever@eecs.umich.edu        writeData(blk_data + getOffset(blkSize));
8894626Sstever@eecs.umich.edu    }
8904626Sstever@eecs.umich.edu
8914626Sstever@eecs.umich.edu    /**
8923348Sbinkertn@umich.edu     * delete the data pointed to in the data pointer. Ok to call to
8933348Sbinkertn@umich.edu     * matter how data was allocted.
8943348Sbinkertn@umich.edu     */
8955735Snate@binkert.org    void
8965735Snate@binkert.org    deleteData()
8975735Snate@binkert.org    {
89810566Sandreas.hansson@arm.com        if (flags.isSet(DYNAMIC_DATA))
8995735Snate@binkert.org            delete [] data;
9005735Snate@binkert.org
90110566Sandreas.hansson@arm.com        flags.clear(STATIC_DATA|DYNAMIC_DATA);
9025735Snate@binkert.org        data = NULL;
9035735Snate@binkert.org    }
9042566SN/A
90510565Sandreas.hansson@arm.com    /** Allocate memory for the packet. */
9065735Snate@binkert.org    void
9075735Snate@binkert.org    allocate()
9085735Snate@binkert.org    {
9095764Snate@binkert.org        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
91010566Sandreas.hansson@arm.com        flags.set(DYNAMIC_DATA);
9115745Snate@binkert.org        data = new uint8_t[getSize()];
9125735Snate@binkert.org    }
9135735Snate@binkert.org
9144626Sstever@eecs.umich.edu    /**
91510570Sandreas.hansson@arm.com     * Check a functional request against a memory value stored in
91610570Sandreas.hansson@arm.com     * another packet (i.e. an in-transit request or
91710570Sandreas.hansson@arm.com     * response). Returns true if the current packet is a read, and
91810570Sandreas.hansson@arm.com     * the other packet provides the data, which is then copied to the
91910570Sandreas.hansson@arm.com     * current packet. If the current packet is a write, and the other
92010570Sandreas.hansson@arm.com     * packet intersects this one, then we update the data
92110570Sandreas.hansson@arm.com     * accordingly.
92210570Sandreas.hansson@arm.com     */
92310570Sandreas.hansson@arm.com    bool
92410570Sandreas.hansson@arm.com    checkFunctional(PacketPtr other)
92510570Sandreas.hansson@arm.com    {
92610570Sandreas.hansson@arm.com        // all packets that are carrying a payload should have a valid
92710570Sandreas.hansson@arm.com        // data pointer
92810570Sandreas.hansson@arm.com        return checkFunctional(other, other->getAddr(), other->isSecure(),
92910570Sandreas.hansson@arm.com                               other->getSize(),
93010570Sandreas.hansson@arm.com                               other->hasData() ?
93110570Sandreas.hansson@arm.com                               other->getPtr<uint8_t>() : NULL);
93210570Sandreas.hansson@arm.com    }
93310570Sandreas.hansson@arm.com
93410570Sandreas.hansson@arm.com    /**
9354626Sstever@eecs.umich.edu     * Check a functional request against a memory value represented
93610570Sandreas.hansson@arm.com     * by a base/size pair and an associated data array. If the
93710570Sandreas.hansson@arm.com     * current packet is a read, it may be satisfied by the memory
93810570Sandreas.hansson@arm.com     * value. If the current packet is a write, it may update the
9394626Sstever@eecs.umich.edu     * memory value.
9404626Sstever@eecs.umich.edu     */
9415735Snate@binkert.org    bool
94210570Sandreas.hansson@arm.com    checkFunctional(Printable *obj, Addr base, bool is_secure, int size,
94310570Sandreas.hansson@arm.com                    uint8_t *_data);
9445314Sstever@gmail.com
9455315Sstever@gmail.com    /**
9465315Sstever@gmail.com     * Push label for PrintReq (safe to call unconditionally).
9475315Sstever@gmail.com     */
9485735Snate@binkert.org    void
9495735Snate@binkert.org    pushLabel(const std::string &lbl)
9505735Snate@binkert.org    {
9515735Snate@binkert.org        if (isPrint())
9525735Snate@binkert.org            safe_cast<PrintReqState*>(senderState)->pushLabel(lbl);
9535314Sstever@gmail.com    }
9545314Sstever@gmail.com
9555315Sstever@gmail.com    /**
9565315Sstever@gmail.com     * Pop label for PrintReq (safe to call unconditionally).
9575315Sstever@gmail.com     */
9585735Snate@binkert.org    void
9595735Snate@binkert.org    popLabel()
9605735Snate@binkert.org    {
9615735Snate@binkert.org        if (isPrint())
9625735Snate@binkert.org            safe_cast<PrintReqState*>(senderState)->popLabel();
9635314Sstever@gmail.com    }
9645314Sstever@gmail.com
9655314Sstever@gmail.com    void print(std::ostream &o, int verbosity = 0,
9665314Sstever@gmail.com               const std::string &prefix = "") const;
9679663Suri.wiener@arm.com
9689663Suri.wiener@arm.com    /**
9699663Suri.wiener@arm.com     * A no-args wrapper of print(std::ostream...)
9709663Suri.wiener@arm.com     * meant to be invoked from DPRINTFs
9719663Suri.wiener@arm.com     * avoiding string overheads in fast mode
9729663Suri.wiener@arm.com     * @return string with the request's type and start<->end addresses
9739663Suri.wiener@arm.com     */
9749663Suri.wiener@arm.com    std::string print() const;
9752381SN/A};
9762381SN/A
9772381SN/A#endif //__MEM_PACKET_HH
978