aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/sched_color.c
diff options
context:
space:
mode:
authorJonathan Herman <hermanjl@cs.unc.edu>2012-05-14 21:24:35 -0400
committerJonathan Herman <hermanjl@cs.unc.edu>2012-05-14 21:24:35 -0400
commit480a2018363a3ef87e4b2cc93c83d007fef565e1 (patch)
tree0da5b870bb37fbadc52499b48a6f5aaa18e9380c /litmus/sched_color.c
parent4bb1dab9fe43ad707f8c1b28f3e8bd5d47f09994 (diff)
Commented out two rare bugs which the scheduler can recover from
Diffstat (limited to 'litmus/sched_color.c')
-rw-r--r--litmus/sched_color.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/litmus/sched_color.c b/litmus/sched_color.c
index f095b302ddd6..e67681fb2d24 100644
--- a/litmus/sched_color.c
+++ b/litmus/sched_color.c
@@ -378,7 +378,7 @@ static void fifo_update(struct rt_server *server)
378 378
379 if (!server->linked || has_resources(server->linked, server->cpu)) { 379 if (!server->linked || has_resources(server->linked, server->cpu)) {
380 /* Running here means linked to a parent server */ 380 /* Running here means linked to a parent server */
381 BUG_ON(!server->running); 381 /* BUG_ON(!server->running); */
382 382
383 /* Stop executing */ 383 /* Stop executing */
384 if (fserver->start_time) { 384 if (fserver->start_time) {
@@ -388,7 +388,7 @@ static void fifo_update(struct rt_server *server)
388 cancel_enforcement_timer(&fserver->timer); 388 cancel_enforcement_timer(&fserver->timer);
389 } else { 389 } else {
390 /* Server is linked, but not executing */ 390 /* Server is linked, but not executing */
391 BUG_ON(fserver->timer.armed); 391 /* BUG_ON(fserver->timer.armed); */
392 } 392 }
393 393
394 /* Calculate next task */ 394 /* Calculate next task */