[ltt-dev] [PATCH resent 7/7] urcu-qsbr: avoid useless futex wakeups and burning CPU for long grace periods

Paolo Bonzini pbonzini at redhat.com
Wed Aug 17 10:26:49 EDT 2011

On 08/17/2011 02:39 AM, Mathieu Desnoyers wrote:
> Even though the current promela model does not model the memory
> ordering, I feel confident enough now, after reviewing the model and
> this implementation, that it is OK. So I'll pull this patch, thanks !
> It gets me wondering though.. we might want to create a wait/wakeup
> abstraction within urcu, as this is getting a common use-case.

Yes, totally.  I'll try to clean up my QEMU code.


More information about the lttng-dev mailing list