scheduler.hh revision 12961
112953Sgabeblack@google.com/*
212953Sgabeblack@google.com * Copyright 2018 Google, Inc.
312953Sgabeblack@google.com *
412953Sgabeblack@google.com * Redistribution and use in source and binary forms, with or without
512953Sgabeblack@google.com * modification, are permitted provided that the following conditions are
612953Sgabeblack@google.com * met: redistributions of source code must retain the above copyright
712953Sgabeblack@google.com * notice, this list of conditions and the following disclaimer;
812953Sgabeblack@google.com * redistributions in binary form must reproduce the above copyright
912953Sgabeblack@google.com * notice, this list of conditions and the following disclaimer in the
1012953Sgabeblack@google.com * documentation and/or other materials provided with the distribution;
1112953Sgabeblack@google.com * neither the name of the copyright holders nor the names of its
1212953Sgabeblack@google.com * contributors may be used to endorse or promote products derived from
1312953Sgabeblack@google.com * this software without specific prior written permission.
1412953Sgabeblack@google.com *
1512953Sgabeblack@google.com * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1612953Sgabeblack@google.com * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1712953Sgabeblack@google.com * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1812953Sgabeblack@google.com * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
1912953Sgabeblack@google.com * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2012953Sgabeblack@google.com * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2112953Sgabeblack@google.com * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2212953Sgabeblack@google.com * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2312953Sgabeblack@google.com * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2412953Sgabeblack@google.com * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2512953Sgabeblack@google.com * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2612953Sgabeblack@google.com *
2712953Sgabeblack@google.com * Authors: Gabe Black
2812953Sgabeblack@google.com */
2912953Sgabeblack@google.com
3012953Sgabeblack@google.com#ifndef __SYSTEMC_CORE_SCHEDULER_HH__
3112953Sgabeblack@google.com#define __SYSTEMC_CORE_SCHEDULER_HH__
3212953Sgabeblack@google.com
3312957Sgabeblack@google.com#include <vector>
3412957Sgabeblack@google.com
3512961Sgabeblack@google.com#include "base/logging.hh"
3612954Sgabeblack@google.com#include "sim/eventq.hh"
3712954Sgabeblack@google.com#include "systemc/core/channel.hh"
3812953Sgabeblack@google.com#include "systemc/core/list.hh"
3912953Sgabeblack@google.com#include "systemc/core/process.hh"
4012953Sgabeblack@google.com
4112961Sgabeblack@google.comclass Fiber;
4212961Sgabeblack@google.com
4312953Sgabeblack@google.comnamespace sc_gem5
4412953Sgabeblack@google.com{
4512953Sgabeblack@google.com
4612953Sgabeblack@google.comtypedef NodeList<Process> ProcessList;
4712954Sgabeblack@google.comtypedef NodeList<Channel> ChannelList;
4812954Sgabeblack@google.com
4912954Sgabeblack@google.com/*
5012954Sgabeblack@google.com * The scheduler supports three different mechanisms, the initialization phase,
5112954Sgabeblack@google.com * delta cycles, and timed notifications.
5212954Sgabeblack@google.com *
5312954Sgabeblack@google.com * INITIALIZATION PHASE
5412954Sgabeblack@google.com *
5512954Sgabeblack@google.com * The initialization phase has three parts:
5612954Sgabeblack@google.com * 1. Run requested channel updates.
5712954Sgabeblack@google.com * 2. Make processes which need to initialize runnable (methods and threads
5812954Sgabeblack@google.com *    which didn't have dont_initialize called on them).
5912954Sgabeblack@google.com * 3. Process delta notifications.
6012954Sgabeblack@google.com *
6112954Sgabeblack@google.com * First, the Kernel SimObject calls the update() method during its startup()
6212954Sgabeblack@google.com * callback which handles the requested channel updates. The Kernel also
6312954Sgabeblack@google.com * schedules an event to be run at time 0 with a slightly elevated priority
6412954Sgabeblack@google.com * so that it happens before any "normal" event.
6512954Sgabeblack@google.com *
6612957Sgabeblack@google.com * When that t0 event happens, it calls the schedulers prepareForInit method
6712954Sgabeblack@google.com * which performs step 2 above. That indirectly causes the scheduler's
6812954Sgabeblack@google.com * readyEvent to be scheduled with slightly lowered priority, ensuring it
6912954Sgabeblack@google.com * happens after any "normal" event.
7012954Sgabeblack@google.com *
7112954Sgabeblack@google.com * Because delta notifications are scheduled at the standard priority, all
7212954Sgabeblack@google.com * of those events will happen next, performing step 3 above. Once they finish,
7312954Sgabeblack@google.com * if the readyEvent was scheduled above, there shouldn't be any higher
7412954Sgabeblack@google.com * priority events in front of it. When it runs, it will start the first
7512954Sgabeblack@google.com * evaluate phase of the first delta cycle.
7612954Sgabeblack@google.com *
7712954Sgabeblack@google.com * DELTA CYCLE
7812954Sgabeblack@google.com *
7912954Sgabeblack@google.com * A delta cycle has three phases within it.
8012954Sgabeblack@google.com * 1. The evaluate phase where runnable processes are allowed to run.
8112954Sgabeblack@google.com * 2. The update phase where requested channel updates hapen.
8212954Sgabeblack@google.com * 3. The delta notification phase where delta notifications happen.
8312954Sgabeblack@google.com *
8412954Sgabeblack@google.com * The readyEvent runs the first two steps of the delta cycle. It first goes
8512954Sgabeblack@google.com * through the list of runnable processes and executes them until the set is
8612954Sgabeblack@google.com * empty, and then immediately runs the update phase. Since these are all part
8712954Sgabeblack@google.com * of the same event, there's no chance for other events to intervene and
8812954Sgabeblack@google.com * break the required order above.
8912954Sgabeblack@google.com *
9012954Sgabeblack@google.com * During the update phase above, the spec forbids any action which would make
9112954Sgabeblack@google.com * a process runnable. That means that once the update phase finishes, the set
9212954Sgabeblack@google.com * of runnable processes will be empty. There may, however, have been some
9312954Sgabeblack@google.com * delta notifications/timeouts which will have been scheduled during either
9412954Sgabeblack@google.com * the evaluate or update phase above. Because those are scheduled at the
9512954Sgabeblack@google.com * normal priority, they will now happen together until there aren't any
9612954Sgabeblack@google.com * delta events left.
9712954Sgabeblack@google.com *
9812954Sgabeblack@google.com * If any processes became runnable during the delta notification phase, the
9912954Sgabeblack@google.com * readyEvent will have been scheduled and will have been waiting patiently
10012954Sgabeblack@google.com * behind the delta notification events. That will now run, effectively
10112954Sgabeblack@google.com * starting the next delta cycle.
10212954Sgabeblack@google.com *
10312954Sgabeblack@google.com * TIMED NOTIFICATION PHASE
10412954Sgabeblack@google.com *
10512954Sgabeblack@google.com * If no processes became runnable, the event queue will continue to process
10612954Sgabeblack@google.com * events until it comes across a timed notification, aka a notification
10712954Sgabeblack@google.com * scheduled to happen in the future. Like delta notification events, those
10812954Sgabeblack@google.com * will all happen together since the readyEvent priority is lower,
10912954Sgabeblack@google.com * potentially marking new processes as ready. Once these events finish, the
11012954Sgabeblack@google.com * readyEvent may run, starting the next delta cycle.
11112961Sgabeblack@google.com *
11212961Sgabeblack@google.com * PAUSE/STOP
11312961Sgabeblack@google.com *
11412961Sgabeblack@google.com * To inject a pause from sc_pause which should happen after the current delta
11512961Sgabeblack@google.com * cycle's delta notification phase, an event is scheduled with a lower than
11612961Sgabeblack@google.com * normal priority, but higher than the readyEvent. That ensures that any
11712961Sgabeblack@google.com * delta notifications which are scheduled with normal priority will happen
11812961Sgabeblack@google.com * first, since those are part of the current delta cycle. Then the pause
11912961Sgabeblack@google.com * event will happen before the next readyEvent which would start the next
12012961Sgabeblack@google.com * delta cycle. All of these events are scheduled for the current time, and so
12112961Sgabeblack@google.com * would happen before any timed notifications went off.
12212961Sgabeblack@google.com *
12312961Sgabeblack@google.com * To inject a stop from sc_stop, the delta cycles should stop before even the
12412961Sgabeblack@google.com * delta notifications have happened, but after the evaluate and update phases.
12512961Sgabeblack@google.com * For that, a stop event with slightly higher than normal priority will be
12612961Sgabeblack@google.com * scheduled so that it happens before any of the delta notification events
12712961Sgabeblack@google.com * which are at normal priority.
12812961Sgabeblack@google.com *
12912961Sgabeblack@google.com * MAX RUN TIME
13012961Sgabeblack@google.com *
13112961Sgabeblack@google.com * When sc_start is called, it's possible to pass in a maximum time the
13212961Sgabeblack@google.com * simulation should run to, at which point sc_pause is implicitly called.
13312961Sgabeblack@google.com * That's implemented by scheduling an event at the max time with a priority
13412961Sgabeblack@google.com * which is lower than all the others so that it happens only if time would
13512961Sgabeblack@google.com * advance. When that event triggers, it calls the same function as the pause
13612961Sgabeblack@google.com * event.
13712954Sgabeblack@google.com */
13812953Sgabeblack@google.com
13912953Sgabeblack@google.comclass Scheduler
14012953Sgabeblack@google.com{
14112953Sgabeblack@google.com  public:
14212953Sgabeblack@google.com    Scheduler();
14312953Sgabeblack@google.com
14412954Sgabeblack@google.com    const std::string name() const { return "systemc_scheduler"; }
14512954Sgabeblack@google.com
14612953Sgabeblack@google.com    uint64_t numCycles() { return _numCycles; }
14712953Sgabeblack@google.com    Process *current() { return _current; }
14812953Sgabeblack@google.com
14912957Sgabeblack@google.com    // Prepare for initialization.
15012957Sgabeblack@google.com    void prepareForInit();
15112953Sgabeblack@google.com
15212957Sgabeblack@google.com    // Register a process with the scheduler.
15312957Sgabeblack@google.com    void reg(Process *p);
15412957Sgabeblack@google.com
15512957Sgabeblack@google.com    // Tell the scheduler not to initialize a process.
15612957Sgabeblack@google.com    void dontInitialize(Process *p);
15712953Sgabeblack@google.com
15812953Sgabeblack@google.com    // Run the next process, if there is one.
15912953Sgabeblack@google.com    void yield();
16012953Sgabeblack@google.com
16112953Sgabeblack@google.com    // Put a process on the ready list.
16212954Sgabeblack@google.com    void ready(Process *p);
16312954Sgabeblack@google.com
16412954Sgabeblack@google.com    // Schedule an update for a given channel.
16512954Sgabeblack@google.com    void requestUpdate(Channel *c);
16612953Sgabeblack@google.com
16712953Sgabeblack@google.com    // Run the given process immediately, preempting whatever may be running.
16812953Sgabeblack@google.com    void
16912953Sgabeblack@google.com    runNow(Process *p)
17012953Sgabeblack@google.com    {
17112953Sgabeblack@google.com        // If a process is running, schedule it/us to run again.
17212953Sgabeblack@google.com        if (_current)
17312953Sgabeblack@google.com            readyList.pushFirst(_current);
17412953Sgabeblack@google.com        // Schedule p to run first.
17512953Sgabeblack@google.com        readyList.pushFirst(p);
17612953Sgabeblack@google.com        yield();
17712953Sgabeblack@google.com    }
17812953Sgabeblack@google.com
17912954Sgabeblack@google.com    // Set an event queue for scheduling events.
18012954Sgabeblack@google.com    void setEventQueue(EventQueue *_eq) { eq = _eq; }
18112954Sgabeblack@google.com
18212954Sgabeblack@google.com    // Retrieve the event queue.
18312954Sgabeblack@google.com    EventQueue &eventQueue() const { return *eq; }
18412954Sgabeblack@google.com
18512954Sgabeblack@google.com    // Run scheduled channel updates.
18612954Sgabeblack@google.com    void update();
18712954Sgabeblack@google.com
18812961Sgabeblack@google.com    void setScMainFiber(Fiber *sc_main) { scMain = sc_main; }
18912961Sgabeblack@google.com
19012961Sgabeblack@google.com    void start(Tick max_tick, bool run_to_time);
19112961Sgabeblack@google.com
19212961Sgabeblack@google.com    void schedulePause();
19312961Sgabeblack@google.com    void scheduleStop(bool finish_delta);
19412961Sgabeblack@google.com
19512961Sgabeblack@google.com    bool paused() { return _paused; }
19612961Sgabeblack@google.com    bool stopped() { return _stopped; }
19712961Sgabeblack@google.com
19812953Sgabeblack@google.com  private:
19912961Sgabeblack@google.com    typedef const EventBase::Priority Priority;
20012961Sgabeblack@google.com    static Priority DefaultPriority = EventBase::Default_Pri;
20112961Sgabeblack@google.com
20212961Sgabeblack@google.com    static Priority StopPriority = DefaultPriority - 1;
20312961Sgabeblack@google.com    static Priority PausePriority = DefaultPriority + 1;
20412961Sgabeblack@google.com    static Priority ReadyPriority = DefaultPriority + 2;
20512961Sgabeblack@google.com    static Priority MaxTickPriority = DefaultPriority + 3;
20612961Sgabeblack@google.com
20712954Sgabeblack@google.com    EventQueue *eq;
20812954Sgabeblack@google.com
20912954Sgabeblack@google.com    void runReady();
21012954Sgabeblack@google.com    EventWrapper<Scheduler, &Scheduler::runReady> readyEvent;
21112954Sgabeblack@google.com    void scheduleReadyEvent();
21212954Sgabeblack@google.com
21312961Sgabeblack@google.com    void pause();
21412961Sgabeblack@google.com    void stop();
21512961Sgabeblack@google.com    EventWrapper<Scheduler, &Scheduler::pause> pauseEvent;
21612961Sgabeblack@google.com    EventWrapper<Scheduler, &Scheduler::stop> stopEvent;
21712961Sgabeblack@google.com    Fiber *scMain;
21812961Sgabeblack@google.com
21912961Sgabeblack@google.com    bool _started;
22012961Sgabeblack@google.com    bool _paused;
22112961Sgabeblack@google.com    bool _stopped;
22212961Sgabeblack@google.com
22312961Sgabeblack@google.com    Tick maxTick;
22412961Sgabeblack@google.com    EventWrapper<Scheduler, &Scheduler::pause> maxTickEvent;
22512961Sgabeblack@google.com
22612953Sgabeblack@google.com    uint64_t _numCycles;
22712953Sgabeblack@google.com
22812953Sgabeblack@google.com    Process *_current;
22912953Sgabeblack@google.com
23012957Sgabeblack@google.com    bool initReady;
23112957Sgabeblack@google.com
23212953Sgabeblack@google.com    ProcessList initList;
23312957Sgabeblack@google.com    ProcessList toFinalize;
23412953Sgabeblack@google.com    ProcessList readyList;
23512953Sgabeblack@google.com
23612954Sgabeblack@google.com    ChannelList updateList;
23712953Sgabeblack@google.com};
23812953Sgabeblack@google.com
23912953Sgabeblack@google.comextern Scheduler scheduler;
24012953Sgabeblack@google.com
24112953Sgabeblack@google.com} // namespace sc_gem5
24212953Sgabeblack@google.com
24312953Sgabeblack@google.com#endif // __SYSTEMC_CORE_SCHEDULER_H__
244