diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-05-14 21:24:35 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-05-14 21:24:35 -0400 |
commit | 480a2018363a3ef87e4b2cc93c83d007fef565e1 (patch) | |
tree | 0da5b870bb37fbadc52499b48a6f5aaa18e9380c /litmus/sched_color.c | |
parent | 4bb1dab9fe43ad707f8c1b28f3e8bd5d47f09994 (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.c | 4 |
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 */ |