eventq.hh (12392:e0dbdf30a2a5) | eventq.hh (13440:17adf0ea4d36) |
---|---|
1/* 2 * Copyright (c) 2000-2005 The Regents of The University of Michigan 3 * Copyright (c) 2013 Advanced Micro Devices, Inc. 4 * Copyright (c) 2013 Mark D. Hill and David A. Wood 5 * All rights reserved. 6 * 7 * Redistribution and use in source and binary forms, with or without 8 * modification, are permitted provided that the following conditions are --- 697 unchanged lines hidden (view full) --- 706 * method conditionally schedules an event that has the Scheduled 707 * flag set. It should be called by parent objects after 708 * unserializing an object. 709 * 710 * @warn Only use this method after unserializing an Event. 711 */ 712 void checkpointReschedule(Event *event); 713 | 1/* 2 * Copyright (c) 2000-2005 The Regents of The University of Michigan 3 * Copyright (c) 2013 Advanced Micro Devices, Inc. 4 * Copyright (c) 2013 Mark D. Hill and David A. Wood 5 * All rights reserved. 6 * 7 * Redistribution and use in source and binary forms, with or without 8 * modification, are permitted provided that the following conditions are --- 697 unchanged lines hidden (view full) --- 706 * method conditionally schedules an event that has the Scheduled 707 * flag set. It should be called by parent objects after 708 * unserializing an object. 709 * 710 * @warn Only use this method after unserializing an Event. 711 */ 712 void checkpointReschedule(Event *event); 713 |
714 virtual ~EventQueue() { } | 714 virtual ~EventQueue() 715 { 716 while (!empty()) 717 deschedule(getHead()); 718 } |
715}; 716 717void dumpMainQueue(); 718 719class EventManager 720{ 721 protected: 722 /** A pointer to this object's event queue */ --- 118 unchanged lines hidden --- | 719}; 720 721void dumpMainQueue(); 722 723class EventManager 724{ 725 protected: 726 /** A pointer to this object's event queue */ --- 118 unchanged lines hidden --- |