|
From: Bart V. A. <bva...@ac...> - 2011-03-13 12:46:39
|
On Sun, Mar 13, 2011 at 1:10 PM, Julian Seward <js...@ac...> wrote: > > I think it would be useful to separate the question of why a race > is reported in the original version from the question of how to fix > it. So, first of all, do you agree with my analysis of why the > race is reported -- because the atomic load/store is concurrent with > the delete ? Not completely. What the tools are reporting IMHO is that there is no tool-visible h-b arc between the atomic decrement in one thread and freeing memory in another thread. So the test program is fine but the race report is a false positive. The reason I posted this on the list is that I haven't found a solution yet for letting a data race detection tool recognize that pattern without introducing new annotations. Bart. |