packet.hh revision 10694:1a6785e37d81
12SN/A/*
28703Sandreas.hansson@arm.com * Copyright (c) 2012-2015 ARM Limited
38703Sandreas.hansson@arm.com * All rights reserved
48703Sandreas.hansson@arm.com *
58703Sandreas.hansson@arm.com * The license below extends only to copyright in the software and shall
68703Sandreas.hansson@arm.com * not be construed as granting a license to any other intellectual
78703Sandreas.hansson@arm.com * property including but not limited to intellectual property relating
88703Sandreas.hansson@arm.com * to a hardware implementation of the functionality of the software
98703Sandreas.hansson@arm.com * licensed hereunder.  You may use the software subject to the license
108703Sandreas.hansson@arm.com * terms below provided that you ensure that this notice is replicated
118703Sandreas.hansson@arm.com * unmodified and in its entirety in all distributions of the software,
128703Sandreas.hansson@arm.com * modified or unmodified, in source code or in binary form.
138703Sandreas.hansson@arm.com *
141762SN/A * Copyright (c) 2006 The Regents of The University of Michigan
157897Shestness@cs.utexas.edu * Copyright (c) 2010 Advanced Micro Devices, Inc.
162SN/A * All rights reserved.
172SN/A *
182SN/A * Redistribution and use in source and binary forms, with or without
192SN/A * modification, are permitted provided that the following conditions are
202SN/A * met: redistributions of source code must retain the above copyright
212SN/A * notice, this list of conditions and the following disclaimer;
222SN/A * redistributions in binary form must reproduce the above copyright
232SN/A * notice, this list of conditions and the following disclaimer in the
242SN/A * documentation and/or other materials provided with the distribution;
252SN/A * neither the name of the copyright holders nor the names of its
262SN/A * contributors may be used to endorse or promote products derived from
272SN/A * this software without specific prior written permission.
282SN/A *
292SN/A * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
302SN/A * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
312SN/A * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
322SN/A * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
332SN/A * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
342SN/A * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
352SN/A * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
362SN/A * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
372SN/A * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
382SN/A * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
392SN/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
447897Shestness@cs.utexas.edu *          Andreas Hansson
452SN/A */
462SN/A
472SN/A/**
482SN/A * @file
492SN/A * Declaration of the Packet class.
502SN/A */
519645SAndreas.Sandberg@ARM.com
5275SN/A#ifndef __MEM_PACKET_HH__
532SN/A#define __MEM_PACKET_HH__
542439SN/A
552439SN/A#include <bitset>
56603SN/A#include <cassert>
57603SN/A#include <list>
584762Snate@binkert.org
598769Sgblack@eecs.umich.edu#include "base/cast.hh"
608852Sandreas.hansson@arm.com#include "base/compiler.hh"
618703Sandreas.hansson@arm.com#include "base/flags.hh"
622520SN/A#include "base/misc.hh"
638931Sandreas.hansson@arm.com#include "base/printable.hh"
644762Snate@binkert.org#include "base/types.hh"
656658Snate@binkert.org#include "mem/request.hh"
661634SN/A#include "sim/core.hh"
678769Sgblack@eecs.umich.edu
688769Sgblack@eecs.umich.educlass Packet;
691634SN/Atypedef Packet *PacketPtr;
70803SN/Atypedef uint8_t* PacketDataPtr;
718769Sgblack@eecs.umich.edutypedef std::list<PacketPtr> PacketList;
722SN/A
738703Sandreas.hansson@arm.comclass MemCmd
742SN/A{
758703Sandreas.hansson@arm.com    friend class Packet;
768703Sandreas.hansson@arm.com
778703Sandreas.hansson@arm.com  public:
788703Sandreas.hansson@arm.com    /**
798703Sandreas.hansson@arm.com     * List of all commands associated with a packet.
808703Sandreas.hansson@arm.com     */
818703Sandreas.hansson@arm.com    enum Command
828922Swilliam.wang@arm.com    {
838703Sandreas.hansson@arm.com        InvalidCmd,
848703Sandreas.hansson@arm.com        ReadReq,
858703Sandreas.hansson@arm.com        ReadResp,
868703Sandreas.hansson@arm.com        ReadRespWithInvalidate,
878703Sandreas.hansson@arm.com        WriteReq,
888703Sandreas.hansson@arm.com        WriteResp,
898703Sandreas.hansson@arm.com        Writeback,
908922Swilliam.wang@arm.com        SoftPFReq,
918703Sandreas.hansson@arm.com        HardPFReq,
928975Sandreas.hansson@arm.com        SoftPFResp,
938703Sandreas.hansson@arm.com        HardPFResp,
948922Swilliam.wang@arm.com        WriteInvalidateReq,
958922Swilliam.wang@arm.com        WriteInvalidateResp,
968703Sandreas.hansson@arm.com        UpgradeReq,
978703Sandreas.hansson@arm.com        SCUpgradeReq,           // Special "weak" upgrade for StoreCond
988703Sandreas.hansson@arm.com        UpgradeResp,
998703Sandreas.hansson@arm.com        SCUpgradeFailReq,       // Failed SCUpgradeReq in MSHR (never sent)
100603SN/A        UpgradeFailResp,        // Valid for SCUpgradeReq only
1012901Ssaidi@eecs.umich.edu        ReadExReq,
1028703Sandreas.hansson@arm.com        ReadExResp,
1038706Sandreas.hansson@arm.com        LoadLockedReq,
1048706Sandreas.hansson@arm.com        StoreCondReq,
1058706Sandreas.hansson@arm.com        StoreCondFailReq,       // Failed StoreCondReq in MSHR (never sent)
1068706Sandreas.hansson@arm.com        StoreCondResp,
1078706Sandreas.hansson@arm.com        SwapReq,
1088706Sandreas.hansson@arm.com        SwapResp,
1098852Sandreas.hansson@arm.com        MessageReq,
1108703Sandreas.hansson@arm.com        MessageResp,
1118703Sandreas.hansson@arm.com        // Error responses
1128703Sandreas.hansson@arm.com        // @TODO these should be classified as responses rather than
1138703Sandreas.hansson@arm.com        // requests; coding them as requests initially for backwards
1148852Sandreas.hansson@arm.com        // compatibility
1158703Sandreas.hansson@arm.com        InvalidDestError,  // packet dest field invalid
1168922Swilliam.wang@arm.com        BadAddressError,   // memory address invalid
1178703Sandreas.hansson@arm.com        FunctionalReadError, // unable to fulfill functional read
1188703Sandreas.hansson@arm.com        FunctionalWriteError, // unable to fulfill functional write
1198703Sandreas.hansson@arm.com        // Fake simulator-only commands
1208703Sandreas.hansson@arm.com        PrintReq,       // Print state matching address
1219294Sandreas.hansson@arm.com        FlushReq,      //request for a cache flush
1229294Sandreas.hansson@arm.com        InvalidationReq,   // request for address to be invalidated from lsq
1238703Sandreas.hansson@arm.com        NUM_MEM_CMDS
1249524SAndreas.Sandberg@ARM.com    };
1252902Ssaidi@eecs.umich.edu
1269524SAndreas.Sandberg@ARM.com  private:
1279524SAndreas.Sandberg@ARM.com    /**
1289524SAndreas.Sandberg@ARM.com     * List of command attributes.
1299524SAndreas.Sandberg@ARM.com     */
1309524SAndreas.Sandberg@ARM.com    enum Attribute
1319524SAndreas.Sandberg@ARM.com    {
1329524SAndreas.Sandberg@ARM.com        IsRead,         //!< Data flows from responder to requester
1339524SAndreas.Sandberg@ARM.com        IsWrite,        //!< Data flows from requester to responder
1349524SAndreas.Sandberg@ARM.com        IsUpgrade,
1359524SAndreas.Sandberg@ARM.com        IsInvalidate,
1369524SAndreas.Sandberg@ARM.com        NeedsExclusive, //!< Requires exclusive copy to complete in-cache
1379524SAndreas.Sandberg@ARM.com        IsRequest,      //!< Issued by requester
1389524SAndreas.Sandberg@ARM.com        IsResponse,     //!< Issue by responder
1394762Snate@binkert.org        NeedsResponse,  //!< Requester needs response from target
1402901Ssaidi@eecs.umich.edu        IsSWPrefetch,
1419524SAndreas.Sandberg@ARM.com        IsHWPrefetch,
1429524SAndreas.Sandberg@ARM.com        IsLlsc,         //!< Alpha/MIPS LL or SC access
1439524SAndreas.Sandberg@ARM.com        HasData,        //!< There is an associated payload
1449524SAndreas.Sandberg@ARM.com        IsError,        //!< Error response
1459524SAndreas.Sandberg@ARM.com        IsPrint,        //!< Print state matching address (for debugging)
1469524SAndreas.Sandberg@ARM.com        IsFlush,        //!< Flush the address from caches
1479524SAndreas.Sandberg@ARM.com        NUM_COMMAND_ATTRIBUTES
1489524SAndreas.Sandberg@ARM.com    };
1499524SAndreas.Sandberg@ARM.com
1509524SAndreas.Sandberg@ARM.com    /**
1519524SAndreas.Sandberg@ARM.com     * Structure that defines attributes and other data associated
1529524SAndreas.Sandberg@ARM.com     * with a Command.
1539524SAndreas.Sandberg@ARM.com     */
1549524SAndreas.Sandberg@ARM.com    struct CommandInfo
1559524SAndreas.Sandberg@ARM.com    {
1569524SAndreas.Sandberg@ARM.com        /// Set of attribute flags.
1579524SAndreas.Sandberg@ARM.com        const std::bitset<NUM_COMMAND_ATTRIBUTES> attributes;
1589524SAndreas.Sandberg@ARM.com        /// Corresponding response for requests; InvalidCmd if no
1599524SAndreas.Sandberg@ARM.com        /// response is applicable.
1609524SAndreas.Sandberg@ARM.com        const Command response;
1619524SAndreas.Sandberg@ARM.com        /// String representation (for printing)
1629524SAndreas.Sandberg@ARM.com        const std::string str;
1639524SAndreas.Sandberg@ARM.com    };
1649524SAndreas.Sandberg@ARM.com
1659524SAndreas.Sandberg@ARM.com    /// Array to map Command enum to associated info.
1669524SAndreas.Sandberg@ARM.com    static const CommandInfo commandInfo[];
1679524SAndreas.Sandberg@ARM.com
1689524SAndreas.Sandberg@ARM.com  private:
1699524SAndreas.Sandberg@ARM.com
1709524SAndreas.Sandberg@ARM.com    Command cmd;
1719524SAndreas.Sandberg@ARM.com
1729524SAndreas.Sandberg@ARM.com    bool
1739524SAndreas.Sandberg@ARM.com    testCmdAttrib(MemCmd::Attribute attrib) const
1749524SAndreas.Sandberg@ARM.com    {
1759524SAndreas.Sandberg@ARM.com        return commandInfo[cmd].attributes[attrib] != 0;
1769524SAndreas.Sandberg@ARM.com    }
1779524SAndreas.Sandberg@ARM.com
1782901Ssaidi@eecs.umich.edu  public:
1794762Snate@binkert.org
1809524SAndreas.Sandberg@ARM.com    bool isRead() const            { return testCmdAttrib(IsRead); }
1812901Ssaidi@eecs.umich.edu    bool isWrite() const           { return testCmdAttrib(IsWrite); }
1829814Sandreas.hansson@arm.com    bool isUpgrade() const         { return testCmdAttrib(IsUpgrade); }
1839814Sandreas.hansson@arm.com    bool isRequest() const         { return testCmdAttrib(IsRequest); }
1849814Sandreas.hansson@arm.com    bool isResponse() const        { return testCmdAttrib(IsResponse); }
1859814Sandreas.hansson@arm.com    bool needsExclusive() const    { return testCmdAttrib(NeedsExclusive); }
1869814Sandreas.hansson@arm.com    bool needsResponse() const     { return testCmdAttrib(NeedsResponse); }
1872SN/A    bool isInvalidate() const      { return testCmdAttrib(IsInvalidate); }
1882SN/A    bool isWriteInvalidate() const { return testCmdAttrib(IsWrite) &&
1892680Sktlim@umich.edu                                            testCmdAttrib(IsInvalidate); }
1905714Shsul@eecs.umich.edu
1911806SN/A    /**
1926221Snate@binkert.org     * Check if this particular packet type carries payload data. Note
1935713Shsul@eecs.umich.edu     * that this does not reflect if the data pointer of the packet is
1945713Shsul@eecs.umich.edu     * valid or not.
1955713Shsul@eecs.umich.edu     */
1965713Shsul@eecs.umich.edu    bool hasData() const        { return testCmdAttrib(HasData); }
1975714Shsul@eecs.umich.edu    bool isLLSC() const         { return testCmdAttrib(IsLlsc); }
1981806SN/A    bool isSWPrefetch() const   { return testCmdAttrib(IsSWPrefetch); }
1996227Snate@binkert.org    bool isHWPrefetch() const   { return testCmdAttrib(IsHWPrefetch); }
2005714Shsul@eecs.umich.edu    bool isPrefetch() const     { return testCmdAttrib(IsSWPrefetch) ||
2011806SN/A                                         testCmdAttrib(IsHWPrefetch); }
202180SN/A    bool isError() const        { return testCmdAttrib(IsError); }
2036029Ssteve.reinhardt@amd.com    bool isPrint() const        { return testCmdAttrib(IsPrint); }
2046029Ssteve.reinhardt@amd.com    bool isFlush() const        { return testCmdAttrib(IsFlush); }
2056029Ssteve.reinhardt@amd.com
2066029Ssteve.reinhardt@amd.com    const Command
2078765Sgblack@eecs.umich.edu    responseCommand() const
2088765Sgblack@eecs.umich.edu    {
2092378SN/A        return commandInfo[cmd].response;
2102378SN/A    }
2112520SN/A
2122520SN/A    /// Return the string to a cmd given by idx.
2138852Sandreas.hansson@arm.com    const std::string &toString() const { return commandInfo[cmd].str; }
2148852Sandreas.hansson@arm.com    int toInt() const { return (int)cmd; }
2152520SN/A
2161885SN/A    MemCmd(Command _cmd) : cmd(_cmd) { }
2171070SN/A    MemCmd(int _cmd) : cmd((Command)_cmd) { }
218954SN/A    MemCmd() : cmd(InvalidCmd) { }
2191070SN/A
2201070SN/A    bool operator==(MemCmd c2) const { return (cmd == c2.cmd); }
2211070SN/A    bool operator!=(MemCmd c2) const { return (cmd != c2.cmd); }
2221070SN/A};
2231070SN/A
2241070SN/A/**
2251070SN/A * A Packet is used to encapsulate a transfer between two objects in
2261070SN/A * the memory system (e.g., the L1 and L2 cache).  (In contrast, a
2271070SN/A * single Request travels all the way from the requester to the
2281070SN/A * ultimate destination and back, possibly being conveyed by several
2291070SN/A * different Packets along the way.)
2301070SN/A */
2317580SAli.Saidi@arm.comclass Packet : public Printable
2327580SAli.Saidi@arm.com{
2337580SAli.Saidi@arm.com  public:
2347580SAli.Saidi@arm.com    typedef uint32_t FlagsType;
2357580SAli.Saidi@arm.com    typedef ::Flags<FlagsType> Flags;
2367580SAli.Saidi@arm.com
2377580SAli.Saidi@arm.com  private:
2387580SAli.Saidi@arm.com    static const FlagsType PUBLIC_FLAGS           = 0x00000000;
2394997Sgblack@eecs.umich.edu    static const FlagsType PRIVATE_FLAGS          = 0x00007F0F;
2407770SAli.Saidi@ARM.com    static const FlagsType COPY_FLAGS             = 0x0000000F;
2414997Sgblack@eecs.umich.edu
2424997Sgblack@eecs.umich.edu    static const FlagsType SHARED                 = 0x00000001;
2434997Sgblack@eecs.umich.edu    // Special control flags
2444997Sgblack@eecs.umich.edu    /// Special timing-mode atomic snoop for multi-level coherence.
2457770SAli.Saidi@ARM.com    static const FlagsType EXPRESS_SNOOP          = 0x00000002;
2464997Sgblack@eecs.umich.edu    /// Does supplier have exclusive copy?
2474997Sgblack@eecs.umich.edu    /// Useful for multi-level coherence.
2488931Sandreas.hansson@arm.com    static const FlagsType SUPPLY_EXCLUSIVE       = 0x00000004;
2498931Sandreas.hansson@arm.com    // Snoop response flags
2508931Sandreas.hansson@arm.com    static const FlagsType MEM_INHIBIT            = 0x00000008;
2515795Ssaidi@eecs.umich.edu    /// Are the 'addr' and 'size' fields valid?
2528931Sandreas.hansson@arm.com    static const FlagsType VALID_ADDR             = 0x00000100;
2535795Ssaidi@eecs.umich.edu    static const FlagsType VALID_SIZE             = 0x00000200;
2545795Ssaidi@eecs.umich.edu    /// Is the data pointer set to a value that shouldn't be freed
2558931Sandreas.hansson@arm.com    /// when the packet is destroyed?
2568931Sandreas.hansson@arm.com    static const FlagsType STATIC_DATA            = 0x00001000;
2578931Sandreas.hansson@arm.com    /// The data pointer points to a value that should be freed when
2588931Sandreas.hansson@arm.com    /// the packet is destroyed. The pointer is assumed to be pointing
2598931Sandreas.hansson@arm.com    /// to an array, and delete [] is consequently called
2608931Sandreas.hansson@arm.com    static const FlagsType DYNAMIC_DATA           = 0x00002000;
2618931Sandreas.hansson@arm.com    /// suppress the error if this packet encounters a functional
2628931Sandreas.hansson@arm.com    /// access failure.
2638931Sandreas.hansson@arm.com    static const FlagsType SUPPRESS_FUNC_ERROR    = 0x00008000;
2648931Sandreas.hansson@arm.com    // Signal prefetch squash through express snoop flag
2655795Ssaidi@eecs.umich.edu    static const FlagsType PREFETCH_SNOOP_SQUASH  = 0x00010000;
2661885SN/A
2678931Sandreas.hansson@arm.com    Flags flags;
2688931Sandreas.hansson@arm.com
2698931Sandreas.hansson@arm.com  public:
2704762Snate@binkert.org    typedef MemCmd::Command Command;
2719814Sandreas.hansson@arm.com
2729814Sandreas.hansson@arm.com    /// The command field of the packet.
2739814Sandreas.hansson@arm.com    MemCmd cmd;
2747914SBrad.Beckmann@amd.com
2757914SBrad.Beckmann@amd.com    /// A pointer to the original request.
2768666SPrakash.Ramrakhyani@arm.com    const RequestPtr req;
2777914SBrad.Beckmann@amd.com
2787914SBrad.Beckmann@amd.com  private:
2798832SAli.Saidi@ARM.com   /**
2808832SAli.Saidi@ARM.com    * A pointer to the data being transfered.  It can be differnt
2818832SAli.Saidi@ARM.com    * sizes at each level of the heirarchy so it belongs in the
2828832SAli.Saidi@ARM.com    * packet, not request. This may or may not be populated when a
2838832SAli.Saidi@ARM.com    * responder recieves the packet. If not populated it memory should
2848832SAli.Saidi@ARM.com    * be allocated.
2858832SAli.Saidi@ARM.com    */
2867914SBrad.Beckmann@amd.com    PacketDataPtr data;
2878832SAli.Saidi@ARM.com
2888832SAli.Saidi@ARM.com    /// The address of the request.  This address could be virtual or
2898832SAli.Saidi@ARM.com    /// physical, depending on the system configuration.
2908832SAli.Saidi@ARM.com    Addr addr;
2918832SAli.Saidi@ARM.com
2928832SAli.Saidi@ARM.com    /// True if the request targets the secure memory space.
2938832SAli.Saidi@ARM.com    bool _isSecure;
2948832SAli.Saidi@ARM.com
2958832SAli.Saidi@ARM.com    /// The size of the request or transfer.
2968832SAli.Saidi@ARM.com    unsigned size;
2978832SAli.Saidi@ARM.com
2988832SAli.Saidi@ARM.com    /**
2998832SAli.Saidi@ARM.com     * The original value of the command field.  Only valid when the
3008832SAli.Saidi@ARM.com     * current command field is an error condition; in that case, the
3018832SAli.Saidi@ARM.com     * previous contents of the command field are copied here.  This
3028832SAli.Saidi@ARM.com     * field is *not* set on non-error responses.
3038832SAli.Saidi@ARM.com     */
3048832SAli.Saidi@ARM.com    MemCmd origCmd;
3058832SAli.Saidi@ARM.com
3068832SAli.Saidi@ARM.com    /**
3078832SAli.Saidi@ARM.com     * These values specify the range of bytes found that satisfy a
3088666SPrakash.Ramrakhyani@arm.com     * functional read.
3097914SBrad.Beckmann@amd.com     */
3107914SBrad.Beckmann@amd.com    uint16_t bytesValidStart;
3117914SBrad.Beckmann@amd.com    uint16_t bytesValidEnd;
3127914SBrad.Beckmann@amd.com
3138666SPrakash.Ramrakhyani@arm.com  public:
3147914SBrad.Beckmann@amd.com
3157914SBrad.Beckmann@amd.com    /**
3167914SBrad.Beckmann@amd.com     * The extra delay from seeing the packet until the header is
3177914SBrad.Beckmann@amd.com     * transmitted. This delay is used to communicate the crossbar
3187914SBrad.Beckmann@amd.com     * forwarding latency to the neighbouring object (e.g. a cache)
3197914SBrad.Beckmann@amd.com     * that actually makes the packet wait. As the delay is relative,
3207914SBrad.Beckmann@amd.com     * a 32-bit unsigned should be sufficient.
3217914SBrad.Beckmann@amd.com     */
3227914SBrad.Beckmann@amd.com    uint32_t headerDelay;
3237914SBrad.Beckmann@amd.com
3247914SBrad.Beckmann@amd.com    /**
3257914SBrad.Beckmann@amd.com     * The extra pipelining delay from seeing the packet until the end of
3267914SBrad.Beckmann@amd.com     * payload is transmitted by the component that provided it (if
3277914SBrad.Beckmann@amd.com     * any). This includes the header delay. Similar to the header
3287914SBrad.Beckmann@amd.com     * delay, this is used to make up for the fact that the
3297914SBrad.Beckmann@amd.com     * crossbar does not make the packet wait. As the delay is
3307914SBrad.Beckmann@amd.com     * relative, a 32-bit unsigned should be sufficient.
3317914SBrad.Beckmann@amd.com     */
3327914SBrad.Beckmann@amd.com    uint32_t payloadDelay;
3337914SBrad.Beckmann@amd.com
3347914SBrad.Beckmann@amd.com    /**
3357914SBrad.Beckmann@amd.com     * A virtual base opaque structure used to hold state associated
3367914SBrad.Beckmann@amd.com     * with the packet (e.g., an MSHR), specific to a MemObject that
3377914SBrad.Beckmann@amd.com     * sees the packet. A pointer to this state is returned in the
3387914SBrad.Beckmann@amd.com     * packet's response so that the MemObject in question can quickly
3397914SBrad.Beckmann@amd.com     * look up the state needed to process it. A specific subclass
3407914SBrad.Beckmann@amd.com     * would be derived from this to carry state specific to a
3417914SBrad.Beckmann@amd.com     * particular sending device.
3427914SBrad.Beckmann@amd.com     *
3437914SBrad.Beckmann@amd.com     * As multiple MemObjects may add their SenderState throughout the
3447914SBrad.Beckmann@amd.com     * memory system, the SenderStates create a stack, where a
3457914SBrad.Beckmann@amd.com     * MemObject can add a new Senderstate, as long as the
3462901Ssaidi@eecs.umich.edu     * predecessing SenderState is restored when the response comes
3478666SPrakash.Ramrakhyani@arm.com     * back. For this reason, the predecessor should always be
3488666SPrakash.Ramrakhyani@arm.com     * populated with the current SenderState of a packet before
3498666SPrakash.Ramrakhyani@arm.com     * modifying the senderState field in the request packet.
3508666SPrakash.Ramrakhyani@arm.com     */
3518666SPrakash.Ramrakhyani@arm.com    struct SenderState
3528666SPrakash.Ramrakhyani@arm.com    {
3538666SPrakash.Ramrakhyani@arm.com        SenderState* predecessor;
3548666SPrakash.Ramrakhyani@arm.com        SenderState() : predecessor(NULL) {}
3551885SN/A        virtual ~SenderState() {}
3561885SN/A    };
3571885SN/A
3581885SN/A    /**
3591885SN/A     * Object used to maintain state of a PrintReq.  The senderState
3608769Sgblack@eecs.umich.edu     * field of a PrintReq should always be of this type.
3618769Sgblack@eecs.umich.edu     */
3628769Sgblack@eecs.umich.edu    class PrintReqState : public SenderState
3638769Sgblack@eecs.umich.edu    {
3641885SN/A      private:
3659645SAndreas.Sandberg@ARM.com        /**
3661885SN/A         * An entry in the label stack.
3671885SN/A         */
3681885SN/A        struct LabelStackEntry
3699645SAndreas.Sandberg@ARM.com        {
3709645SAndreas.Sandberg@ARM.com            const std::string label;
3719645SAndreas.Sandberg@ARM.com            std::string *prefix;
3729645SAndreas.Sandberg@ARM.com            bool labelPrinted;
3739645SAndreas.Sandberg@ARM.com            LabelStackEntry(const std::string &_label, std::string *_prefix);
3749645SAndreas.Sandberg@ARM.com        };
3759645SAndreas.Sandberg@ARM.com
3769645SAndreas.Sandberg@ARM.com        typedef std::list<LabelStackEntry> LabelStack;
3771885SN/A        LabelStack labelStack;
3789645SAndreas.Sandberg@ARM.com
3799645SAndreas.Sandberg@ARM.com        std::string *curPrefixPtr;
3809645SAndreas.Sandberg@ARM.com
3811885SN/A      public:
3821913SN/A        std::ostream &os;
3831885SN/A        const int verbosity;
3841885SN/A
3859645SAndreas.Sandberg@ARM.com        PrintReqState(std::ostream &os, int verbosity = 0);
3869645SAndreas.Sandberg@ARM.com        ~PrintReqState();
3871885SN/A
3881885SN/A        /**
3891885SN/A         * Returns the current line prefix.
3901885SN/A         */
3911885SN/A        const std::string &curPrefix() { return *curPrefixPtr; }
3921885SN/A
3931885SN/A        /**
3949645SAndreas.Sandberg@ARM.com         * Push a label onto the label stack, and prepend the given
3951885SN/A         * prefix string onto the current prefix.  Labels will only be
3969645SAndreas.Sandberg@ARM.com         * printed if an object within the label's scope is printed.
3971885SN/A         */
3981885SN/A        void pushLabel(const std::string &lbl,
3999645SAndreas.Sandberg@ARM.com                       const std::string &prefix = "  ");
4009645SAndreas.Sandberg@ARM.com
4019645SAndreas.Sandberg@ARM.com        /**
4029645SAndreas.Sandberg@ARM.com         * Pop a label off the label stack.
4039645SAndreas.Sandberg@ARM.com         */
4049645SAndreas.Sandberg@ARM.com        void popLabel();
4059645SAndreas.Sandberg@ARM.com
4069645SAndreas.Sandberg@ARM.com        /**
4079645SAndreas.Sandberg@ARM.com         * Print all of the pending unprinted labels on the
4089645SAndreas.Sandberg@ARM.com         * stack. Called by printObj(), so normally not called by
4099645SAndreas.Sandberg@ARM.com         * users unless bypassing printObj().
4109645SAndreas.Sandberg@ARM.com         */
4119645SAndreas.Sandberg@ARM.com        void printLabels();
4129645SAndreas.Sandberg@ARM.com
4139645SAndreas.Sandberg@ARM.com        /**
4149645SAndreas.Sandberg@ARM.com         * Print a Printable object to os, because it matched the
4159645SAndreas.Sandberg@ARM.com         * address on a PrintReq.
4169645SAndreas.Sandberg@ARM.com         */
4179645SAndreas.Sandberg@ARM.com        void printObj(Printable *obj);
4189645SAndreas.Sandberg@ARM.com    };
4199645SAndreas.Sandberg@ARM.com
4209645SAndreas.Sandberg@ARM.com    /**
4219645SAndreas.Sandberg@ARM.com     * This packet's sender state.  Devices should use dynamic_cast<>
4229645SAndreas.Sandberg@ARM.com     * to cast to the state appropriate to the sender.  The intent of
4239645SAndreas.Sandberg@ARM.com     * this variable is to allow a device to attach extra information
4249645SAndreas.Sandberg@ARM.com     * to a request. A response packet must return the sender state
4259645SAndreas.Sandberg@ARM.com     * that was attached to the original request (even if a new packet
4269645SAndreas.Sandberg@ARM.com     * is created).
4279645SAndreas.Sandberg@ARM.com     */
4289645SAndreas.Sandberg@ARM.com    SenderState *senderState;
4299645SAndreas.Sandberg@ARM.com
4309645SAndreas.Sandberg@ARM.com    /**
4319645SAndreas.Sandberg@ARM.com     * Push a new sender state to the packet and make the current
4329645SAndreas.Sandberg@ARM.com     * sender state the predecessor of the new one. This should be
4339645SAndreas.Sandberg@ARM.com     * prefered over direct manipulation of the senderState member
4349645SAndreas.Sandberg@ARM.com     * variable.
4359645SAndreas.Sandberg@ARM.com     *
4369645SAndreas.Sandberg@ARM.com     * @param sender_state SenderState to push at the top of the stack
4379645SAndreas.Sandberg@ARM.com     */
4389645SAndreas.Sandberg@ARM.com    void pushSenderState(SenderState *sender_state);
4399645SAndreas.Sandberg@ARM.com
4409645SAndreas.Sandberg@ARM.com    /**
4419645SAndreas.Sandberg@ARM.com     * Pop the top of the state stack and return a pointer to it. This
4429645SAndreas.Sandberg@ARM.com     * assumes the current sender state is not NULL. This should be
44377SN/A     * preferred over direct manipulation of the senderState member
4446658Snate@binkert.org     * variable.
4451070SN/A     *
4463960Sgblack@eecs.umich.edu     * @return The current top of the stack
4471070SN/A     */
4481070SN/A    SenderState *popSenderState();
4494762Snate@binkert.org
4501070SN/A    /**
4512158SN/A     * Go through the sender state stack and return the first instance
4522158SN/A     * that is of type T (as determined by a dynamic_cast). If there
4531070SN/A     * is no sender state of type T, NULL is returned.
4542158SN/A     *
4551070SN/A     * @return The topmost state of type T
4562SN/A     */
4572SN/A    template <typename T>
4587733SAli.Saidi@ARM.com    T * findNextSenderState() const
4591129SN/A    {
4602158SN/A        T *t = NULL;
4612158SN/A        SenderState* sender_state = senderState;
4621070SN/A        while (t == NULL && sender_state != NULL) {
4632378SN/A            t = dynamic_cast<T*>(sender_state);
4641070SN/A            sender_state = sender_state->predecessor;
4651070SN/A        }
4661070SN/A        return t;
4671070SN/A    }
4681070SN/A
4691070SN/A    /// Return the string name of the cmd field (for debugging and
4701070SN/A    /// tracing).
4711070SN/A    const std::string &cmdString() const { return cmd.toString(); }
4721070SN/A
4731070SN/A    /// Return the index of this command.
4741070SN/A    inline int cmdToIndex() const { return cmd.toInt(); }
4751070SN/A
4761070SN/A    bool isRead() const              { return cmd.isRead(); }
4771070SN/A    bool isWrite() const             { return cmd.isWrite(); }
4781070SN/A    bool isUpgrade()  const          { return cmd.isUpgrade(); }
4791070SN/A    bool isRequest() const           { return cmd.isRequest(); }
4801070SN/A    bool isResponse() const          { return cmd.isResponse(); }
4811070SN/A    bool needsExclusive() const      { return cmd.needsExclusive(); }
4828601Ssteve.reinhardt@amd.com    bool needsResponse() const       { return cmd.needsResponse(); }
4838601Ssteve.reinhardt@amd.com    bool isInvalidate() const        { return cmd.isInvalidate(); }
4848601Ssteve.reinhardt@amd.com    bool isWriteInvalidate() const   { return cmd.isWriteInvalidate(); }
4852378SN/A    bool hasData() const             { return cmd.hasData(); }
4865718Shsul@eecs.umich.edu    bool isLLSC() const              { return cmd.isLLSC(); }
4875713Shsul@eecs.umich.edu    bool isError() const             { return cmd.isError(); }
4881070SN/A    bool isPrint() const             { return cmd.isPrint(); }
4891070SN/A    bool isFlush() const             { return cmd.isFlush(); }
4901070SN/A
4919342SAndreas.Sandberg@arm.com    // Snoop flags
4929342SAndreas.Sandberg@arm.com    void assertMemInhibit()
4939342SAndreas.Sandberg@arm.com    {
4942SN/A        assert(isRequest());
49577SN/A        assert(!flags.isSet(MEM_INHIBIT));
4967897Shestness@cs.utexas.edu        flags.set(MEM_INHIBIT);
4977897Shestness@cs.utexas.edu    }
4988666SPrakash.Ramrakhyani@arm.com    bool memInhibitAsserted() const { return flags.isSet(MEM_INHIBIT); }
4998666SPrakash.Ramrakhyani@arm.com    void assertShared()             { flags.set(SHARED); }
5007897Shestness@cs.utexas.edu    bool sharedAsserted() const     { return flags.isSet(SHARED); }
5012SN/A
5022SN/A    // Special control flags
5032SN/A    void setExpressSnoop()          { flags.set(EXPRESS_SNOOP); }
5042SN/A    bool isExpressSnoop() const     { return flags.isSet(EXPRESS_SNOOP); }
5052SN/A    void setSupplyExclusive()       { flags.set(SUPPLY_EXCLUSIVE); }
5062SN/A    void clearSupplyExclusive()     { flags.clear(SUPPLY_EXCLUSIVE); }
5072SN/A    bool isSupplyExclusive() const  { return flags.isSet(SUPPLY_EXCLUSIVE); }
5082SN/A    void setSuppressFuncError()     { flags.set(SUPPRESS_FUNC_ERROR); }
5092SN/A    bool suppressFuncError() const  { return flags.isSet(SUPPRESS_FUNC_ERROR); }
5102SN/A    void setPrefetchSquashed()      { flags.set(PREFETCH_SNOOP_SQUASH); }
5112158SN/A    bool prefetchSquashed() const   { return flags.isSet(PREFETCH_SNOOP_SQUASH); }
5129112Smarc.orr@gmail.com
5139112Smarc.orr@gmail.com    // Network error conditions... encapsulate them as methods since
5149112Smarc.orr@gmail.com    // their encoding keeps changing (from result field to command
5159292Sandreas.hansson@arm.com    // field, etc.)
5169292Sandreas.hansson@arm.com    void
5179292Sandreas.hansson@arm.com    setBadAddress()
5189292Sandreas.hansson@arm.com    {
5199292Sandreas.hansson@arm.com        assert(isResponse());
5209292Sandreas.hansson@arm.com        cmd = MemCmd::BadAddressError;
5219292Sandreas.hansson@arm.com    }
5229292Sandreas.hansson@arm.com
5239292Sandreas.hansson@arm.com    bool hadBadAddress() const { return cmd == MemCmd::BadAddressError; }
5249292Sandreas.hansson@arm.com    void copyError(Packet *pkt) { assert(pkt->isError()); cmd = pkt->cmd; }
5259292Sandreas.hansson@arm.com
5269292Sandreas.hansson@arm.com    Addr getAddr() const { assert(flags.isSet(VALID_ADDR)); return addr; }
5279292Sandreas.hansson@arm.com    /**
5289292Sandreas.hansson@arm.com     * Update the address of this packet mid-transaction. This is used
5299292Sandreas.hansson@arm.com     * by the address mapper to change an already set address to a new
5309292Sandreas.hansson@arm.com     * one based on the system configuration. It is intended to remap
5319292Sandreas.hansson@arm.com     * an existing address, so it asserts that the current address is
5329292Sandreas.hansson@arm.com     * valid.
5339292Sandreas.hansson@arm.com     */
5349292Sandreas.hansson@arm.com    void setAddr(Addr _addr) { assert(flags.isSet(VALID_ADDR)); addr = _addr; }
5352158SN/A
5362SN/A    unsigned getSize() const  { assert(flags.isSet(VALID_SIZE)); return size; }
5372SN/A    Addr getOffset(int blkSize) const { return getAddr() & (Addr)(blkSize - 1); }
5389554Sandreas.hansson@arm.com
5399554Sandreas.hansson@arm.com    bool isSecure() const
5402SN/A    {
541        assert(flags.isSet(VALID_ADDR));
542        return _isSecure;
543    }
544
545    /**
546     * It has been determined that the SC packet should successfully update
547     * memory.  Therefore, convert this SC packet to a normal write.
548     */
549    void
550    convertScToWrite()
551    {
552        assert(isLLSC());
553        assert(isWrite());
554        cmd = MemCmd::WriteReq;
555    }
556
557    /**
558     * When ruby is in use, Ruby will monitor the cache line and thus M5
559     * phys memory should treat LL ops as normal reads.
560     */
561    void
562    convertLlToRead()
563    {
564        assert(isLLSC());
565        assert(isRead());
566        cmd = MemCmd::ReadReq;
567    }
568
569    /**
570     * Constructor.  Note that a Request object must be constructed
571     * first, but the Requests's physical address and size fields need
572     * not be valid. The command must be supplied.
573     */
574    Packet(const RequestPtr _req, MemCmd _cmd)
575        :  cmd(_cmd), req(_req), data(nullptr), addr(0), _isSecure(false),
576           size(0), bytesValidStart(0), bytesValidEnd(0),
577           headerDelay(0), payloadDelay(0),
578           senderState(NULL)
579    {
580        if (req->hasPaddr()) {
581            addr = req->getPaddr();
582            flags.set(VALID_ADDR);
583            _isSecure = req->isSecure();
584        }
585        if (req->hasSize()) {
586            size = req->getSize();
587            flags.set(VALID_SIZE);
588        }
589    }
590
591    /**
592     * Alternate constructor if you are trying to create a packet with
593     * a request that is for a whole block, not the address from the
594     * req.  this allows for overriding the size/addr of the req.
595     */
596    Packet(const RequestPtr _req, MemCmd _cmd, int _blkSize)
597        :  cmd(_cmd), req(_req), data(nullptr), addr(0), _isSecure(false),
598           bytesValidStart(0), bytesValidEnd(0),
599           headerDelay(0), payloadDelay(0),
600           senderState(NULL)
601    {
602        if (req->hasPaddr()) {
603            addr = req->getPaddr() & ~(_blkSize - 1);
604            flags.set(VALID_ADDR);
605            _isSecure = req->isSecure();
606        }
607        size = _blkSize;
608        flags.set(VALID_SIZE);
609    }
610
611    /**
612     * Alternate constructor for copying a packet.  Copy all fields
613     * *except* if the original packet's data was dynamic, don't copy
614     * that, as we can't guarantee that the new packet's lifetime is
615     * less than that of the original packet.  In this case the new
616     * packet should allocate its own data.
617     */
618    Packet(PacketPtr pkt, bool clear_flags, bool alloc_data)
619        :  cmd(pkt->cmd), req(pkt->req),
620           data(nullptr),
621           addr(pkt->addr), _isSecure(pkt->_isSecure), size(pkt->size),
622           bytesValidStart(pkt->bytesValidStart),
623           bytesValidEnd(pkt->bytesValidEnd),
624           headerDelay(pkt->headerDelay),
625           payloadDelay(pkt->payloadDelay),
626           senderState(pkt->senderState)
627    {
628        if (!clear_flags)
629            flags.set(pkt->flags & COPY_FLAGS);
630
631        flags.set(pkt->flags & (VALID_ADDR|VALID_SIZE));
632
633        // should we allocate space for data, or not, the express
634        // snoops do not need to carry any data as they only serve to
635        // co-ordinate state changes
636        if (alloc_data) {
637            // even if asked to allocate data, if the original packet
638            // holds static data, then the sender will not be doing
639            // any memcpy on receiving the response, thus we simply
640            // carry the pointer forward
641            if (pkt->flags.isSet(STATIC_DATA)) {
642                data = pkt->data;
643                flags.set(STATIC_DATA);
644            } else {
645                allocate();
646            }
647        }
648    }
649
650    /**
651     * Change the packet type based on request type.
652     */
653    void
654    refineCommand()
655    {
656        if (cmd == MemCmd::ReadReq) {
657            if (req->isLLSC()) {
658                cmd = MemCmd::LoadLockedReq;
659            } else if (req->isPrefetch()) {
660                cmd = MemCmd::SoftPFReq;
661            }
662        } else if (cmd == MemCmd::WriteReq) {
663            if (req->isLLSC()) {
664                cmd = MemCmd::StoreCondReq;
665            } else if (req->isSwap()) {
666                cmd = MemCmd::SwapReq;
667            }
668        }
669    }
670
671    /**
672     * Constructor-like methods that return Packets based on Request objects.
673     * Will call refineCommand() to fine-tune the Packet type if it's not a
674     * vanilla read or write.
675     */
676    static PacketPtr
677    createRead(const RequestPtr req)
678    {
679        PacketPtr pkt = new Packet(req, MemCmd::ReadReq);
680        pkt->refineCommand();
681        return pkt;
682    }
683
684    static PacketPtr
685    createWrite(const RequestPtr req)
686    {
687        PacketPtr pkt = new Packet(req, MemCmd::WriteReq);
688        pkt->refineCommand();
689        return pkt;
690    }
691
692    /**
693     * clean up packet variables
694     */
695    ~Packet()
696    {
697        // If this is a request packet for which there's no response,
698        // delete the request object here, since the requester will
699        // never get the chance.
700        if (req && isRequest() && !needsResponse())
701            delete req;
702        deleteData();
703    }
704
705    /**
706     * Take a request packet and modify it in place to be suitable for
707     * returning as a response to that request.
708     */
709    void
710    makeResponse()
711    {
712        assert(needsResponse());
713        assert(isRequest());
714        origCmd = cmd;
715        cmd = cmd.responseCommand();
716
717        // responses are never express, even if the snoop that
718        // triggered them was
719        flags.clear(EXPRESS_SNOOP);
720    }
721
722    void
723    makeAtomicResponse()
724    {
725        makeResponse();
726    }
727
728    void
729    makeTimingResponse()
730    {
731        makeResponse();
732    }
733
734    void
735    setFunctionalResponseStatus(bool success)
736    {
737        if (!success) {
738            if (isWrite()) {
739                cmd = MemCmd::FunctionalWriteError;
740            } else {
741                cmd = MemCmd::FunctionalReadError;
742            }
743        }
744    }
745
746    void
747    setSize(unsigned size)
748    {
749        assert(!flags.isSet(VALID_SIZE));
750
751        this->size = size;
752        flags.set(VALID_SIZE);
753    }
754
755
756    /**
757     * Set the data pointer to the following value that should not be
758     * freed. Static data allows us to do a single memcpy even if
759     * multiple packets are required to get from source to destination
760     * and back. In essence the pointer is set calling dataStatic on
761     * the original packet, and whenever this packet is copied and
762     * forwarded the same pointer is passed on. When a packet
763     * eventually reaches the destination holding the data, it is
764     * copied once into the location originally set. On the way back
765     * to the source, no copies are necessary.
766     */
767    template <typename T>
768    void
769    dataStatic(T *p)
770    {
771        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
772        data = (PacketDataPtr)p;
773        flags.set(STATIC_DATA);
774    }
775
776    /**
777     * Set the data pointer to the following value that should not be
778     * freed. This version of the function allows the pointer passed
779     * to us to be const. To avoid issues down the line we cast the
780     * constness away, the alternative would be to keep both a const
781     * and non-const data pointer and cleverly choose between
782     * them. Note that this is only allowed for static data.
783     */
784    template <typename T>
785    void
786    dataStaticConst(const T *p)
787    {
788        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
789        data = const_cast<PacketDataPtr>(p);
790        flags.set(STATIC_DATA);
791    }
792
793    /**
794     * Set the data pointer to a value that should have delete []
795     * called on it. Dynamic data is local to this packet, and as the
796     * packet travels from source to destination, forwarded packets
797     * will allocate their own data. When a packet reaches the final
798     * destination it will populate the dynamic data of that specific
799     * packet, and on the way back towards the source, memcpy will be
800     * invoked in every step where a new packet was created e.g. in
801     * the caches. Ultimately when the response reaches the source a
802     * final memcpy is needed to extract the data from the packet
803     * before it is deallocated.
804     */
805    template <typename T>
806    void
807    dataDynamic(T *p)
808    {
809        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
810        data = (PacketDataPtr)p;
811        flags.set(DYNAMIC_DATA);
812    }
813
814    /**
815     * get a pointer to the data ptr.
816     */
817    template <typename T>
818    T*
819    getPtr()
820    {
821        assert(flags.isSet(STATIC_DATA|DYNAMIC_DATA));
822        return (T*)data;
823    }
824
825    template <typename T>
826    const T*
827    getConstPtr() const
828    {
829        assert(flags.isSet(STATIC_DATA|DYNAMIC_DATA));
830        return (const T*)data;
831    }
832
833    /**
834     * return the value of what is pointed to in the packet.
835     */
836    template <typename T>
837    T get() const;
838
839    /**
840     * set the value in the data pointer to v.
841     */
842    template <typename T>
843    void set(T v);
844
845    /**
846     * Copy data into the packet from the provided pointer.
847     */
848    void
849    setData(const uint8_t *p)
850    {
851        // we should never be copying data onto itself, which means we
852        // must idenfity packets with static data, as they carry the
853        // same pointer from source to destination and back
854        assert(p != getPtr<uint8_t>() || flags.isSet(STATIC_DATA));
855
856        if (p != getPtr<uint8_t>())
857            // for packet with allocated dynamic data, we copy data from
858            // one to the other, e.g. a forwarded response to a response
859            std::memcpy(getPtr<uint8_t>(), p, getSize());
860    }
861
862    /**
863     * Copy data into the packet from the provided block pointer,
864     * which is aligned to the given block size.
865     */
866    void
867    setDataFromBlock(const uint8_t *blk_data, int blkSize)
868    {
869        setData(blk_data + getOffset(blkSize));
870    }
871
872    /**
873     * Copy data from the packet to the provided block pointer, which
874     * is aligned to the given block size.
875     */
876    void
877    writeData(uint8_t *p) const
878    {
879        std::memcpy(p, getConstPtr<uint8_t>(), getSize());
880    }
881
882    /**
883     * Copy data from the packet to the memory at the provided pointer.
884     */
885    void
886    writeDataToBlock(uint8_t *blk_data, int blkSize) const
887    {
888        writeData(blk_data + getOffset(blkSize));
889    }
890
891    /**
892     * delete the data pointed to in the data pointer. Ok to call to
893     * matter how data was allocted.
894     */
895    void
896    deleteData()
897    {
898        if (flags.isSet(DYNAMIC_DATA))
899            delete [] data;
900
901        flags.clear(STATIC_DATA|DYNAMIC_DATA);
902        data = NULL;
903    }
904
905    /** Allocate memory for the packet. */
906    void
907    allocate()
908    {
909        assert(flags.noneSet(STATIC_DATA|DYNAMIC_DATA));
910        flags.set(DYNAMIC_DATA);
911        data = new uint8_t[getSize()];
912    }
913
914    /**
915     * Check a functional request against a memory value stored in
916     * another packet (i.e. an in-transit request or
917     * response). Returns true if the current packet is a read, and
918     * the other packet provides the data, which is then copied to the
919     * current packet. If the current packet is a write, and the other
920     * packet intersects this one, then we update the data
921     * accordingly.
922     */
923    bool
924    checkFunctional(PacketPtr other)
925    {
926        // all packets that are carrying a payload should have a valid
927        // data pointer
928        return checkFunctional(other, other->getAddr(), other->isSecure(),
929                               other->getSize(),
930                               other->hasData() ?
931                               other->getPtr<uint8_t>() : NULL);
932    }
933
934    /**
935     * Check a functional request against a memory value represented
936     * by a base/size pair and an associated data array. If the
937     * current packet is a read, it may be satisfied by the memory
938     * value. If the current packet is a write, it may update the
939     * memory value.
940     */
941    bool
942    checkFunctional(Printable *obj, Addr base, bool is_secure, int size,
943                    uint8_t *_data);
944
945    /**
946     * Push label for PrintReq (safe to call unconditionally).
947     */
948    void
949    pushLabel(const std::string &lbl)
950    {
951        if (isPrint())
952            safe_cast<PrintReqState*>(senderState)->pushLabel(lbl);
953    }
954
955    /**
956     * Pop label for PrintReq (safe to call unconditionally).
957     */
958    void
959    popLabel()
960    {
961        if (isPrint())
962            safe_cast<PrintReqState*>(senderState)->popLabel();
963    }
964
965    void print(std::ostream &o, int verbosity = 0,
966               const std::string &prefix = "") const;
967
968    /**
969     * A no-args wrapper of print(std::ostream...)
970     * meant to be invoked from DPRINTFs
971     * avoiding string overheads in fast mode
972     * @return string with the request's type and start<->end addresses
973     */
974    std::string print() const;
975};
976
977#endif //__MEM_PACKET_HH
978