process.hh revision 13308
112952Sgabeblack@google.com/*
212952Sgabeblack@google.com * Copyright 2018 Google, Inc.
312952Sgabeblack@google.com *
412952Sgabeblack@google.com * Redistribution and use in source and binary forms, with or without
512952Sgabeblack@google.com * modification, are permitted provided that the following conditions are
612952Sgabeblack@google.com * met: redistributions of source code must retain the above copyright
712952Sgabeblack@google.com * notice, this list of conditions and the following disclaimer;
812952Sgabeblack@google.com * redistributions in binary form must reproduce the above copyright
912952Sgabeblack@google.com * notice, this list of conditions and the following disclaimer in the
1012952Sgabeblack@google.com * documentation and/or other materials provided with the distribution;
1112952Sgabeblack@google.com * neither the name of the copyright holders nor the names of its
1212952Sgabeblack@google.com * contributors may be used to endorse or promote products derived from
1312952Sgabeblack@google.com * this software without specific prior written permission.
1412952Sgabeblack@google.com *
1512952Sgabeblack@google.com * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1612952Sgabeblack@google.com * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1712952Sgabeblack@google.com * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1812952Sgabeblack@google.com * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
1912952Sgabeblack@google.com * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2012952Sgabeblack@google.com * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2112952Sgabeblack@google.com * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2212952Sgabeblack@google.com * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2312952Sgabeblack@google.com * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2412952Sgabeblack@google.com * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2512952Sgabeblack@google.com * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2612952Sgabeblack@google.com *
2712952Sgabeblack@google.com * Authors: Gabe Black
2812952Sgabeblack@google.com */
2912952Sgabeblack@google.com
3012952Sgabeblack@google.com#ifndef __SYSTEMC_CORE_PROCESS_HH__
3112952Sgabeblack@google.com#define __SYSTEMC_CORE_PROCESS_HH__
3212952Sgabeblack@google.com
3312952Sgabeblack@google.com#include <functional>
3412997Sgabeblack@google.com#include <memory>
3512957Sgabeblack@google.com#include <vector>
3612952Sgabeblack@google.com
3712952Sgabeblack@google.com#include "base/fiber.hh"
3812953Sgabeblack@google.com#include "systemc/core/list.hh"
3913285Sgabeblack@google.com#include "systemc/core/module.hh"
4012952Sgabeblack@google.com#include "systemc/core/object.hh"
4113063Sgabeblack@google.com#include "systemc/core/sched_event.hh"
4213206Sgabeblack@google.com#include "systemc/core/sensitivity.hh"
4313288Sgabeblack@google.com#include "systemc/ext/channel/sc_signal_in_if.hh"
4412952Sgabeblack@google.com#include "systemc/ext/core/sc_event.hh"
4512952Sgabeblack@google.com#include "systemc/ext/core/sc_module.hh"
4612952Sgabeblack@google.com#include "systemc/ext/core/sc_process_handle.hh"
4712952Sgabeblack@google.com
4813196Sgabeblack@google.comnamespace sc_core
4913196Sgabeblack@google.com{
5013196Sgabeblack@google.com
5113196Sgabeblack@google.comclass sc_join;
5213196Sgabeblack@google.com
5313196Sgabeblack@google.com} // namespace sc_core
5413196Sgabeblack@google.com
5512952Sgabeblack@google.comnamespace sc_gem5
5612952Sgabeblack@google.com{
5712952Sgabeblack@google.com
5813175Sgabeblack@google.comclass ScHalt
5913175Sgabeblack@google.com{};
6013175Sgabeblack@google.com
6113288Sgabeblack@google.comclass Process;
6213288Sgabeblack@google.comclass Reset;
6313288Sgabeblack@google.com
6413087Sgabeblack@google.comclass Process : public ::sc_core::sc_process_b, public ListNode
6512952Sgabeblack@google.com{
6612952Sgabeblack@google.com  public:
6712952Sgabeblack@google.com    virtual ::sc_core::sc_curr_proc_kind procKind() const = 0;
6812961Sgabeblack@google.com    bool needsStart() const { return _needsStart; }
6913093Sgabeblack@google.com    void needsStart(bool ns) { _needsStart = ns; }
7012952Sgabeblack@google.com    bool dynamic() const { return _dynamic; }
7112952Sgabeblack@google.com    bool isUnwinding() const { return _isUnwinding; }
7212997Sgabeblack@google.com    void isUnwinding(bool v) { _isUnwinding = v; }
7312952Sgabeblack@google.com    bool terminated() const { return _terminated; }
7412952Sgabeblack@google.com
7512952Sgabeblack@google.com    void forEachKid(const std::function<void(Process *)> &work);
7612952Sgabeblack@google.com
7712952Sgabeblack@google.com    bool suspended() const { return _suspended; }
7812952Sgabeblack@google.com    bool disabled() const { return _disabled; }
7912952Sgabeblack@google.com
8012952Sgabeblack@google.com    void suspend(bool inc_kids);
8112952Sgabeblack@google.com    void resume(bool inc_kids);
8212952Sgabeblack@google.com    void disable(bool inc_kids);
8312952Sgabeblack@google.com    void enable(bool inc_kids);
8412952Sgabeblack@google.com
8512952Sgabeblack@google.com    void kill(bool inc_kids);
8612952Sgabeblack@google.com    void reset(bool inc_kids);
8713306Sgabeblack@google.com    void throw_it(ExceptionWrapperBase &exc, bool inc_kids);
8812952Sgabeblack@google.com
8912952Sgabeblack@google.com    void injectException(ExceptionWrapperBase &exc);
9012952Sgabeblack@google.com    ExceptionWrapperBase *excWrapper;
9112952Sgabeblack@google.com
9212952Sgabeblack@google.com    void syncResetOn(bool inc_kids);
9312952Sgabeblack@google.com    void syncResetOff(bool inc_kids);
9412952Sgabeblack@google.com
9513260Sgabeblack@google.com    void signalReset(bool set, bool sync);
9613260Sgabeblack@google.com
9712952Sgabeblack@google.com    void incref() { refCount++; }
9812952Sgabeblack@google.com    void decref() { refCount--; }
9912952Sgabeblack@google.com
10013308Sgabeblack@google.com    ::sc_core::sc_event &resetEvent() { return _resetEvent; }
10113308Sgabeblack@google.com    ::sc_core::sc_event &terminatedEvent() { return _terminatedEvent; }
10212952Sgabeblack@google.com
10312953Sgabeblack@google.com    void setStackSize(size_t size) { stackSize = size; }
10412953Sgabeblack@google.com
10512953Sgabeblack@google.com    void run();
10612953Sgabeblack@google.com
10713206Sgabeblack@google.com    void addStatic(StaticSensitivity *);
10813206Sgabeblack@google.com    void setDynamic(DynamicSensitivity *);
10913206Sgabeblack@google.com    void clearDynamic() { setDynamic(nullptr); }
11013288Sgabeblack@google.com    void addReset(Reset *);
11113206Sgabeblack@google.com
11213206Sgabeblack@google.com    ScEvent timeoutEvent;
11313206Sgabeblack@google.com    void setTimeout(::sc_core::sc_time t);
11413206Sgabeblack@google.com    void cancelTimeout();
11512957Sgabeblack@google.com
11612959Sgabeblack@google.com    void satisfySensitivity(Sensitivity *);
11712959Sgabeblack@google.com
11812959Sgabeblack@google.com    void ready();
11912959Sgabeblack@google.com
12012953Sgabeblack@google.com    virtual Fiber *fiber() { return Fiber::primaryFiber(); }
12112953Sgabeblack@google.com
12212953Sgabeblack@google.com    static Process *newest() { return _newest; }
12312953Sgabeblack@google.com
12412997Sgabeblack@google.com    void lastReport(::sc_core::sc_report *report);
12512997Sgabeblack@google.com    ::sc_core::sc_report *lastReport() const;
12612997Sgabeblack@google.com
12713180Sgabeblack@google.com    bool hasStaticSensitivities() { return !staticSensitivities.empty(); }
12813180Sgabeblack@google.com    bool internal() { return _internal; }
12913189Sgabeblack@google.com    bool timedOut() { return _timedOut; }
13013260Sgabeblack@google.com    bool inReset() { return _syncReset || syncResetCount || asyncResetCount; }
13113180Sgabeblack@google.com
13213194Sgabeblack@google.com    bool dontInitialize() { return _dontInitialize; }
13313194Sgabeblack@google.com    void dontInitialize(bool di) { _dontInitialize = di; }
13413194Sgabeblack@google.com
13513196Sgabeblack@google.com    void joinWait(::sc_core::sc_join *join) { joinWaiters.push_back(join); }
13613196Sgabeblack@google.com
13713260Sgabeblack@google.com    void waitCount(int count) { _waitCount = count; }
13813260Sgabeblack@google.com
13913285Sgabeblack@google.com    const char *uniqueName(const char *seed) { return nameGen.gen(seed); }
14013285Sgabeblack@google.com
14112952Sgabeblack@google.com  protected:
14213206Sgabeblack@google.com    void timeout();
14313206Sgabeblack@google.com
14413180Sgabeblack@google.com    Process(const char *name, ProcessFuncWrapper *func, bool internal=false);
14512953Sgabeblack@google.com
14612953Sgabeblack@google.com    static Process *_newest;
14712952Sgabeblack@google.com
14812957Sgabeblack@google.com    virtual ~Process()
14912957Sgabeblack@google.com    {
15013072Sgabeblack@google.com        popListNode();
15112957Sgabeblack@google.com        delete func;
15213206Sgabeblack@google.com        for (auto s: staticSensitivities) {
15313206Sgabeblack@google.com            s->clear();
15412957Sgabeblack@google.com            delete s;
15513206Sgabeblack@google.com        }
15613206Sgabeblack@google.com        clearDynamic();
15712957Sgabeblack@google.com    }
15812952Sgabeblack@google.com
15913303Sgabeblack@google.com    InternalScEvent _resetEvent;
16013303Sgabeblack@google.com    InternalScEvent _terminatedEvent;
16112952Sgabeblack@google.com
16212952Sgabeblack@google.com    ProcessFuncWrapper *func;
16313180Sgabeblack@google.com
16413180Sgabeblack@google.com    bool _internal;
16513180Sgabeblack@google.com
16613189Sgabeblack@google.com    // Needed to support the deprecated "timed_out" function.
16713189Sgabeblack@google.com    bool _timedOut;
16813189Sgabeblack@google.com
16913194Sgabeblack@google.com    bool _dontInitialize;
17013194Sgabeblack@google.com
17112961Sgabeblack@google.com    bool _needsStart;
17212952Sgabeblack@google.com    bool _dynamic;
17312952Sgabeblack@google.com    bool _isUnwinding;
17412952Sgabeblack@google.com    bool _terminated;
17512952Sgabeblack@google.com
17612998Sgabeblack@google.com    void terminate();
17712998Sgabeblack@google.com
17812952Sgabeblack@google.com    bool _suspended;
17912959Sgabeblack@google.com    bool _suspendedReady;
18012952Sgabeblack@google.com    bool _disabled;
18112952Sgabeblack@google.com
18212952Sgabeblack@google.com    bool _syncReset;
18312952Sgabeblack@google.com
18413260Sgabeblack@google.com    int syncResetCount;
18513260Sgabeblack@google.com    int asyncResetCount;
18613260Sgabeblack@google.com
18713260Sgabeblack@google.com    int _waitCount;
18813260Sgabeblack@google.com
18912952Sgabeblack@google.com    int refCount;
19012952Sgabeblack@google.com
19112953Sgabeblack@google.com    size_t stackSize;
19212957Sgabeblack@google.com
19313206Sgabeblack@google.com    StaticSensitivities staticSensitivities;
19413206Sgabeblack@google.com    DynamicSensitivity *dynamicSensitivity;
19513288Sgabeblack@google.com    std::vector<Reset *> resets;
19612997Sgabeblack@google.com
19712997Sgabeblack@google.com    std::unique_ptr<::sc_core::sc_report> _lastReport;
19813196Sgabeblack@google.com
19913196Sgabeblack@google.com    std::vector<::sc_core::sc_join *> joinWaiters;
20013285Sgabeblack@google.com
20113285Sgabeblack@google.com    UniqueNameGen nameGen;
20212952Sgabeblack@google.com};
20312952Sgabeblack@google.com
20413288Sgabeblack@google.comclass Reset
20513288Sgabeblack@google.com{
20613288Sgabeblack@google.com  public:
20713288Sgabeblack@google.com    Reset(Process *p, bool s, bool v) :
20813288Sgabeblack@google.com        _process(p), _signal(nullptr), _sync(s), _value(v)
20913288Sgabeblack@google.com    {}
21013288Sgabeblack@google.com
21113288Sgabeblack@google.com    bool
21213288Sgabeblack@google.com    install(const sc_core::sc_signal_in_if<bool> *s)
21313288Sgabeblack@google.com    {
21413288Sgabeblack@google.com        _signal = s;
21513288Sgabeblack@google.com
21613288Sgabeblack@google.com        if (_signal->_addReset(this)) {
21713288Sgabeblack@google.com            _process->addReset(this);
21813288Sgabeblack@google.com            if (_signal->read() == _value)
21913288Sgabeblack@google.com                update();
22013288Sgabeblack@google.com            return true;
22113288Sgabeblack@google.com        }
22213288Sgabeblack@google.com        return false;
22313288Sgabeblack@google.com    }
22413288Sgabeblack@google.com    void update() { _process->signalReset(_signal->read() == _value, _sync); }
22513288Sgabeblack@google.com
22613288Sgabeblack@google.com    Process *process() { return _process; }
22713288Sgabeblack@google.com    const sc_core::sc_signal_in_if<bool> *signal() { return _signal; }
22813288Sgabeblack@google.com    bool sync() { return _sync; }
22913288Sgabeblack@google.com    bool value() { return _value; }
23013288Sgabeblack@google.com
23113288Sgabeblack@google.com  private:
23213288Sgabeblack@google.com    Process *_process;
23313288Sgabeblack@google.com    const sc_core::sc_signal_in_if<bool> *_signal;
23413288Sgabeblack@google.com    bool _sync;
23513288Sgabeblack@google.com    bool _value;
23613288Sgabeblack@google.com};
23713288Sgabeblack@google.com
23813288Sgabeblack@google.comvoid newReset(const sc_core::sc_port_base *pb, Process *p, bool s, bool v);
23913288Sgabeblack@google.comvoid newReset(const sc_core::sc_signal_in_if<bool> *sig, Process *p,
24013288Sgabeblack@google.com        bool s, bool v);
24113288Sgabeblack@google.com
24212952Sgabeblack@google.com} // namespace sc_gem5
24312952Sgabeblack@google.com
24412952Sgabeblack@google.com#endif  //__SYSTEMC_CORE_PROCESS_HH__
245