use a dedicated futex object for pthread_join instead of tid field
authorRich Felker <dalias@aerifal.cx>
Wed, 2 May 2018 16:13:43 +0000 (12:13 -0400)
committerRich Felker <dalias@aerifal.cx>
Wed, 2 May 2018 16:33:29 +0000 (12:33 -0400)
commit9e2d820a555e150df462f88c901fcbe25d692a8b
tree104c68bdbeb371bcb9e12c23b31dfc3f96fd57e6
parent941bd884cc0221d051840ce6d21650339e711863
use a dedicated futex object for pthread_join instead of tid field

the tid field in the pthread structure is not volatile, and really
shouldn't be, so as not to limit the compiler's ability to reorder,
merge, or split loads in code paths that may be relevant to
performance (like controlling lock ownership).

however, use of objects which are not volatile or atomic with futex
wait is inherently broken, since the compiler is free to transform a
single load into multiple loads, thereby using a different value for
the controlling expression of the loop and the value passed to the
futex syscall, leading the syscall to block instead of returning.

reportedly glibc's pthread_join was actually affected by an equivalent
issue in glibc on s390.

add a separate, dedicated join_futex object for pthread_join to use.
src/env/__init_tls.c
src/internal/pthread_impl.h
src/thread/pthread_create.c
src/thread/pthread_join.c