Re: [Xen-devel] Xen spinlock questions

[Jeremy Fitzhardinge <jeremy@xxxxxxxx>]

Keir Fraser wrote:
> That's right. The hypercall returns if any event is delivered to the vcpu,
> or if any port in the poll set is pending. The fact we don't clear the vcpu
> from the poll_mask if unblocked for event delivery isn't a correctness
> issue, but it will cause unnecessary extra work in future invocations of
> evtchn_set_pending(). Perhaps vcpu_unblock() should clear it.
>   
That seems reasonable.  In this use-case, it's quite likely that if the 
poll is interrupted by event delivery, on return it will find that the 
spinlock is now free and never re-enter the poll.
   J

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