diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2014-01-17 00:21:41 -0500 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2014-01-17 00:21:41 -0500 |
commit | d7e35a002b94ad52304a4c400d8195e462e0308a (patch) | |
tree | a0baec755d5939d9c1b2b554e8baec1d6fe82155 /lib/.gitignore | |
parent | 7e1db96d01247ca7a3b23ca8ac40fc195ef4a149 (diff) |
Don't unlink np tasks that block preemptions.
This patch prevents non-preemptive tasks from
being unlinked up a blocked preemption. Apparently
was leading to lost tasks (they would suspend and
never be heard from again).
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions