Re: [Valgrind-users] Producer consumer race problem

[Bart V. A. <bar...@gm...>]

On Sun, Dec 14, 2008 at 10:30 AM, Bart Van Assche
<bar...@gm...> wrote:
> [ ... ] So there must
> be a subtle bug in the way DRD updates the vector clocks inside its
> sem_wait() and/or sem_post() wrappers -- I'm currently examining this. [ ... ]

Semaphore handling in DRD should now be correct. The fix has been
committed to the trunk, and will be included in the 3.4.0 release.

Bart.