diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-10-10 19:24:24 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2011-10-10 19:24:24 -0400 |
commit | 77870ba296b06385088f02516b7346fa7a7756b4 (patch) | |
tree | d3d6ebbb69f8159981bb7f83059436ec119d9eef /litmus/rt_domain.c | |
parent | 848defae3a19b7e4b160603995db35908fa2a95c (diff) |
Fixed level-A crash when cancel task execution
Diffstat (limited to 'litmus/rt_domain.c')
-rw-r--r-- | litmus/rt_domain.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/litmus/rt_domain.c b/litmus/rt_domain.c index 3355eb5a73be..24b7a260e95b 100644 --- a/litmus/rt_domain.c +++ b/litmus/rt_domain.c | |||
@@ -405,6 +405,8 @@ 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 | ||
408 | QT_START; | ||
409 | |||
408 | BUG_ON(!task || !is_realtime(task)); | 410 | BUG_ON(!task || !is_realtime(task)); |
409 | TRACE_TASK(task, "Requeueing\n"); | 411 | TRACE_TASK(task, "Requeueing\n"); |
410 | BUG_ON(is_queued(task)); | 412 | BUG_ON(is_queued(task)); |
@@ -420,6 +422,8 @@ static void pd_requeue(domain_t *dom, struct task_struct *task) | |||
420 | VTRACE_TASK(task, "add release(), rel=%llu\n", get_release(task)); | 422 | VTRACE_TASK(task, "add release(), rel=%llu\n", get_release(task)); |
421 | add_release(domain, task); | 423 | add_release(domain, task); |
422 | } | 424 | } |
425 | |||
426 | QT_END; | ||
423 | } | 427 | } |
424 | 428 | ||
425 | /* pd_take_ready - removes and returns the next ready task from the rt_domain | 429 | /* pd_take_ready - removes and returns the next ready task from the rt_domain |