scheduler.cc (13047:61a849083f15) scheduler.cc (13049:181358d628b7)
1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 196 unchanged lines hidden (view full) ---

205}
206
207void
208Scheduler::pause()
209{
210 _paused = true;
211 kernel->status(::sc_core::SC_PAUSED);
212 scMain->run();
1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 196 unchanged lines hidden (view full) ---

205}
206
207void
208Scheduler::pause()
209{
210 _paused = true;
211 kernel->status(::sc_core::SC_PAUSED);
212 scMain->run();
213
214 // If the ready event is supposed to run now, run it inline so that it
215 // preempts any delta notifications which were scheduled while we were
216 // paused.
217 if (readyEvent.scheduled()) {
218 eq->deschedule(&readyEvent);
219 runReady();
220 }
213}
214
215void
216Scheduler::stop()
217{
218 _stopped = true;
219 kernel->stop();
220 scMain->run();

--- 68 unchanged lines hidden --- 		221}
222
223void
224Scheduler::stop()
225{
226 _stopped = true;
227 kernel->stop();
228 scMain->run();

--- 68 unchanged lines hidden ---