[Xen-changelog] Fix broken assertion in SEDF scheduler.

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID 4d38a73999a914d3fd1e9248eb6c4570bdaa7164
# Parent  57f21f67b532c65758fd9d6a9fde36183caa0296
Fix broken assertion in SEDF scheduler.

Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>

diff -r 57f21f67b532 -r 4d38a73999a9 xen/common/sched_sedf.c
--- a/xen/common/sched_sedf.c   Sun Mar 12 18:37:38 2006
+++ b/xen/common/sched_sedf.c   Mon Mar 13 09:49:45 2006
@@ -585,7 +585,7 @@
                 curinf->deadl_abs += 
                     DIV_UP(now - curinf->deadl_abs,
                            curinf->period) * curinf->period;
-            ASSERT(curinf->deadl_abs > now);
+            ASSERT(curinf->deadl_abs >= now);
             /*give a fresh slice*/
             curinf->cputime = 0;
             if (PERIOD_BEGIN(curinf) > now)

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog