This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [RFC] [BZ 14417] Document condvar synchronization
On Wed, 26 Sep 2012 22:35:48 +0530, Siddhesh wrote:
\> > If we go that route, we can probably drop most of the counters and
> > just depend on the futex queues (which respect happens-before).
>
> Not really. I think it might just be possible to use the futex value
> as a proper counter to decide on order. If the signaller increments
> the futex value on entry and the waiter decrements the value in W3,
> you should get proper order. Here's what I'm thinking:
Sorry, that path was fraught with peril. This needs a lot more thought.
Regards,
Siddhesh