On 21.10.22 11:37, Dario Faggioli wrote:
Ok, and now, something not really related to the bug being fixed here,
but about the code that is being touched:
On Fri, 2022-10-21 at 08:10 +0200, Juergen Gross wrote:
diff --git a/xen/common/sched/rt.c b/xen/common/sched/rt.c
index d6de25531b..960a8033
Ok, and now, something not really related to the bug being fixed here,
but about the code that is being touched:
On Fri, 2022-10-21 at 08:10 +0200, Juergen Gross wrote:
> diff --git a/xen/common/sched/rt.c b/xen/common/sched/rt.c
> index d6de25531b..960a8033e2 100644
> --- a/xen/common/sched/rt.c
On Fri, 2022-10-21 at 08:10 +0200, Juergen Gross wrote:
> When a domain gets paused the unit runnable state can change to "not
> runnable" without the scheduling lock being involved. This means that
> a specific scheduler isn't involved in this change of runnable state.
>
> In the RTDS scheduler t
Hi Juergen,
> -Original Message-
> From: Juergen Gross
> Subject: [PATCH-for-4.17] xen/sched: fix race in RTDS scheduler
>
> When a domain gets paused the unit runnable state can change to "not
> runnable" without the scheduling lock being involved.
When a domain gets paused the unit runnable state can change to "not
runnable" without the scheduling lock being involved. This means that
a specific scheduler isn't involved in this change of runnable state.
In the RTDS scheduler this can result in an inconsistency in case a
unit is losing its "r
