blob: a597b3a9328c2fc5e2ec2c9dbfe35edd6cd58cc4 [file] [log] [blame]
/*
* Copyright (c) 2017-2021 Advanced Micro Devices, Inc.
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* 1. Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
*
* 2. 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.
*
* 3. Neither the name of the copyright holder 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 HOLDER 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.
*/
#ifndef CPU_TESTERS_PROTOCOL_TESTER_EPISODE_HH_
#define CPU_TESTERS_PROTOCOL_TESTER_EPISODE_HH_
#include <vector>
#include "cpu/testers/gpu_ruby_test/address_manager.hh"
namespace gem5
{
class ProtocolTester;
class TesterThread;
class Episode
{
public:
typedef AddressManager::Location Location;
typedef AddressManager::Value Value;
class Action
{
public:
enum class Type
{
ACQUIRE,
RELEASE,
ATOMIC,
LOAD,
STORE,
};
Action(Type t, int num_lanes);
~Action() {}
Type getType() const { return type; }
void setLocation(int lane, Location loc);
Location getLocation(int lane) const;
bool isAtomicAction() const;
bool isMemFenceAction() const;
const std::string printType() const;
private:
Type type;
int numLanes;
typedef std::vector<Location> LocationList;
LocationList locations;
};
Episode(ProtocolTester* tester, TesterThread* thread, int num_loads,
int num_stores);
~Episode();
// return episode id
int getEpisodeId() const { return episodeId; }
// return the action at the head of the action queue
const Action* peekCurAction() const;
// pop the action at the head of the action queue
void popAction();
// check if there is more action to be issued in this episode
bool hasMoreActions() const { return nextActionIdx < actions.size();}
// complete this episode by releasing all locations & updating st effects
void completeEpisode();
// check if this episode is executing
bool isEpsActive() const { return isActive; }
// check if the input episode and this one have any data race
bool checkDRF(Location atomic_loc, Location loc, bool isStore,
int max_lane) const;
private:
// pointers to tester, thread and address amanger structures
ProtocolTester *tester;
TesterThread *thread;
AddressManager *addrManager;
// a unique episode id
int episodeId;
// list of actions in this episode
typedef std::vector<Action*> ActionList;
ActionList actions;
// list of atomic locations picked for this episode
typedef std::vector<Location> AtomicLocationList;
AtomicLocationList atomicLocs;
// is a thread running this episode?
bool isActive;
// episode length = num_loads + num_stores
int numLoads;
int numStores;
// index of the next action in actions
int nextActionIdx;
// number of lanes in this thread
int numLanes;
// randomly generate actions in this episode
void initActions();
};
} // namespace gem5
#endif /* CPU_TESTERS_PROTOCOL_TESTER_EPISODE_HH_ */