|
From: Julian S. <js...@ac...> - 2009-11-05 08:01:45
|
On Thursday 05 November 2009, Konstantin Serebryany wrote: > I think this section of helgrind docs is generally out of date (Julian, > please confirm). > Helgrind 3.5 is a pure happens-before detector and thus handles this case > correctly. > Same for DRD. Unfortunately I think the docs are correct, and neither Helgrind nor DRD can handle this properly. The basic problem is that there can be a h-b dependency which arises from the loop and values in memory, not from the mx or cv, so the dependency is "invisible". I believe Laszlo's comments are valid and correct, and an interesting solution. I'd have to stare at it more it be convinced it's correct, but it looks plausible. Laszlo, can you explain the background to this a bit? How did you come to be looking at this problem? Does your solution help? J |