Bug 213383 - The information in the Helgrind manual about POSIX condition variables is incorrect
Summary: The information in the Helgrind manual about POSIX condition variables is inc...
Status: CONFIRMED
Alias: None
Product: valgrind
Classification: Developer tools
Component: helgrind (other bugs)
Version First Reported In: 3.5.0
Platform: Compiled Sources Linux
: NOR wishlist
Target Milestone: ---
Assignee: Julian Seward
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2009-11-06 09:02 UTC by Bart Van Assche
Modified: 2009-11-06 09:02 UTC (History)
0 users

See Also:
Latest Commit:
Version Fixed/Implemented In:
Sentry Crash Report:

Attachments
Add an attachment

Note You need to log in before you can comment on or make changes to this bug.
Description Bart Van Assche 2009-11-06 09:02:08 UTC 
Version:           3.5.0 (using KDE 4.3.3)
Compiler:          N/A N/A
OS:                Linux
Installed from:    Compiled From Sources

The Helgrind 3.5.0 manual contains a.o. the following text (section 7.5, item 3):

"This is because Helgrind can see inter-thread dependencies between a pthread_cond_wait call and a pthread_cond_signal/pthread_cond_broadcast call only if the waiting thread actually gets to the rendezvous first (so that it actually calls pthread_cond_wait)."

The above statement was correct for the old Eraser-style data race detection algorithm, but is no longer correct for the happens-before data race detection algorithm implemented in Helgrind 3.5.0.