[valgrind] [Bug 445743] "The impossible happened: mutex is locked simultaneously by two threads" while using mutexes with priority inheritance and signals

[Paul Floyd]

https://bugs.kde.org/show_bug.cgi?id=445743

--- Comment #14 from Paul Floyd <pjfl...@wanadoo.fr> ---
If I add to the previous patch

     *flags |= SfMayBlock;
* start add*
   if ((ARG2 & (VKI_FUTEX_PRIVATE_FLAG|VKI_FUTEX_LOCK_PI)) ==
(VKI_FUTEX_PRIVATE_FLAG|VKI_FUTEX_LOCK_PI)) {
       *flags |= SfKernelRestart;
   }
*end add *

to static void futex_pre_helper ( ThreadId tid, SyscallArgLayout* layout,
                               SyscallArgs* arrghs, SyscallStatus* status,
                               UWord* flags, Bool is_time64 )

then I get

paulf> ../../vg-in-place --tool=drd -q ./pth_mutex_signal
mutex initialized
thread attributes initialized
thread created
sleeping
signalling
sleeping
nullHandler running
unlocking
contender locked mutex
contender unlocking mutex
contender unlocked mutex
joining thread

No error

-- 
You are receiving this mail because:
You are watching all bug changes.