/* * Copyright (c) 2017-2021 Advanced Micro Devices, Inc. * All rights reserved. * * For use for simulation and test purposes only * * 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 #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 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 ActionList; ActionList actions; // list of atomic locations picked for this episode typedef std::vector 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_ */