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

[Paolo Bonzini]

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.

Paolo