Re: [Xen-devel] [PATCH v3 1/6] xen: sched: fix locking of remove_vcpu() in credit1

2015-11-03 Thread Dario Faggioli
On Mon, 2015-11-02 at 18:04 +, George Dunlap wrote: > On 29/10/15 23:04, Dario Faggioli wrote: > > @@ -936,15 +936,19 @@ csched_vcpu_remove(const struct scheduler > > *ops, struct vcpu *vc) > > vcpu_unpause(svc->vcpu); > > } > > > > +lock = vcpu_schedule_lock_irq(vc); > > +

Re: [Xen-devel] [PATCH v3 1/6] xen: sched: fix locking of remove_vcpu() in credit1

2015-11-02 Thread George Dunlap
On 29/10/15 23:04, Dario Faggioli wrote: > In fact, csched_vcpu_remove() (i.e., the credit1 > implementation of remove_vcpu()) manipulates runqueues, > so holding the runqueue lock is necessary. > > Also, while there, *_lock_irq() (for the private lock) is > enough, there is no need to *_lock_irqs

[Xen-devel] [PATCH v3 1/6] xen: sched: fix locking of remove_vcpu() in credit1

2015-10-29 Thread Dario Faggioli
In fact, csched_vcpu_remove() (i.e., the credit1 implementation of remove_vcpu()) manipulates runqueues, so holding the runqueue lock is necessary. Also, while there, *_lock_irq() (for the private lock) is enough, there is no need to *_lock_irqsave(). Signed-off-by: Dario Faggioli Reviewed-by: A