2006-04-28 21:37:48 +02:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2006 The Regents of The University of Michigan
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions are
|
|
|
|
* met: redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer;
|
|
|
|
* redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution;
|
|
|
|
* neither the name of the copyright holders nor the names of its
|
|
|
|
* contributors may be used to endorse or promote products derived from
|
|
|
|
* this software without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
|
|
* A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
|
|
* OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
|
|
* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
|
* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
|
* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
2006-06-01 01:26:56 +02:00
|
|
|
*
|
|
|
|
* Authors: Ali Saidi
|
|
|
|
* Steve Reinhardt
|
2006-04-28 21:37:48 +02:00
|
|
|
*/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @file
|
|
|
|
* Definition of the Packet Class, a packet is a transaction occuring
|
|
|
|
* between a single level of the memory heirarchy (ie L1->L2).
|
|
|
|
*/
|
2006-10-12 20:15:09 +02:00
|
|
|
|
|
|
|
#include <iostream>
|
2007-01-27 00:48:51 +01:00
|
|
|
#include <cstring>
|
2008-01-02 21:20:15 +01:00
|
|
|
#include "base/cprintf.hh"
|
2006-04-29 23:37:25 +02:00
|
|
|
#include "base/misc.hh"
|
2006-10-12 20:15:09 +02:00
|
|
|
#include "base/trace.hh"
|
2006-10-20 08:38:45 +02:00
|
|
|
#include "mem/packet.hh"
|
2006-04-28 21:37:48 +02:00
|
|
|
|
2008-11-10 20:51:17 +01:00
|
|
|
using namespace std;
|
|
|
|
|
2007-02-07 19:53:37 +01:00
|
|
|
// The one downside to bitsets is that static initializers can get ugly.
|
|
|
|
#define SET1(a1) (1 << (a1))
|
|
|
|
#define SET2(a1, a2) (SET1(a1) | SET1(a2))
|
|
|
|
#define SET3(a1, a2, a3) (SET2(a1, a2) | SET1(a3))
|
|
|
|
#define SET4(a1, a2, a3, a4) (SET3(a1, a2, a3) | SET1(a4))
|
|
|
|
#define SET5(a1, a2, a3, a4, a5) (SET4(a1, a2, a3, a4) | SET1(a5))
|
|
|
|
#define SET6(a1, a2, a3, a4, a5, a6) (SET5(a1, a2, a3, a4, a5) | SET1(a6))
|
2006-05-26 20:17:33 +02:00
|
|
|
|
2007-02-07 19:53:37 +01:00
|
|
|
const MemCmd::CommandInfo
|
|
|
|
MemCmd::commandInfo[] =
|
2006-05-26 20:17:33 +02:00
|
|
|
{
|
2007-02-07 19:53:37 +01:00
|
|
|
/* InvalidCmd */
|
|
|
|
{ 0, InvalidCmd, "InvalidCmd" },
|
|
|
|
/* ReadReq */
|
|
|
|
{ SET3(IsRead, IsRequest, NeedsResponse), ReadResp, "ReadReq" },
|
2007-05-22 15:29:48 +02:00
|
|
|
/* ReadResp */
|
|
|
|
{ SET3(IsRead, IsResponse, HasData), InvalidCmd, "ReadResp" },
|
2008-01-03 00:22:38 +01:00
|
|
|
/* ReadRespWithInvalidate */
|
|
|
|
{ SET4(IsRead, IsResponse, HasData, IsInvalidate),
|
|
|
|
InvalidCmd, "ReadRespWithInvalidate" },
|
2007-02-07 19:53:37 +01:00
|
|
|
/* WriteReq */
|
2007-06-18 02:27:53 +02:00
|
|
|
{ SET5(IsWrite, NeedsExclusive, IsRequest, NeedsResponse, HasData),
|
2007-02-07 19:53:37 +01:00
|
|
|
WriteResp, "WriteReq" },
|
|
|
|
/* WriteResp */
|
2007-06-18 02:27:53 +02:00
|
|
|
{ SET3(IsWrite, NeedsExclusive, IsResponse), InvalidCmd, "WriteResp" },
|
2007-02-07 19:53:37 +01:00
|
|
|
/* Writeback */
|
2007-06-21 20:59:17 +02:00
|
|
|
{ SET4(IsWrite, NeedsExclusive, IsRequest, HasData),
|
|
|
|
InvalidCmd, "Writeback" },
|
2007-02-07 19:53:37 +01:00
|
|
|
/* SoftPFReq */
|
|
|
|
{ SET4(IsRead, IsRequest, IsSWPrefetch, NeedsResponse),
|
|
|
|
SoftPFResp, "SoftPFReq" },
|
|
|
|
/* HardPFReq */
|
|
|
|
{ SET4(IsRead, IsRequest, IsHWPrefetch, NeedsResponse),
|
|
|
|
HardPFResp, "HardPFReq" },
|
|
|
|
/* SoftPFResp */
|
|
|
|
{ SET4(IsRead, IsResponse, IsSWPrefetch, HasData),
|
|
|
|
InvalidCmd, "SoftPFResp" },
|
|
|
|
/* HardPFResp */
|
|
|
|
{ SET4(IsRead, IsResponse, IsHWPrefetch, HasData),
|
|
|
|
InvalidCmd, "HardPFResp" },
|
|
|
|
/* WriteInvalidateReq */
|
2007-06-18 02:27:53 +02:00
|
|
|
{ SET6(IsWrite, NeedsExclusive, IsInvalidate,
|
|
|
|
IsRequest, HasData, NeedsResponse),
|
2007-02-07 19:53:37 +01:00
|
|
|
WriteInvalidateResp, "WriteInvalidateReq" },
|
|
|
|
/* WriteInvalidateResp */
|
2008-01-03 00:22:38 +01:00
|
|
|
{ SET3(IsWrite, NeedsExclusive, IsResponse),
|
2007-02-07 19:53:37 +01:00
|
|
|
InvalidCmd, "WriteInvalidateResp" },
|
|
|
|
/* UpgradeReq */
|
2007-06-21 20:59:17 +02:00
|
|
|
{ SET4(IsInvalidate, NeedsExclusive, IsRequest, NeedsResponse),
|
|
|
|
UpgradeResp, "UpgradeReq" },
|
|
|
|
/* UpgradeResp */
|
2008-01-03 00:22:38 +01:00
|
|
|
{ SET2(NeedsExclusive, IsResponse),
|
2007-06-21 20:59:17 +02:00
|
|
|
InvalidCmd, "UpgradeResp" },
|
2007-02-07 19:53:37 +01:00
|
|
|
/* ReadExReq */
|
2007-06-18 02:27:53 +02:00
|
|
|
{ SET5(IsRead, NeedsExclusive, IsInvalidate, IsRequest, NeedsResponse),
|
2007-02-07 19:53:37 +01:00
|
|
|
ReadExResp, "ReadExReq" },
|
|
|
|
/* ReadExResp */
|
2008-01-03 00:22:38 +01:00
|
|
|
{ SET4(IsRead, NeedsExclusive, IsResponse, HasData),
|
2007-02-12 19:06:30 +01:00
|
|
|
InvalidCmd, "ReadExResp" },
|
2008-07-15 20:38:51 +02:00
|
|
|
/* LoadLockedReq: note that we use plain ReadResp as response, so that
|
|
|
|
* we can also use ReadRespWithInvalidate when needed */
|
2009-04-19 13:25:01 +02:00
|
|
|
{ SET4(IsRead, IsLlsc, IsRequest, NeedsResponse),
|
2008-07-15 20:38:51 +02:00
|
|
|
ReadResp, "LoadLockedReq" },
|
2007-06-18 02:27:53 +02:00
|
|
|
/* StoreCondReq */
|
2009-04-19 13:25:01 +02:00
|
|
|
{ SET6(IsWrite, NeedsExclusive, IsLlsc,
|
2007-06-18 02:27:53 +02:00
|
|
|
IsRequest, NeedsResponse, HasData),
|
|
|
|
StoreCondResp, "StoreCondReq" },
|
|
|
|
/* StoreCondResp */
|
2009-04-19 13:25:01 +02:00
|
|
|
{ SET4(IsWrite, NeedsExclusive, IsLlsc, IsResponse),
|
2007-06-18 02:27:53 +02:00
|
|
|
InvalidCmd, "StoreCondResp" },
|
2007-02-12 19:06:30 +01:00
|
|
|
/* SwapReq -- for Swap ldstub type operations */
|
2007-06-18 02:27:53 +02:00
|
|
|
{ SET6(IsRead, IsWrite, NeedsExclusive, IsRequest, HasData, NeedsResponse),
|
2007-02-12 19:06:30 +01:00
|
|
|
SwapResp, "SwapReq" },
|
|
|
|
/* SwapResp -- for Swap ldstub type operations */
|
2007-06-18 02:27:53 +02:00
|
|
|
{ SET5(IsRead, IsWrite, NeedsExclusive, IsResponse, HasData),
|
2007-06-30 19:16:18 +02:00
|
|
|
InvalidCmd, "SwapResp" },
|
2008-10-12 21:08:51 +02:00
|
|
|
/* IntReq -- for interrupts */
|
|
|
|
{ SET4(IsWrite, IsRequest, NeedsResponse, HasData),
|
2009-04-19 12:53:29 +02:00
|
|
|
MessageResp, "MessageReq" },
|
2008-10-12 21:08:51 +02:00
|
|
|
/* IntResp -- for interrupts */
|
2009-04-19 12:53:29 +02:00
|
|
|
{ SET2(IsWrite, IsResponse), InvalidCmd, "MessageResp" },
|
2007-06-30 19:16:18 +02:00
|
|
|
/* NetworkNackError -- nacked at network layer (not by protocol) */
|
2007-08-27 06:45:40 +02:00
|
|
|
{ SET2(IsResponse, IsError), InvalidCmd, "NetworkNackError" },
|
2007-06-30 19:16:18 +02:00
|
|
|
/* InvalidDestError -- packet dest field invalid */
|
2007-08-27 06:45:40 +02:00
|
|
|
{ SET2(IsResponse, IsError), InvalidCmd, "InvalidDestError" },
|
2007-06-30 19:16:18 +02:00
|
|
|
/* BadAddressError -- memory address invalid */
|
2008-01-02 21:20:15 +01:00
|
|
|
{ SET2(IsResponse, IsError), InvalidCmd, "BadAddressError" },
|
|
|
|
/* PrintReq */
|
|
|
|
{ SET2(IsRequest, IsPrint), InvalidCmd, "PrintReq" }
|
2007-02-07 19:53:37 +01:00
|
|
|
};
|
2006-06-28 20:35:00 +02:00
|
|
|
|
2006-05-26 20:17:33 +02:00
|
|
|
bool
|
2008-01-02 21:20:15 +01:00
|
|
|
Packet::checkFunctional(Printable *obj, Addr addr, int size, uint8_t *data)
|
2006-05-26 20:17:33 +02:00
|
|
|
{
|
2007-06-18 02:27:53 +02:00
|
|
|
Addr func_start = getAddr();
|
|
|
|
Addr func_end = getAddr() + getSize() - 1;
|
|
|
|
Addr val_start = addr;
|
|
|
|
Addr val_end = val_start + size - 1;
|
2006-10-12 20:15:09 +02:00
|
|
|
|
2007-06-18 02:27:53 +02:00
|
|
|
if (func_start > val_end || val_start > func_end) {
|
|
|
|
// no intersection
|
|
|
|
return false;
|
|
|
|
}
|
2006-10-12 20:15:09 +02:00
|
|
|
|
2008-01-02 21:20:15 +01:00
|
|
|
// check print first since it doesn't require data
|
|
|
|
if (isPrint()) {
|
|
|
|
dynamic_cast<PrintReqState*>(senderState)->printObj(obj);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// if there's no data, there's no need to look further
|
|
|
|
if (!data) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2007-06-18 02:27:53 +02:00
|
|
|
// offset of functional request into supplied value (could be
|
|
|
|
// negative if partial overlap)
|
|
|
|
int offset = func_start - val_start;
|
2006-10-12 20:15:09 +02:00
|
|
|
|
2007-06-18 02:27:53 +02:00
|
|
|
if (isRead()) {
|
|
|
|
if (func_start >= val_start && func_end <= val_end) {
|
|
|
|
allocate();
|
2008-11-10 20:51:17 +01:00
|
|
|
memcpy(getPtr<uint8_t>(), data + offset, getSize());
|
2007-06-30 19:16:18 +02:00
|
|
|
makeResponse();
|
2007-06-18 02:27:53 +02:00
|
|
|
return true;
|
2006-10-12 20:15:09 +02:00
|
|
|
} else {
|
2007-05-28 17:04:33 +02:00
|
|
|
// In this case the timing packet only partially satisfies
|
|
|
|
// the request, so we would need more information to make
|
|
|
|
// this work. Like bytes valid in the packet or
|
|
|
|
// something, so the request could continue and get this
|
|
|
|
// bit of possibly newer data along with the older data
|
|
|
|
// not written to yet.
|
2007-06-18 02:27:53 +02:00
|
|
|
panic("Memory value only partially satisfies the functional "
|
|
|
|
"request. Now what?");
|
2006-10-12 20:15:09 +02:00
|
|
|
}
|
2007-06-18 02:27:53 +02:00
|
|
|
} else if (isWrite()) {
|
|
|
|
if (offset >= 0) {
|
2008-11-10 20:51:17 +01:00
|
|
|
memcpy(data + offset, getPtr<uint8_t>(),
|
|
|
|
(min(func_end, val_end) - func_start) + 1);
|
|
|
|
} else {
|
|
|
|
// val_start > func_start
|
|
|
|
memcpy(data, getPtr<uint8_t>() - offset,
|
|
|
|
(min(func_end, val_end) - val_start) + 1);
|
2006-10-12 20:15:09 +02:00
|
|
|
}
|
2008-01-02 21:20:15 +01:00
|
|
|
} else {
|
2007-06-18 02:27:53 +02:00
|
|
|
panic("Don't know how to handle command %s\n", cmdString());
|
2008-01-02 21:20:15 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// keep going with request by default
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2008-11-10 20:51:17 +01:00
|
|
|
Packet::print(ostream &o, const int verbosity, const string &prefix) const
|
2008-01-02 21:20:15 +01:00
|
|
|
{
|
|
|
|
ccprintf(o, "%s[%x:%x] %s\n", prefix,
|
|
|
|
getAddr(), getAddr() + getSize() - 1, cmdString());
|
|
|
|
}
|
|
|
|
|
2008-11-10 20:51:17 +01:00
|
|
|
Packet::PrintReqState::PrintReqState(ostream &_os, int _verbosity)
|
|
|
|
: curPrefixPtr(new string("")), os(_os), verbosity(_verbosity)
|
2008-01-02 21:20:15 +01:00
|
|
|
{
|
|
|
|
labelStack.push_back(LabelStackEntry("", curPrefixPtr));
|
|
|
|
}
|
|
|
|
|
|
|
|
Packet::PrintReqState::~PrintReqState()
|
|
|
|
{
|
|
|
|
labelStack.pop_back();
|
|
|
|
assert(labelStack.empty());
|
|
|
|
delete curPrefixPtr;
|
|
|
|
}
|
|
|
|
|
|
|
|
Packet::PrintReqState::
|
2008-11-10 20:51:17 +01:00
|
|
|
LabelStackEntry::LabelStackEntry(const string &_label, string *_prefix)
|
2008-01-02 21:20:15 +01:00
|
|
|
: label(_label), prefix(_prefix), labelPrinted(false)
|
|
|
|
{
|
2006-10-12 20:15:09 +02:00
|
|
|
}
|
|
|
|
|
2008-01-02 21:20:15 +01:00
|
|
|
void
|
2008-11-10 20:51:17 +01:00
|
|
|
Packet::PrintReqState::pushLabel(const string &lbl, const string &prefix)
|
2008-01-02 21:20:15 +01:00
|
|
|
{
|
|
|
|
labelStack.push_back(LabelStackEntry(lbl, curPrefixPtr));
|
2008-11-10 20:51:17 +01:00
|
|
|
curPrefixPtr = new string(*curPrefixPtr);
|
2008-01-02 21:20:15 +01:00
|
|
|
*curPrefixPtr += prefix;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
Packet::PrintReqState::popLabel()
|
2006-10-12 20:15:09 +02:00
|
|
|
{
|
2008-01-02 21:20:15 +01:00
|
|
|
delete curPrefixPtr;
|
|
|
|
curPrefixPtr = labelStack.back().prefix;
|
|
|
|
labelStack.pop_back();
|
|
|
|
assert(!labelStack.empty());
|
|
|
|
}
|
2006-10-12 20:15:09 +02:00
|
|
|
|
2008-01-02 21:20:15 +01:00
|
|
|
void
|
|
|
|
Packet::PrintReqState::printLabels()
|
|
|
|
{
|
|
|
|
if (!labelStack.back().labelPrinted) {
|
|
|
|
LabelStack::iterator i = labelStack.begin();
|
|
|
|
LabelStack::iterator end = labelStack.end();
|
|
|
|
while (i != end) {
|
|
|
|
if (!i->labelPrinted) {
|
|
|
|
ccprintf(os, "%s%s\n", *(i->prefix), i->label);
|
|
|
|
i->labelPrinted = true;
|
|
|
|
}
|
|
|
|
i++;
|
|
|
|
}
|
|
|
|
}
|
2006-05-26 20:17:33 +02:00
|
|
|
}
|
2006-10-12 20:15:09 +02:00
|
|
|
|
2008-01-02 21:20:15 +01:00
|
|
|
|
|
|
|
void
|
|
|
|
Packet::PrintReqState::printObj(Printable *obj)
|
|
|
|
{
|
|
|
|
printLabels();
|
|
|
|
obj->print(os, verbosity, curPrefix());
|
|
|
|
}
|