diff options
author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-03-02 11:51:07 -0500 |
---|---|---|
committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-03-02 11:51:07 -0500 |
commit | 59fbc7a247b7f32d76d3bef02d13290f72671994 (patch) | |
tree | 7e57b985b36796705cbf86fab2116a1885ccfc03 /include | |
parent | 4475feaebe149153cda72d7e7cf17f4f03377dcb (diff) |
Bugfix: PSN-EDF should only requeue tasks that are not scheduled
Requeue a task that is already scheduled will cause it to be effectively
in the runqueue twice since scheduled tasks are conceptually the head
of the queue. If a task is still scheduled, then schedule() will do the righ
thing and do the requeuing if necessary.
This fixes crashes reported by Glenn and Andrea.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions