Re: [Valgrind-developers] finding races between a memory access and free()

[Konstantin S. <kon...@gm...>]

Sent a message to libstdc++ folks:
http://gcc.gnu.org/ml/libstdc++/2010-07/msg00029.html

--kcc

On Thu, Jul 8, 2010 at 7:08 PM, Bart Van Assche <bva...@ac...> wrote:
> On Thu, Jul 8, 2010 at 12:49 PM, Konstantin Serebryany
> <kon...@gm...> wrote:
>> I changed the code which I want to suggest to libstdc++:
>> http://code.google.com/p/data-race-test/wiki/AtomicReferenceCounting#Proposal_to_libstdc++_developers
>> This will allow to use any kind of annotations (including Intel
>> Parallel Inspector's itt_notify_sync_releasing /
>> itt_notify_sync_acquired).
>> Please have another look.
>
> A few minor comments: in the text cited below, please add the word
> "otherwise" at the beginning of the second line, replace "other" by
> "else" and "reference counter" by "reference counters".
>
> // Do not use this function for anything other than decrementing
> reference counter --
> // this will confuse race detectors and will make them more
> conservative and slow.
>
> Bart.
>