We keep last_start updated whenever cur_budget is updated. This avoids subtle bugs in case burn_budget() will be called in other places in the future.
Signed-off-by: Meng Xu <men...@cis.upenn.edu> --- Cc: Dario Faggioli <dario.faggi...@citrix.com> Cc: George Dunlap <george.dun...@eu.citrix.com> Cc: Wei Liu <wei.l...@citrix.com> Cc: Linh Thi Xuan Phan <linhp...@cis.upenn.edu> Cc: Haoran Li <lihao...@wustl.edu> Cc: Meng Xu <xumengpa...@gmail.com> Cc: Dagaen Golomb <dgol...@cis.upenn.edu> Cc: Tianyang Chen <ti...@cis.upenn.edu> --- xen/common/sched_rt.c | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/common/sched_rt.c b/xen/common/sched_rt.c index 4b4f232..434b773 100644 --- a/xen/common/sched_rt.c +++ b/xen/common/sched_rt.c @@ -953,6 +953,7 @@ burn_budget(const struct scheduler *ops, struct rt_vcpu *svc, s_time_t now) } svc->cur_budget -= delta; + svc->last_start = now; if ( svc->cur_budget <= 0 ) { -- 1.9.1 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel