diff options
| -rw-r--r-- | src/systemc/core/process.cc | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/src/systemc/core/process.cc b/src/systemc/core/process.cc index 193056f67..aaa42e8eb 100644 --- a/src/systemc/core/process.cc +++ b/src/systemc/core/process.cc @@ -81,7 +81,7 @@ Process::suspend(bool inc_kids) if (inc_kids) forEachKid([](Process *p) { p->suspend(true); }); - if (!_suspended) { + if (!_suspended && !_terminated) { _suspended = true; _suspendedReady = scheduler.suspend(this); @@ -102,7 +102,7 @@ Process::resume(bool inc_kids) if (inc_kids) forEachKid([](Process *p) { p->resume(true); }); - if (_suspended) { + if (_suspended && !_terminated) { _suspended = false; if (_suspendedReady) scheduler.resume(this); @@ -124,7 +124,8 @@ Process::disable(bool inc_kids) message.c_str()); } - _disabled = true; + if (!_terminated) + _disabled = true; } void @@ -134,7 +135,8 @@ Process::enable(bool inc_kids) if (inc_kids) forEachKid([](Process *p) { p->enable(true); }); - _disabled = false; + if (!_terminated) + _disabled = false; } void @@ -149,8 +151,8 @@ Process::kill(bool inc_kids) if (inc_kids) forEachKid([](Process *p) { p->kill(true); }); - // If we're in the middle of unwinding, ignore the kill request. - if (_isUnwinding) + // If we're unwinding or terminated, ignore the kill request. + if (_isUnwinding || _terminated) return; // Update our state. @@ -177,8 +179,8 @@ Process::reset(bool inc_kids) if (inc_kids) forEachKid([](Process *p) { p->reset(true); }); - // If we're in the middle of unwinding, ignore the reset request. - if (_isUnwinding) + // If we're already unwinding or terminated, ignore the reset request. + if (_isUnwinding || _terminated) return; // Clear suspended ready since we're about to run regardless. |