[PATCH] nptl: Use a PI-aware lock for internal pthread_cond-related locking
Florian Weimer
fweimer@redhat.com
Wed Sep 10 05:57:21 GMT 2025
* Adhemerval Zanella Netto:
>> Does POSIX define what happens if a non-robust mutex is accessed again
>> if a thread terminates without unlocking it first? If yes, then this is
>> indeed a problem.
>
> Afaik this is UB for non-robust mutexes, although the resolution for Austin
> Issue 755 [1] is not clear IMHO.
>
> [1] https://www.austingroupbugs.net/view.php?id=755#c1875
Ah, so it's UB in practically all implementations (for at least some
mutex types), but not UB in POSIX.
Thanks,
Florian
More information about the Libc-alpha
mailing list