Stressor.h

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-3-Clause
//
// This file is part of ETISS. It is licensed under the BSD 3-Clause License; you may not use this file except in
// compliance with the License. You should have received a copy of the license along with this project. If not, see the
// LICENSE file.
#ifndef ETISS_STRESSOR_H_
#define ETISS_STRESSOR_H_
 
#ifndef NO_ETISS
#include "etiss/jit/ReturnCode.h"
#endif
 
#include <iostream>
 
namespace etiss
{
 
namespace fault
{
 
class Fault;
class Trigger;
class Action;
class Injector;
 
class Stressor
{
  public:
    enum Event
    {
        TERMINATE = (1 << 0)
#ifndef NO_ETISS
            ,
        ETISS_FLUSH_TRANSLATION_CACHE = (1 << 1),
        ETISS_RELOAD_TRANSLATION_BLOCK = (1 << 2)
#else
#endif
    };
 
#ifndef NO_ETISS
  private:
    static etiss::int32 event_code_;
 
  public:
    static etiss::int32 get_event(void) { return event_code_; }
    static void set_event(etiss::int32 code) { event_code_ = code; }
#else
  private:
    static int event_code_;
 
  public:
    static int get_event(void) { return event_code_; }
    static void set_event(int code) { event_code_ = code; }
    static void set_event_flag(Event flag) { event_code_ |= flag; }
#endif
    static void reset_event(void) { event_code_ = 0; }
    static bool loadXML(const std::string &file, const int coreID = 0);
 
    static bool addFaultDefinition(const Fault &f);
 
    static bool addFault(const Fault &f, bool injected_fault = false);
 
    static bool removeFault(const Fault &f, bool injected_fault = false);
 
    static bool firedTrigger(const Trigger &firedTrigger, int32_t fault_id, Injector *injector, uint64_t time_ps);
 
    static void clear();
    static std::map<int32_t, Fault> &faults();
};
 
} // namespace fault
 
} // namespace etiss
 
#endif