Re: [Valgrind-developers] Patch 33-pre_mutex_lock

[Nicholas N. <nj...@ca...>]

On 30 Oct 2002, Jeremy Fitzhardinge wrote:

> The main reason for pre_mutex_lock is that locking can block, so you may
> want to do something before that happens.  Unlock doesn't block, so pre_
> or post_ doesn't matter much.  I didn't bother with pre_mutex_unlock
> because it would be redundant.

Ok, a brief comment explaining this in vg_skin.h would be good then :)

N