Re: [Valgrind-users] helgrind and rwlock

[Ivan S. J. <isj...@i1...>]

On Sunday 30 March 2008 12:25:46 Bart Van Assche wrote:
[snip]
> * Handle reader-writer locking objects as if their implementation was
> based on a single mutex M and as if the operations on these locking
> objects were implemented as follows:
>   - Obtaining a reader lock is equivalent to locking + unlocking mutex M.
>   - Unlocking a reader lock is equivalent to locking + unlocking mutex M.
>   - Obtaining a writer lock is equivalent to locking mutex M.
>   - Unlocking a writer lock is equivalent to unlocking mutex M.

It does not catch this scenario:

thread 1:
  readlock A
  writelock B
  unlock B
  unlock A
thread 2:
  readlock B
  writelock A
  unlock A
  unlock B


/isj