https://bugs.winehq.org/show_bug.cgi?id=46208
--- Comment #6 from Brendan McGrath brendan@redmandi.com --- That certainly explains what we see and why the problem doesn't occur in the futex implementation.
I guess the current implementation needs a fix regardless (given kernel futex support won't always be available).