eventq.cc revision 5769:e53bdd0e4bf1
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} 63 64const std::string 65Event::name() const 66{ 67#ifndef NDEBUG 68 return csprintf("Event_%d", instance); 69#else 70 return csprintf("Event_%x", (uintptr_t)this); 71#endif 72} 73 74 75Event * 76Event::insertBefore(Event *event, Event *curr) 77{ 78 // Either way, event will be the top element in the 'in bin' list 79 // which is the pointer we need in order to look into the list, so 80 // we need to insert that into the bin list. 81 if (!curr || *event < *curr) { 82 // Insert the event before the current list since it is in the future. 83 event->nextBin = curr; 84 event->nextInBin = NULL; 85 } else { 86 // Since we're on the correct list, we need to point to the next list 87 event->nextBin = curr->nextBin; // curr->nextBin can now become stale 88 89 // Insert event at the top of the stack 90 event->nextInBin = curr; 91 } 92 93 return event; 94} 95 96void 97EventQueue::insert(Event *event) 98{ 99 // Deal with the head case 100 if (!head || *event <= *head) { 101 head = Event::insertBefore(event, head); 102 return; 103 } 104 105 // Figure out either which 'in bin' list we are on, or where a new list 106 // needs to be inserted 107 Event *prev = head; 108 Event *curr = head->nextBin; 109 while (curr && *curr < *event) { 110 prev = curr; 111 curr = curr->nextBin; 112 } 113 114 // Note: this operation may render all nextBin pointers on the 115 // prev 'in bin' list stale (except for the top one) 116 prev->nextBin = Event::insertBefore(event, curr); 117} 118 119Event * 120Event::removeItem(Event *event, Event *top) 121{ 122 Event *curr = top; 123 Event *next = top->nextInBin; 124 125 // if we removed the top item, we need to handle things specially 126 // and just remove the top item, fixing up the next bin pointer of 127 // the new top item 128 if (event == top) { 129 if (!next) 130 return top->nextBin; 131 next->nextBin = top->nextBin; 132 return next; 133 } 134 135 // Since we already checked the current element, we're going to 136 // keep checking event against the next element. 137 while (event != next) { 138 if (!next) 139 panic("event not found!"); 140 141 curr = next; 142 next = next->nextInBin; 143 } 144 145 // remove next from the 'in bin' list since it's what we're looking for 146 curr->nextInBin = next->nextInBin; 147 return top; 148} 149 150void 151EventQueue::remove(Event *event) 152{ 153 if (head == NULL) 154 panic("event not found!"); 155 156 // deal with an event on the head's 'in bin' list (event has the same 157 // time as the head) 158 if (*head == *event) { 159 head = Event::removeItem(event, head); 160 return; 161 } 162 163 // Find the 'in bin' list that this event belongs on 164 Event *prev = head; 165 Event *curr = head->nextBin; 166 while (curr && *curr < *event) { 167 prev = curr; 168 curr = curr->nextBin; 169 } 170 171 if (!curr || *curr != *event) 172 panic("event not found!"); 173 174 // curr points to the top item of the the correct 'in bin' list, when 175 // we remove an item, it returns the new top item (which may be 176 // unchanged) 177 prev->nextBin = Event::removeItem(event, curr); 178} 179 180Event * 181EventQueue::serviceOne() 182{ 183 Event *event = head; 184 Event *next = head->nextInBin; 185 event->flags.clear(Event::Scheduled); 186 187 if (next) { 188 // update the next bin pointer since it could be stale 189 next->nextBin = head->nextBin; 190 191 // pop the stack 192 head = next; 193 } else { 194 // this was the only element on the 'in bin' list, so get rid of 195 // the 'in bin' list and point to the next bin list 196 head = head->nextBin; 197 } 198 199 // handle action 200 if (!event->squashed()) { 201 event->process(); 202 if (event->isExitEvent()) { 203 assert(!event->flags.isSet(Event::AutoDelete)); // would be silly 204 return event; 205 } 206 } else { 207 event->flags.clear(Event::Squashed); 208 } 209 210 if (event->flags.isSet(Event::AutoDelete) && !event->scheduled()) 211 delete event; 212 213 return NULL; 214} 215 216void 217Event::serialize(std::ostream &os) 218{ 219 SERIALIZE_SCALAR(_when); 220 SERIALIZE_SCALAR(_priority); 221 short _flags = flags; 222 SERIALIZE_SCALAR(_flags); 223} 224 225void 226Event::unserialize(Checkpoint *cp, const string §ion) 227{ 228 if (scheduled()) 229 mainEventQueue.deschedule(this); 230 231 UNSERIALIZE_SCALAR(_when); 232 UNSERIALIZE_SCALAR(_priority); 233 234 // need to see if original event was in a scheduled, unsquashed 235 // state, but don't want to restore those flags in the current 236 // object itself (since they aren't immediately true) 237 short _flags; 238 UNSERIALIZE_SCALAR(_flags); 239 flags = _flags; 240 241 bool wasScheduled = flags.isSet(Scheduled) && !flags.isSet(Squashed); 242 flags.clear(Squashed | Scheduled); 243 244 if (wasScheduled) { 245 DPRINTF(Config, "rescheduling at %d\n", _when); 246 mainEventQueue.schedule(this, _when); 247 } 248} 249 250void 251EventQueue::serialize(ostream &os) 252{ 253 std::list<Event *> eventPtrs; 254 255 int numEvents = 0; 256 Event *nextBin = head; 257 while (nextBin) { 258 Event *nextInBin = nextBin; 259 260 while (nextInBin) { 261 if (nextInBin->flags.isSet(Event::AutoSerialize)) { 262 eventPtrs.push_back(nextInBin); 263 paramOut(os, csprintf("event%d", numEvents++), 264 nextInBin->name()); 265 } 266 nextInBin = nextInBin->nextInBin; 267 } 268 269 nextBin = nextBin->nextBin; 270 } 271 272 SERIALIZE_SCALAR(numEvents); 273 274 for (std::list<Event *>::iterator it = eventPtrs.begin(); 275 it != eventPtrs.end(); ++it) { 276 (*it)->nameOut(os); 277 (*it)->serialize(os); 278 } 279} 280 281void 282EventQueue::unserialize(Checkpoint *cp, const std::string §ion) 283{ 284 int numEvents; 285 UNSERIALIZE_SCALAR(numEvents); 286 287 std::string eventName; 288 for (int i = 0; i < numEvents; i++) { 289 // get the pointer value associated with the event 290 paramIn(cp, section, csprintf("event%d", i), eventName); 291 292 // create the event based on its pointer value 293 Serializable::create(cp, eventName); 294 } 295} 296 297void 298EventQueue::dump() const 299{ 300 cprintf("============================================================\n"); 301 cprintf("EventQueue Dump (cycle %d)\n", curTick); 302 cprintf("------------------------------------------------------------\n"); 303 304 if (empty()) 305 cprintf("<No Events>\n"); 306 else { 307 Event *nextBin = head; 308 while (nextBin) { 309 Event *nextInBin = nextBin; 310 while (nextInBin) { 311 nextInBin->dump(); 312 nextInBin = nextInBin->nextInBin; 313 } 314 315 nextBin = nextBin->nextBin; 316 } 317 } 318 319 cprintf("============================================================\n"); 320} 321 322bool 323EventQueue::debugVerify() const 324{ 325 m5::hash_map<long, bool> map; 326 327 Tick time = 0; 328 short priority = 0; 329 330 Event *nextBin = head; 331 while (nextBin) { 332 Event *nextInBin = nextBin; 333 while (nextInBin) { 334 if (nextInBin->when() < time) { 335 cprintf("time goes backwards!"); 336 nextInBin->dump(); 337 return false; 338 } else if (nextInBin->when() == time && 339 nextInBin->priority() < priority) { 340 cprintf("priority inverted!"); 341 nextInBin->dump(); 342 return false; 343 } 344 345 if (map[reinterpret_cast<long>(nextInBin)]) { 346 cprintf("Node already seen"); 347 nextInBin->dump(); 348 return false; 349 } 350 map[reinterpret_cast<long>(nextInBin)] = true; 351 352 time = nextInBin->when(); 353 priority = nextInBin->priority(); 354 355 nextInBin = nextInBin->nextInBin; 356 } 357 358 nextBin = nextBin->nextBin; 359 } 360 361 return true; 362} 363 364void 365dumpMainQueue() 366{ 367 mainEventQueue.dump(); 368} 369 370 371const char * 372Event::description() const 373{ 374 return "generic"; 375} 376 377void 378Event::trace(const char *action) 379{ 380 // This DPRINTF is unconditional because calls to this function 381 // are protected by an 'if (DTRACE(Event))' in the inlined Event 382 // methods. 383 // 384 // This is just a default implementation for derived classes where 385 // it's not worth doing anything special. If you want to put a 386 // more informative message in the trace, override this method on 387 // the particular subclass where you have the information that 388 // needs to be printed. 389 DPRINTFN("%s event %s @ %d\n", description(), action, when()); 390} 391 392void 393Event::dump() const 394{ 395 cprintf("Event %s (%s)\n", name(), description()); 396 cprintf("Flags: %#x\n", flags); 397#ifdef EVENTQ_DEBUG 398 cprintf("Created: %d\n", whenCreated); 399#endif 400 if (scheduled()) { 401#ifdef EVENTQ_DEBUG 402 cprintf("Scheduled at %d\n", whenScheduled); 403#endif 404 cprintf("Scheduled for %d, priority %d\n", when(), _priority); 405 } else { 406 cprintf("Not Scheduled\n"); 407 } 408} 409