aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/rt_domain.c
diff options
context:
space:
mode:
authorJonathan Herman <hermanjl@cs.unc.edu>2011-10-09 18:42:07 -0400
committerJonathan Herman <hermanjl@cs.unc.edu>2011-10-09 18:42:07 -0400
commitbc92369ba24f72b916384ed80d4381549c6537a7 (patch)
tree9e4f0ae48a5e2d8d4fbb877011c63f89ff3bd6f7 /litmus/rt_domain.c
parentdd3b483c07497e34ad948890dc7cd871cd68dc7a (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.c4
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)
404static void pd_requeue(domain_t *dom, struct task_struct *task) 404static 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