eventq.cc revision 7063:c0ea4df1ddab
1/*
2 * Copyright (c) 2000-2005 The Regents of The University of Michigan
3 * Copyright (c) 2008 The Hewlett-Packard Development Company
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are
8 * met: redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer;
10 * redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution;
13 * neither the name of the copyright holders nor the names of its
14 * contributors may be used to endorse or promote products derived from
15 * this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 *
29 * Authors: Steve Reinhardt
30 *          Nathan Binkert
31 *          Steve Raasch
32 */
33
34#include <cassert>
35#include <iostream>
36#include <string>
37#include <vector>
38
39#include "base/hashmap.hh"
40#include "base/misc.hh"
41#include "base/trace.hh"
42#include "cpu/smt.hh"
43#include "sim/core.hh"
44#include "sim/eventq.hh"
45
46using namespace std;
47
48//
49// Main Event Queue
50//
51// Events on this queue are processed at the *beginning* of each
52// cycle, before the pipeline simulation is performed.
53//
54EventQueue mainEventQueue("Main Event Queue");
55
56#ifndef NDEBUG
57Counter Event::instanceCounter = 0;
58#endif
59
60Event::~Event()
61{
62    assert(!scheduled());
63    flags = 0;
64}
65
66const std::string
67Event::name() const
68{
69#ifndef NDEBUG
70    return csprintf("Event_%d", instance);
71#else
72    return csprintf("Event_%x", (uintptr_t)this);
73#endif
74}
75
76
77Event *
78Event::insertBefore(Event *event, Event *curr)
79{
80    // Either way, event will be the top element in the 'in bin' list
81    // which is the pointer we need in order to look into the list, so
82    // we need to insert that into the bin list.
83    if (!curr || *event < *curr) {
84        // Insert the event before the current list since it is in the future.
85        event->nextBin = curr;
86        event->nextInBin = NULL;
87    } else {
88        // Since we're on the correct list, we need to point to the next list
89        event->nextBin = curr->nextBin;  // curr->nextBin can now become stale
90
91        // Insert event at the top of the stack
92        event->nextInBin = curr;
93    }
94
95    return event;
96}
97
98void
99EventQueue::insert(Event *event)
100{
101    // Deal with the head case
102    if (!head || *event <= *head) {
103        head = Event::insertBefore(event, head);
104        return;
105    }
106
107    // Figure out either which 'in bin' list we are on, or where a new list
108    // needs to be inserted
109    Event *prev = head;
110    Event *curr = head->nextBin;
111    while (curr && *curr < *event) {
112        prev = curr;
113        curr = curr->nextBin;
114    }
115
116    // Note: this operation may render all nextBin pointers on the
117    // prev 'in bin' list stale (except for the top one)
118    prev->nextBin = Event::insertBefore(event, curr);
119}
120
121Event *
122Event::removeItem(Event *event, Event *top)
123{
124    Event *curr = top;
125    Event *next = top->nextInBin;
126
127    // if we removed the top item, we need to handle things specially
128    // and just remove the top item, fixing up the next bin pointer of
129    // the new top item
130    if (event == top) {
131        if (!next)
132            return top->nextBin;
133        next->nextBin = top->nextBin;
134        return next;
135    }
136
137    // Since we already checked the current element, we're going to
138    // keep checking event against the next element.
139    while (event != next) {
140        if (!next)
141            panic("event not found!");
142
143        curr = next;
144        next = next->nextInBin;
145    }
146
147    // remove next from the 'in bin' list since it's what we're looking for
148    curr->nextInBin = next->nextInBin;
149    return top;
150}
151
152void
153EventQueue::remove(Event *event)
154{
155    if (head == NULL)
156        panic("event not found!");
157
158    // deal with an event on the head's 'in bin' list (event has the same
159    // time as the head)
160    if (*head == *event) {
161        head = Event::removeItem(event, head);
162        return;
163    }
164
165    // Find the 'in bin' list that this event belongs on
166    Event *prev = head;
167    Event *curr = head->nextBin;
168    while (curr && *curr < *event) {
169        prev = curr;
170        curr = curr->nextBin;
171    }
172
173    if (!curr || *curr != *event)
174        panic("event not found!");
175
176    // curr points to the top item of the the correct 'in bin' list, when
177    // we remove an item, it returns the new top item (which may be
178    // unchanged)
179    prev->nextBin = Event::removeItem(event, curr);
180}
181
182Event *
183EventQueue::serviceOne()
184{
185    Event *event = head;
186    Event *next = head->nextInBin;
187    event->flags.clear(Event::Scheduled);
188
189    if (next) {
190        // update the next bin pointer since it could be stale
191        next->nextBin = head->nextBin;
192
193        // pop the stack
194        head = next;
195    } else {
196        // this was the only element on the 'in bin' list, so get rid of
197        // the 'in bin' list and point to the next bin list
198        head = head->nextBin;
199    }
200
201    // handle action
202    if (!event->squashed()) {
203        event->process();
204        if (event->isExitEvent()) {
205            assert(!event->flags.isSet(Event::AutoDelete)); // would be silly
206            return event;
207        }
208    } else {
209        event->flags.clear(Event::Squashed);
210    }
211
212    if (event->flags.isSet(Event::AutoDelete) && !event->scheduled())
213        delete event;
214
215    return NULL;
216}
217
218void
219Event::serialize(std::ostream &os)
220{
221    SERIALIZE_SCALAR(_when);
222    SERIALIZE_SCALAR(_priority);
223    short _flags = flags;
224    SERIALIZE_SCALAR(_flags);
225}
226
227void
228Event::unserialize(Checkpoint *cp, const string &section)
229{
230    if (scheduled())
231        mainEventQueue.deschedule(this);
232
233    UNSERIALIZE_SCALAR(_when);
234    UNSERIALIZE_SCALAR(_priority);
235
236    // need to see if original event was in a scheduled, unsquashed
237    // state, but don't want to restore those flags in the current
238    // object itself (since they aren't immediately true)
239    short _flags;
240    UNSERIALIZE_SCALAR(_flags);
241    flags = _flags;
242
243    bool wasScheduled = flags.isSet(Scheduled) && !flags.isSet(Squashed);
244    flags.clear(Squashed | Scheduled);
245
246    if (wasScheduled) {
247        DPRINTF(Config, "rescheduling at %d\n", _when);
248        mainEventQueue.schedule(this, _when);
249    }
250}
251
252void
253EventQueue::serialize(ostream &os)
254{
255    std::list<Event *> eventPtrs;
256
257    int numEvents = 0;
258    Event *nextBin = head;
259    while (nextBin) {
260        Event *nextInBin = nextBin;
261
262        while (nextInBin) {
263            if (nextInBin->flags.isSet(Event::AutoSerialize)) {
264                eventPtrs.push_back(nextInBin);
265                paramOut(os, csprintf("event%d", numEvents++),
266                         nextInBin->name());
267            }
268            nextInBin = nextInBin->nextInBin;
269        }
270
271        nextBin = nextBin->nextBin;
272    }
273
274    SERIALIZE_SCALAR(numEvents);
275
276    for (std::list<Event *>::iterator it = eventPtrs.begin();
277         it != eventPtrs.end(); ++it) {
278        (*it)->nameOut(os);
279        (*it)->serialize(os);
280    }
281}
282
283void
284EventQueue::unserialize(Checkpoint *cp, const std::string &section)
285{
286    int numEvents;
287    UNSERIALIZE_SCALAR(numEvents);
288
289    std::string eventName;
290    for (int i = 0; i < numEvents; i++) {
291        // get the pointer value associated with the event
292        paramIn(cp, section, csprintf("event%d", i), eventName);
293
294        // create the event based on its pointer value
295        Serializable::create(cp, eventName);
296    }
297}
298
299void
300EventQueue::dump() const
301{
302    cprintf("============================================================\n");
303    cprintf("EventQueue Dump  (cycle %d)\n", curTick);
304    cprintf("------------------------------------------------------------\n");
305
306    if (empty())
307        cprintf("<No Events>\n");
308    else {
309        Event *nextBin = head;
310        while (nextBin) {
311            Event *nextInBin = nextBin;
312            while (nextInBin) {
313                nextInBin->dump();
314                nextInBin = nextInBin->nextInBin;
315            }
316
317            nextBin = nextBin->nextBin;
318        }
319    }
320
321    cprintf("============================================================\n");
322}
323
324bool
325EventQueue::debugVerify() const
326{
327    m5::hash_map<long, bool> map;
328
329    Tick time = 0;
330    short priority = 0;
331
332    Event *nextBin = head;
333    while (nextBin) {
334        Event *nextInBin = nextBin;
335        while (nextInBin) {
336            if (nextInBin->when() < time) {
337                cprintf("time goes backwards!");
338                nextInBin->dump();
339                return false;
340            } else if (nextInBin->when() == time &&
341                       nextInBin->priority() < priority) {
342                cprintf("priority inverted!");
343                nextInBin->dump();
344                return false;
345            }
346
347            if (map[reinterpret_cast<long>(nextInBin)]) {
348                cprintf("Node already seen");
349                nextInBin->dump();
350                return false;
351            }
352            map[reinterpret_cast<long>(nextInBin)] = true;
353
354            time = nextInBin->when();
355            priority = nextInBin->priority();
356
357            nextInBin = nextInBin->nextInBin;
358        }
359
360        nextBin = nextBin->nextBin;
361    }
362
363    return true;
364}
365
366void
367dumpMainQueue()
368{
369    mainEventQueue.dump();
370}
371
372
373const char *
374Event::description() const
375{
376    return "generic";
377}
378
379void
380Event::trace(const char *action)
381{
382    // This DPRINTF is unconditional because calls to this function
383    // are protected by an 'if (DTRACE(Event))' in the inlined Event
384    // methods.
385    //
386    // This is just a default implementation for derived classes where
387    // it's not worth doing anything special.  If you want to put a
388    // more informative message in the trace, override this method on
389    // the particular subclass where you have the information that
390    // needs to be printed.
391    DPRINTFN("%s event %s @ %d\n", description(), action, when());
392}
393
394void
395Event::dump() const
396{
397    cprintf("Event %s (%s)\n", name(), description());
398    cprintf("Flags: %#x\n", flags);
399#ifdef EVENTQ_DEBUG
400    cprintf("Created: %d\n", whenCreated);
401#endif
402    if (scheduled()) {
403#ifdef EVENTQ_DEBUG
404        cprintf("Scheduled at  %d\n", whenScheduled);
405#endif
406        cprintf("Scheduled for %d, priority %d\n", when(), _priority);
407    } else {
408        cprintf("Not Scheduled\n");
409    }
410}
411
412EventQueue::EventQueue(const string &n)
413    : objName(n), head(NULL)
414{}
415