Re: [PATCH 2/3] xen/sched: fix theoretical races accessing vcpu->dirty_cpu

[Jürgen Groß <jgross@xxxxxxxx>]

On 30.04.20 17:15, Juergen Gross wrote:
> The dirty_cpu field of struct vcpu denotes which cpu still holds data
> of a vcpu. All accesses to this field should be atomic in case the
> vcpu could just be running, as it is accessed without any lock held
> in most cases.
>
> There are some instances where accesses are not atomically done, and
> even worse where multiple accesses are done when a single one would
> be mandated.
>
> Correct that in order to avoid potential problems.
>
> Add some assertions to verify dirty_cpu is handled properly.
>
> Signed-off-by: Juergen Gross <jgross@xxxxxxxx>
Please ignore this one, just realized it doesn't build for ARM.


Juergen