mirror of
https://sourceware.org/git/glibc.git
synced 2025-04-26 15:09:05 +03:00
eb76e5b465
Patch ce7eb0e90315 ("nptl: Cleanup cancellation macros") changed the
join sequence for internal common __pthread_timedjoin_ex to use the
new macro lll_wait_tid. The idea was this macro would issue the
cancellable futex operation depending whether the timeout is used or
not. However if a timeout is used, __lll_timedwait_tid is called and
it is not a cancellable entrypoint.
This patch fixes it by simplifying the code in various ways:
- Instead of adding the cancellation handling on __lll_timedwait_tid,
it moves the generic implementation to pthread_join_common.c (called
now timedwait_tid with some fixes to use the correct type for pid).
- The llvm_wait_tid macro is removed, along with its replication on
x86_64, i686, and sparc arch-specific lowlevellock.h.
- sparc32 __lll_timedwait_tid is also removed, since the code is similar
to generic one.
- x86_64 and i386 provides arch-specific __lll_timedwait_tid which is
also removed since they are similar in functionality to generic C code
and there is no indication it is better than compiler generated code.
New tests, tst-join8 and tst-join9, are provided to check if
pthread_timedjoin_np acts as a cancellation point.
Checked on x86_64-linux-gnu, i686-linux-gnu, sparcv9-linux-gnu, and
aarch64-linux-gnu.
[BZ #24215]
* nptl/Makefile (lpthread-routines): Remove lll_timedwait_tid.
(tests): Add tst-join8 tst-join9.
* nptl/lll_timedwait_tid.c: Remove file.
* sysdeps/sparc/sparc32/lll_timedwait_tid.c: Likewise.
* sysdeps/unix/sysv/linux/i386/lll_timedwait_tid.c: Likewise.
* sysdeps/sysv/linux/x86_64/lll_timedwait_tid.c: Likewise.
* nptl/pthread_join_common.c (timedwait_tid): New function.
(__pthread_timedjoin_ex): Act as cancellation entrypoint is block
is set.
* nptl/tst-join5.c (thread_join): New function.
(tf1, tf2, do_test): Use libsupport and add pthread_timedjoin_np
check.
* nptl/tst-join8.c: New file.
* nptl/tst-join9.c: Likewise.
* sysdeps/nptl/lowlevellock-futex.h (lll_futex_wait_cancel,
lll_futex_timed_wait_cancel): Add generic macros.
* sysdeps/nptl/lowlevellock.h (__lll_timedwait_tid, lll_wait_tid):
Remove definitions.
* sysdeps/unix/sysv/linux/i386/lowlevellock.h: Likewise.
* sysdeps/unix/sysv/linux/sparc/lowlevellock.h: Likewise.
* sysdeps/unix/sysv/linux/x86_64/lowlevellock.h: Likewise.
* sysdeps/sparc/sparc32/lowlevellock.c (__lll_timedwait_tid):
Remove function.
* sysdeps/unix/sysv/linux/i386/lowlevellock.S (__lll_timedwait_tid):
Likewise.
* sysdeps/unix/sysv/linux/x86_64/lowlevellock.S: Likewise.
* sysdeps/unix/sysv/linux/lowlevellock-futex.h
(lll_futex_timed_wait_cancel): New macro.
112 lines
3.3 KiB
C
112 lines
3.3 KiB
C
/* Copyright (C) 2003-2019 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
Contributed by Jakub Jelinek <jakub@redhat.com>, 2003.
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with the GNU C Library; if not, see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef _LOWLEVELLOCK_H
|
|
#define _LOWLEVELLOCK_H 1
|
|
|
|
#include <time.h>
|
|
#include <sys/param.h>
|
|
#include <bits/pthreadtypes.h>
|
|
#include <atomic.h>
|
|
#include <kernel-features.h>
|
|
|
|
#include <lowlevellock-futex.h>
|
|
|
|
static inline int
|
|
__attribute__ ((always_inline))
|
|
__lll_trylock (int *futex)
|
|
{
|
|
return atomic_compare_and_exchange_val_24_acq (futex, 1, 0) != 0;
|
|
}
|
|
#define lll_trylock(futex) __lll_trylock (&(futex))
|
|
|
|
static inline int
|
|
__attribute__ ((always_inline))
|
|
__lll_cond_trylock (int *futex)
|
|
{
|
|
return atomic_compare_and_exchange_val_24_acq (futex, 2, 0) != 0;
|
|
}
|
|
#define lll_cond_trylock(futex) __lll_cond_trylock (&(futex))
|
|
|
|
|
|
extern void __lll_lock_wait_private (int *futex) attribute_hidden;
|
|
extern void __lll_lock_wait (int *futex, int private) attribute_hidden;
|
|
|
|
static inline void
|
|
__attribute__ ((always_inline))
|
|
__lll_lock (int *futex, int private)
|
|
{
|
|
int val = atomic_compare_and_exchange_val_24_acq (futex, 1, 0);
|
|
|
|
if (__glibc_unlikely (val != 0))
|
|
{
|
|
if (__builtin_constant_p (private) && private == LLL_PRIVATE)
|
|
__lll_lock_wait_private (futex);
|
|
else
|
|
__lll_lock_wait (futex, private);
|
|
}
|
|
}
|
|
#define lll_lock(futex, private) __lll_lock (&(futex), private)
|
|
|
|
static inline void
|
|
__attribute__ ((always_inline))
|
|
__lll_cond_lock (int *futex, int private)
|
|
{
|
|
int val = atomic_compare_and_exchange_val_24_acq (futex, 2, 0);
|
|
|
|
if (__glibc_unlikely (val != 0))
|
|
__lll_lock_wait (futex, private);
|
|
}
|
|
#define lll_cond_lock(futex, private) __lll_cond_lock (&(futex), private)
|
|
|
|
|
|
extern int __lll_timedlock_wait (int *futex, const struct timespec *,
|
|
int private) attribute_hidden;
|
|
|
|
static inline int
|
|
__attribute__ ((always_inline))
|
|
__lll_timedlock (int *futex, const struct timespec *abstime, int private)
|
|
{
|
|
int val = atomic_compare_and_exchange_val_24_acq (futex, 1, 0);
|
|
int result = 0;
|
|
|
|
if (__glibc_unlikely (val != 0))
|
|
result = __lll_timedlock_wait (futex, abstime, private);
|
|
return result;
|
|
}
|
|
#define lll_timedlock(futex, abstime, private) \
|
|
__lll_timedlock (&(futex), abstime, private)
|
|
|
|
#define lll_unlock(lock, private) \
|
|
((void) ({ \
|
|
int *__futex = &(lock); \
|
|
int __private = (private); \
|
|
int __val = atomic_exchange_24_rel (__futex, 0); \
|
|
if (__glibc_unlikely (__val > 1)) \
|
|
lll_futex_wake (__futex, 1, __private); \
|
|
}))
|
|
|
|
#define lll_islocked(futex) \
|
|
(futex != 0)
|
|
|
|
/* Initializers for lock. */
|
|
#define LLL_LOCK_INITIALIZER (0)
|
|
#define LLL_LOCK_INITIALIZER_LOCKED (1)
|
|
|
|
#endif /* lowlevellock.h */
|