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