ia64/xen-unstable

changeset 9243:4d38a73999a9

Fix broken assertion in SEDF scheduler.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Mon Mar 13 10:49:45 2006 +0100 (2006-03-13)
parents 57f21f67b532
children 68b4edadd161
files xen/common/sched_sedf.c
line diff
     1.1 --- a/xen/common/sched_sedf.c	Sun Mar 12 19:37:38 2006 +0100
     1.2 +++ b/xen/common/sched_sedf.c	Mon Mar 13 10:49:45 2006 +0100
     1.3 @@ -585,7 +585,7 @@ static void update_queues(
     1.4                  curinf->deadl_abs += 
     1.5                      DIV_UP(now - curinf->deadl_abs,
     1.6                             curinf->period) * curinf->period;
     1.7 -            ASSERT(curinf->deadl_abs > now);
     1.8 +            ASSERT(curinf->deadl_abs >= now);
     1.9              /*give a fresh slice*/
    1.10              curinf->cputime = 0;
    1.11              if (PERIOD_BEGIN(curinf) > now)