diff options
| author | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2018-11-17 07:59:15 +0300 |
|---|---|---|
| committer | Ömer Sinan Ağacan <omeragacan@gmail.com> | 2018-11-17 08:35:33 +0300 |
| commit | 6677235181ea94311ae2133a7ef8a7decdbf0bb9 (patch) | |
| tree | f359a8adb820bef55b7fcefec5ae278a4a7c4e2f /rts/Schedule.h | |
| parent | 32e7738bb1a1df5133fd775312e7fb5ae6823099 (diff) | |
| download | haskell-6677235181ea94311ae2133a7ef8a7decdbf0bb9.tar.gz | |
Some assertions and comments in scheduler
Test Plan:
I can't validate this because of existing errors with the debug runtime. I'll
see if this introduces any new failures.
Reviewers: simonmar, bgamari, erikd
Reviewed By: simonmar
Subscribers: rwbarton, carter
Differential Revision: https://phabricator.haskell.org/D5337
Diffstat (limited to 'rts/Schedule.h')
| -rw-r--r-- | rts/Schedule.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Schedule.h b/rts/Schedule.h index 49e094bb89..66cf8391f3 100644 --- a/rts/Schedule.h +++ b/rts/Schedule.h @@ -167,6 +167,7 @@ pushOnRunQueue (Capability *cap, StgTSO *tso) INLINE_HEADER StgTSO * popRunQueue (Capability *cap) { + ASSERT(cap->n_run_queue != 0); StgTSO *t = cap->run_queue_hd; ASSERT(t != END_TSO_QUEUE); cap->run_queue_hd = t->_link; |