diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-10-09 18:42:07 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-10-09 18:42:07 -0400 |
commit | bc92369ba24f72b916384ed80d4381549c6537a7 (patch) | |
tree | 9e4f0ae48a5e2d8d4fbb877011c63f89ff3bd6f7 /litmus/rt_domain.c | |
parent | dd3b483c07497e34ad948890dc7cd871cd68dc7a (diff) |
Fixed bug where finish switch could strand level-C tasks in neverland
Diffstat (limited to 'litmus/rt_domain.c')
-rw-r--r-- | litmus/rt_domain.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/litmus/rt_domain.c b/litmus/rt_domain.c index 93f2a35fb29d..f242f33e990e 100644 --- a/litmus/rt_domain.c +++ b/litmus/rt_domain.c | |||
@@ -20,7 +20,7 @@ | |||
20 | #include <litmus/bheap.h> | 20 | #include <litmus/bheap.h> |
21 | 21 | ||
22 | /* Uncomment when debugging timer races... */ | 22 | /* Uncomment when debugging timer races... */ |
23 | #if 1 | 23 | #if 0 |
24 | #define VTRACE_TASK TRACE_TASK | 24 | #define VTRACE_TASK TRACE_TASK |
25 | #define VTRACE TRACE | 25 | #define VTRACE TRACE |
26 | #else | 26 | #else |
@@ -404,7 +404,9 @@ void __add_release(rt_domain_t* rt, struct task_struct *task) | |||
404 | static void pd_requeue(domain_t *dom, struct task_struct *task) | 404 | static void pd_requeue(domain_t *dom, struct task_struct *task) |
405 | { | 405 | { |
406 | rt_domain_t *domain = (rt_domain_t*)dom->data; | 406 | rt_domain_t *domain = (rt_domain_t*)dom->data; |
407 | |||
407 | BUG_ON(!task || !is_realtime(task)); | 408 | BUG_ON(!task || !is_realtime(task)); |
409 | TRACE_TASK(task, "Requeueing"); | ||
408 | BUG_ON(is_queued(task)); | 410 | BUG_ON(is_queued(task)); |
409 | BUG_ON(get_task_domain(task) != dom); | 411 | BUG_ON(get_task_domain(task) != dom); |
410 | 412 | ||