mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-05 19:21:05 +00:00
5bd8a24966
* pthread_mutex_lock.c: Use it instead of PTHREAD_MUTEX_PSHARED when dealing with robust mutexes. * pthread_mutex_timedlock.c: Likewise. * pthread_mutex_trylock.c: Likewise. * pthread_mutex_unlock.c: Likewise. * sysdeps/unix/sysv/linux/pthread_mutex_cond_lock.c: Likewise. 2007-08-06 Jakub Jelinek <jakub@redhat.com> * pthreadP.h (PTHREAD_MUTEX_PSHARED_BIT): Define. (PTHREAD_MUTEX_TYPE): Mask __kind with 127. (PTHREAD_MUTEX_PSHARED): Define. * pthread_mutex_init.c (__pthread_mutex_init): Set PTHREAD_MUTEX_PSHARED_BIT for pshared or robust mutexes. * pthread_mutex_lock.c (LLL_MUTEX_LOCK): Take mutex as argument instead of its __data.__lock field, pass PTHREAD_MUTEX_PSHARED as second argument to lll_lock. (LLL_MUTEX_TRYLOCK): Take mutex as argument instead of its __data.__lock field. (LLL_ROBUST_MUTEX_LOCK): Take mutex as argument instead of its __data.__lock field, pass PTHREAD_MUTEX_PSHARED as second argument to lll_robust_lock. (__pthread_mutex_lock): Update LLL_MUTEX_LOCK, LLL_MUTEX_TRYLOCK, LLL_ROBUST_MUTEX_LOCK users, use PTHREAD_MUTEX_TYPE (mutex) instead of mutex->__data.__kind directly, pass PTHREAD_MUTEX_PSHARED (mutex) to lll_unlock and lll_futex_wait. * pthread_mutex_trylock.c (__pthread_mutex_trylock): Use PTHREAD_MUTEX_TYPE (mutex) instead of mutex->__data.__kind directly, pass PTHREAD_MUTEX_PSHARED (mutex) to lll_unlock. (pthread_mutex_timedlock): Pass PTHREAD_MUTEX_PSHARED (mutex) to lll_timedlock, lll_robust_timedlock, lll_unlock and lll_futex_timed_wait. Use PTHREAD_MUTEX_TYPE (mutex) instead of mutex->__data.__kind directly. * pthread_mutex_timedlock.c (pthread_mutex_timedlock): Pass PTHREAD_MUTEX_PSHARED (mutex) to lll_timedlock, lll_robust_timedlock, lll_unlock and lll_futex_timed_wait. Use PTHREAD_MUTEX_TYPE (mutex) instead of mutex->__data.__kind directly. * pthread_mutex_unlock.c (__pthread_mutex_unlock_usercnt): Pass PTHREAD_MUTEX_PSHARED (mutex) to lll_unlock, lll_robust_unlock and lll_futex_wake. * pthread_mutex_setprioceiling.c (pthread_mutex_setprioceiling): Pass PTHREAD_MUTEX_PSHARED (mutex) to lll_futex_wait and lll_futex_wake. Use PTHREAD_MUTEX_TYPE (mutex) instead of mutex->__data.__kind directly. * sysdeps/unix/sysv/linux/pthread_mutex_cond_lock.c (LLL_MUTEX_LOCK): Take mutex as argument instead of its __data.__lock field, pass PTHREAD_MUTEX_PSHARED as second argument to lll_cond_lock. (LLL_MUTEX_TRYLOCK): Take mutex as argument instead of its __data.__lock field. (LLL_ROBUST_MUTEX_LOCK): Take mutex as argument instead of its __data.__lock field, pass PTHREAD_MUTEX_PSHARED as second argument to lll_robust_cond_lock. * pthread_cond_broadcast.c (__pthread_cond_broadcast): Add pshared variable, pass it to lll_lock, lll_unlock, lll_futex_requeue and lll_futex_wake. Don't use lll_futex_requeue if dependent mutex has PTHREAD_MUTEX_PSHARED_BIT bit set in its __data.__kind. * pthread_cond_destroy.c (__pthread_cond_destroy): Add pshared variable, pass it to lll_lock, lll_unlock, lll_futex_wake and lll_futex_wait. * pthread_cond_signal.c (__pthread_cond_signal): Add pshared variable, pass it to lll_lock, lll_unlock, lll_futex_wake_unlock and lll_futex_wake. * pthread_cond_timedwait.c (__pthread_cond_wait): Add pshared variable, pass it to lll_lock, lll_unlock, lll_futex_timedwait and lll_futex_wake. * pthread_cond_wait.c (__condvar_cleanup, __pthread_cond_wait): Add pshared variable, pass it to lll_lock, lll_unlock, lll_futex_wait and lll_futex_wake. * sysdeps/unix/sysv/linux/alpha/lowlevellock.h (lll_futex_requeue, lll_futex_wake_unlock): Add private argument, use __lll_private_flag macro. * sysdeps/unix/sysv/linux/ia64/lowlevellock.h (lll_futex_requeue, lll_futex_wake_unlock): Likewise. * sysdeps/unix/sysv/linux/powerpc/lowlevellock.h (lll_futex_requeue): Likewise. * sysdeps/unix/sysv/linux/sparc/lowlevellock.h (lll_futex_requeue, lll_futex_wake_unlock): Likewise. * sysdeps/unix/sysv/linux/x86_64/lowlevellock.h (lll_futex_requeue): Likewise. * sysdeps/unix/sysv/linux/s390/lowlevellock.h (lll_futex_requeue, lll_futex_wake_unlock): Likewise. (lll_futex_wake): Fix a typo. * sysdeps/unix/sysv/linux/pthread-pi-defines.sym (PS_BIT): Add. * sysdeps/unix/sysv/linux/x86_64/pthread_cond_broadcast.S (__pthread_cond_broadcast): Pass LLL_PRIVATE to lll_* and or FUTEX_PRIVATE_FLAG into SYS_futex op if cv is process private. Don't use FUTEX_CMP_REQUEUE if dep_mutex is not process private. * sysdeps/unix/sysv/linux/x86_64/pthread_cond_signal.S (__pthread_cond_signal): Pass LLL_PRIVATE to lll_* and or FUTEX_PRIVATE_FLAG into SYS_futex op if cv is process private. * sysdeps/unix/sysv/linux/x86_64/pthread_cond_timedwait.S (__pthread_cond_timedwait): Likewise. * sysdeps/unix/sysv/linux/x86_64/pthread_cond_wait.S: (__condvar_cleanup, __pthread_cond_wait): Likewise.
593 lines
21 KiB
C
593 lines
21 KiB
C
/* Copyright (C) 2002, 2003, 2004, 2006, 2007 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
Contributed by Ulrich Drepper <drepper@redhat.com>, 2002.
|
|
|
|
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, write to the Free
|
|
Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
|
|
02111-1307 USA. */
|
|
|
|
#ifndef _LOWLEVELLOCK_H
|
|
#define _LOWLEVELLOCK_H 1
|
|
|
|
#ifndef __ASSEMBLER__
|
|
# include <time.h>
|
|
# include <sys/param.h>
|
|
# include <bits/pthreadtypes.h>
|
|
# include <kernel-features.h>
|
|
# include <tcb-offsets.h>
|
|
|
|
# ifndef LOCK_INSTR
|
|
# ifdef UP
|
|
# define LOCK_INSTR /* nothing */
|
|
# else
|
|
# define LOCK_INSTR "lock;"
|
|
# endif
|
|
# endif
|
|
#else
|
|
# ifndef LOCK
|
|
# ifdef UP
|
|
# define LOCK
|
|
# else
|
|
# define LOCK lock
|
|
# endif
|
|
# endif
|
|
#endif
|
|
|
|
#define SYS_futex 202
|
|
#define FUTEX_WAIT 0
|
|
#define FUTEX_WAKE 1
|
|
#define FUTEX_CMP_REQUEUE 4
|
|
#define FUTEX_WAKE_OP 5
|
|
#define FUTEX_LOCK_PI 6
|
|
#define FUTEX_UNLOCK_PI 7
|
|
#define FUTEX_TRYLOCK_PI 8
|
|
#define FUTEX_PRIVATE_FLAG 128
|
|
|
|
#define FUTEX_OP_CLEAR_WAKE_IF_GT_ONE ((4 << 24) | 1)
|
|
|
|
/* Values for 'private' parameter of locking macros. Yes, the
|
|
definition seems to be backwards. But it is not. The bit will be
|
|
reversed before passing to the system call. */
|
|
#define LLL_PRIVATE 0
|
|
#define LLL_SHARED FUTEX_PRIVATE_FLAG
|
|
|
|
#ifndef __ASSEMBLER__
|
|
|
|
#if !defined NOT_IN_libc || defined IS_IN_rtld
|
|
/* In libc.so or ld.so all futexes are private. */
|
|
# ifdef __ASSUME_PRIVATE_FUTEX
|
|
# define __lll_private_flag(fl, private) \
|
|
((fl) | FUTEX_PRIVATE_FLAG)
|
|
# else
|
|
# define __lll_private_flag(fl, private) \
|
|
((fl) | THREAD_GETMEM (THREAD_SELF, header.private_futex))
|
|
# endif
|
|
#else
|
|
# ifdef __ASSUME_PRIVATE_FUTEX
|
|
# define __lll_private_flag(fl, private) \
|
|
(((fl) | FUTEX_PRIVATE_FLAG) ^ (private))
|
|
# else
|
|
# define __lll_private_flag(fl, private) \
|
|
(__builtin_constant_p (private) \
|
|
? ((private) == 0 \
|
|
? ((fl) | THREAD_GETMEM (THREAD_SELF, header.private_futex)) \
|
|
: (fl)) \
|
|
: ({ unsigned int __fl = ((private) ^ FUTEX_PRIVATE_FLAG); \
|
|
asm ("andl %%fs:%P1, %0" : "+r" (__fl) \
|
|
: "i" (offsetof (struct pthread, header.private_futex))); \
|
|
__fl | (fl); }))
|
|
# endif
|
|
#endif
|
|
|
|
/* Initializer for lock. */
|
|
#define LLL_LOCK_INITIALIZER (0)
|
|
#define LLL_LOCK_INITIALIZER_LOCKED (1)
|
|
#define LLL_LOCK_INITIALIZER_WAITERS (2)
|
|
|
|
/* Delay in spinlock loop. */
|
|
#define BUSY_WAIT_NOP asm ("rep; nop")
|
|
|
|
|
|
#define LLL_STUB_UNWIND_INFO_START \
|
|
".section .eh_frame,\"a\",@progbits\n" \
|
|
"7:\t" ".long 9f-8f # Length of Common Information Entry\n" \
|
|
"8:\t" ".long 0x0 # CIE Identifier Tag\n\t" \
|
|
".byte 0x1 # CIE Version\n\t" \
|
|
".ascii \"zR\\0\" # CIE Augmentation\n\t" \
|
|
".uleb128 0x1 # CIE Code Alignment Factor\n\t" \
|
|
".sleb128 -8 # CIE Data Alignment Factor\n\t" \
|
|
".byte 0x10 # CIE RA Column\n\t" \
|
|
".uleb128 0x1 # Augmentation size\n\t" \
|
|
".byte 0x1b # FDE Encoding (pcrel sdata4)\n\t" \
|
|
".byte 0x12 # DW_CFA_def_cfa_sf\n\t" \
|
|
".uleb128 0x7\n\t" \
|
|
".sleb128 16\n\t" \
|
|
".align 8\n" \
|
|
"9:\t" ".long 23f-10f # FDE Length\n" \
|
|
"10:\t" ".long 10b-7b # FDE CIE offset\n\t" \
|
|
".long 1b-. # FDE initial location\n\t" \
|
|
".long 6b-1b # FDE address range\n\t" \
|
|
".uleb128 0x0 # Augmentation size\n\t" \
|
|
".byte 0x16 # DW_CFA_val_expression\n\t" \
|
|
".uleb128 0x10\n\t" \
|
|
".uleb128 12f-11f\n" \
|
|
"11:\t" ".byte 0x80 # DW_OP_breg16\n\t" \
|
|
".sleb128 4b-1b\n"
|
|
#define LLL_STUB_UNWIND_INFO_END \
|
|
".byte 0x16 # DW_CFA_val_expression\n\t" \
|
|
".uleb128 0x10\n\t" \
|
|
".uleb128 14f-13f\n" \
|
|
"13:\t" ".byte 0x80 # DW_OP_breg16\n\t" \
|
|
".sleb128 4b-2b\n" \
|
|
"14:\t" ".byte 0x40 + (3b-2b) # DW_CFA_advance_loc\n\t" \
|
|
".byte 0x0e # DW_CFA_def_cfa_offset\n\t" \
|
|
".uleb128 0\n\t" \
|
|
".byte 0x16 # DW_CFA_val_expression\n\t" \
|
|
".uleb128 0x10\n\t" \
|
|
".uleb128 16f-15f\n" \
|
|
"15:\t" ".byte 0x80 # DW_OP_breg16\n\t" \
|
|
".sleb128 4b-3b\n" \
|
|
"16:\t" ".byte 0x40 + (4b-3b-1) # DW_CFA_advance_loc\n\t" \
|
|
".byte 0x0e # DW_CFA_def_cfa_offset\n\t" \
|
|
".uleb128 128\n\t" \
|
|
".byte 0x16 # DW_CFA_val_expression\n\t" \
|
|
".uleb128 0x10\n\t" \
|
|
".uleb128 20f-17f\n" \
|
|
"17:\t" ".byte 0x80 # DW_OP_breg16\n\t" \
|
|
".sleb128 19f-18f\n\t" \
|
|
".byte 0x0d # DW_OP_const4s\n" \
|
|
"18:\t" ".4byte 4b-.\n\t" \
|
|
".byte 0x1c # DW_OP_minus\n\t" \
|
|
".byte 0x0d # DW_OP_const4s\n" \
|
|
"19:\t" ".4byte 24f-.\n\t" \
|
|
".byte 0x22 # DW_OP_plus\n" \
|
|
"20:\t" ".byte 0x40 + (5b-4b+1) # DW_CFA_advance_loc\n\t" \
|
|
".byte 0x13 # DW_CFA_def_cfa_offset_sf\n\t" \
|
|
".sleb128 16\n\t" \
|
|
".byte 0x16 # DW_CFA_val_expression\n\t" \
|
|
".uleb128 0x10\n\t" \
|
|
".uleb128 22f-21f\n" \
|
|
"21:\t" ".byte 0x80 # DW_OP_breg16\n\t" \
|
|
".sleb128 4b-5b\n" \
|
|
"22:\t" ".align 8\n" \
|
|
"23:\t" ".previous\n"
|
|
|
|
/* Unwind info for
|
|
1: leaq ..., %rdi
|
|
2: subq $128, %rsp
|
|
3: callq ...
|
|
4: addq $128, %rsp
|
|
5: jmp 24f
|
|
6:
|
|
snippet. */
|
|
#define LLL_STUB_UNWIND_INFO_5 \
|
|
LLL_STUB_UNWIND_INFO_START \
|
|
"12:\t" ".byte 0x40 + (2b-1b) # DW_CFA_advance_loc\n\t" \
|
|
LLL_STUB_UNWIND_INFO_END
|
|
|
|
/* Unwind info for
|
|
1: leaq ..., %rdi
|
|
0: movq ..., %rdx
|
|
2: subq $128, %rsp
|
|
3: callq ...
|
|
4: addq $128, %rsp
|
|
5: jmp 24f
|
|
6:
|
|
snippet. */
|
|
#define LLL_STUB_UNWIND_INFO_6 \
|
|
LLL_STUB_UNWIND_INFO_START \
|
|
"12:\t" ".byte 0x40 + (0b-1b) # DW_CFA_advance_loc\n\t" \
|
|
".byte 0x16 # DW_CFA_val_expression\n\t" \
|
|
".uleb128 0x10\n\t" \
|
|
".uleb128 26f-25f\n" \
|
|
"25:\t" ".byte 0x80 # DW_OP_breg16\n\t" \
|
|
".sleb128 4b-0b\n" \
|
|
"26:\t" ".byte 0x40 + (2b-0b) # DW_CFA_advance_loc\n\t" \
|
|
LLL_STUB_UNWIND_INFO_END
|
|
|
|
|
|
#define lll_futex_wait(futex, val, private) \
|
|
lll_futex_timed_wait(futex, val, NULL, private)
|
|
|
|
|
|
#define lll_futex_timed_wait(futex, val, timeout, private) \
|
|
({ \
|
|
register const struct timespec *__to __asm ("r10") = timeout; \
|
|
int __status; \
|
|
register __typeof (val) _val __asm ("edx") = (val); \
|
|
__asm __volatile ("syscall" \
|
|
: "=a" (__status) \
|
|
: "0" (SYS_futex), "D" (futex), \
|
|
"S" (__lll_private_flag (FUTEX_WAIT, private)), \
|
|
"d" (_val), "r" (__to) \
|
|
: "memory", "cc", "r11", "cx"); \
|
|
__status; \
|
|
})
|
|
|
|
|
|
#define lll_futex_wake(futex, nr, private) \
|
|
do { \
|
|
int __ignore; \
|
|
register __typeof (nr) _nr __asm ("edx") = (nr); \
|
|
__asm __volatile ("syscall" \
|
|
: "=a" (__ignore) \
|
|
: "0" (SYS_futex), "D" (futex), \
|
|
"S" (__lll_private_flag (FUTEX_WAKE, private)), \
|
|
"d" (_nr) \
|
|
: "memory", "cc", "r10", "r11", "cx"); \
|
|
} while (0)
|
|
|
|
|
|
/* NB: in the lll_trylock macro we simply return the value in %eax
|
|
after the cmpxchg instruction. In case the operation succeded this
|
|
value is zero. In case the operation failed, the cmpxchg instruction
|
|
has loaded the current value of the memory work which is guaranteed
|
|
to be nonzero. */
|
|
#if defined NOT_IN_libc || defined UP
|
|
# define __lll_trylock_asm LOCK_INSTR "cmpxchgl %2, %1"
|
|
#else
|
|
# define __lll_trylock_asm "cmpl $0, __libc_multiple_threads(%%rip)\n\t" \
|
|
"je 0f\n\t" \
|
|
"lock; cmpxchgl %2, %1\n\t" \
|
|
"jmp 1f\n\t" \
|
|
"0:\tcmpxchgl %2, %1\n\t" \
|
|
"1:"
|
|
#endif
|
|
|
|
#define lll_trylock(futex) \
|
|
({ int ret; \
|
|
__asm __volatile (__lll_trylock_asm \
|
|
: "=a" (ret), "=m" (futex) \
|
|
: "r" (LLL_LOCK_INITIALIZER_LOCKED), "m" (futex), \
|
|
"0" (LLL_LOCK_INITIALIZER) \
|
|
: "memory"); \
|
|
ret; })
|
|
|
|
#define lll_robust_trylock(futex, id) \
|
|
({ int ret; \
|
|
__asm __volatile (LOCK_INSTR "cmpxchgl %2, %1" \
|
|
: "=a" (ret), "=m" (futex) \
|
|
: "r" (id), "m" (futex), "0" (LLL_LOCK_INITIALIZER) \
|
|
: "memory"); \
|
|
ret; })
|
|
|
|
#define lll_cond_trylock(futex) \
|
|
({ int ret; \
|
|
__asm __volatile (LOCK_INSTR "cmpxchgl %2, %1" \
|
|
: "=a" (ret), "=m" (futex) \
|
|
: "r" (LLL_LOCK_INITIALIZER_WAITERS), \
|
|
"m" (futex), "0" (LLL_LOCK_INITIALIZER) \
|
|
: "memory"); \
|
|
ret; })
|
|
|
|
#if defined NOT_IN_libc || defined UP
|
|
# define __lll_lock_asm_start LOCK_INSTR "cmpxchgl %4, %2\n\t" \
|
|
"jnz 1f\n\t"
|
|
#else
|
|
# define __lll_lock_asm_start "cmpl $0, __libc_multiple_threads(%%rip)\n\t" \
|
|
"je 0f\n\t" \
|
|
"lock; cmpxchgl %4, %2\n\t" \
|
|
"jnz 1f\n\t" \
|
|
"jmp 24f\n" \
|
|
"0:\tcmpxchgl %4, %2\n\t" \
|
|
"jnz 1f\n\t"
|
|
#endif
|
|
|
|
#define lll_lock(futex, private) \
|
|
(void) \
|
|
({ int ignore1, ignore2, ignore3; \
|
|
if (__builtin_constant_p (private) && (private) == LLL_PRIVATE) \
|
|
__asm __volatile (__lll_lock_asm_start \
|
|
".subsection 1\n\t" \
|
|
".type _L_lock_%=, @function\n" \
|
|
"_L_lock_%=:\n" \
|
|
"1:\tleaq %2, %%rdi\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_lock_wait_private\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_lock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_5 \
|
|
"24:" \
|
|
: "=S" (ignore1), "=&D" (ignore2), "=m" (futex), \
|
|
"=a" (ignore3) \
|
|
: "0" (1), "m" (futex), "3" (0) \
|
|
: "cx", "r11", "cc", "memory"); \
|
|
else \
|
|
__asm __volatile (__lll_lock_asm_start \
|
|
".subsection 1\n\t" \
|
|
".type _L_lock_%=, @function\n" \
|
|
"_L_lock_%=:\n" \
|
|
"1:\tleaq %2, %%rdi\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_lock_wait\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_lock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_5 \
|
|
"24:" \
|
|
: "=S" (ignore1), "=D" (ignore2), "=m" (futex), \
|
|
"=a" (ignore3) \
|
|
: "1" (1), "m" (futex), "3" (0), "0" (private) \
|
|
: "cx", "r11", "cc", "memory"); \
|
|
}) \
|
|
|
|
#define lll_robust_lock(futex, id, private) \
|
|
({ int result, ignore1, ignore2; \
|
|
__asm __volatile (LOCK_INSTR "cmpxchgl %4, %2\n\t" \
|
|
"jnz 1f\n\t" \
|
|
".subsection 1\n\t" \
|
|
".type _L_robust_lock_%=, @function\n" \
|
|
"_L_robust_lock_%=:\n" \
|
|
"1:\tleaq %2, %%rdi\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_robust_lock_wait\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_robust_lock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_5 \
|
|
"24:" \
|
|
: "=S" (ignore1), "=D" (ignore2), "=m" (futex), \
|
|
"=a" (result) \
|
|
: "1" (id), "m" (futex), "3" (0), "0" (private) \
|
|
: "cx", "r11", "cc", "memory"); \
|
|
result; })
|
|
|
|
#define lll_cond_lock(futex, private) \
|
|
(void) \
|
|
({ int ignore1, ignore2, ignore3; \
|
|
__asm __volatile (LOCK_INSTR "cmpxchgl %4, %2\n\t" \
|
|
"jnz 1f\n\t" \
|
|
".subsection 1\n\t" \
|
|
".type _L_cond_lock_%=, @function\n" \
|
|
"_L_cond_lock_%=:\n" \
|
|
"1:\tleaq %2, %%rdi\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_lock_wait\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_cond_lock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_5 \
|
|
"24:" \
|
|
: "=S" (ignore1), "=D" (ignore2), "=m" (futex), \
|
|
"=a" (ignore3) \
|
|
: "1" (2), "m" (futex), "3" (0), "0" (private) \
|
|
: "cx", "r11", "cc", "memory"); \
|
|
})
|
|
|
|
#define lll_robust_cond_lock(futex, id, private) \
|
|
({ int result, ignore1, ignore2; \
|
|
__asm __volatile (LOCK_INSTR "cmpxchgl %4, %2\n\t" \
|
|
"jnz 1f\n\t" \
|
|
".subsection 1\n\t" \
|
|
".type _L_robust_cond_lock_%=, @function\n" \
|
|
"_L_robust_cond_lock_%=:\n" \
|
|
"1:\tleaq %2, %%rdi\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_robust_lock_wait\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_robust_cond_lock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_5 \
|
|
"24:" \
|
|
: "=S" (ignore1), "=D" (ignore2), "=m" (futex), \
|
|
"=a" (result) \
|
|
: "1" (id | FUTEX_WAITERS), "m" (futex), "3" (0), \
|
|
"0" (private) \
|
|
: "cx", "r11", "cc", "memory"); \
|
|
result; })
|
|
|
|
#define lll_timedlock(futex, timeout, private) \
|
|
({ int result, ignore1, ignore2, ignore3; \
|
|
__asm __volatile (LOCK_INSTR "cmpxchgl %1, %4\n\t" \
|
|
"jnz 1f\n\t" \
|
|
".subsection 1\n\t" \
|
|
".type _L_timedlock_%=, @function\n" \
|
|
"_L_timedlock_%=:\n" \
|
|
"1:\tleaq %4, %%rdi\n" \
|
|
"0:\tmovq %8, %%rdx\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_timedlock_wait\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_timedlock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_6 \
|
|
"24:" \
|
|
: "=a" (result), "=D" (ignore1), "=S" (ignore2), \
|
|
"=&d" (ignore3), "=m" (futex) \
|
|
: "0" (0), "1" (1), "m" (futex), "m" (timeout), \
|
|
"2" (private) \
|
|
: "memory", "cx", "cc", "r10", "r11"); \
|
|
result; })
|
|
|
|
#define lll_robust_timedlock(futex, timeout, id, private) \
|
|
({ int result, ignore1, ignore2, ignore3; \
|
|
__asm __volatile (LOCK_INSTR "cmpxchgl %1, %4\n\t" \
|
|
"jnz 1f\n\t" \
|
|
".subsection 1\n\t" \
|
|
".type _L_robust_timedlock_%=, @function\n" \
|
|
"_L_robust_timedlock_%=:\n" \
|
|
"1:\tleaq %4, %%rdi\n" \
|
|
"0:\tmovq %8, %%rdx\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_robust_timedlock_wait\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_robust_timedlock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_6 \
|
|
"24:" \
|
|
: "=a" (result), "=D" (ignore1), "=S" (ignore2), \
|
|
"=&d" (ignore3), "=m" (futex) \
|
|
: "0" (0), "1" (id), "m" (futex), "m" (timeout), \
|
|
"2" (private) \
|
|
: "memory", "cx", "cc", "r10", "r11"); \
|
|
result; })
|
|
|
|
#if defined NOT_IN_libc || defined UP
|
|
# define __lll_unlock_asm_start LOCK_INSTR "decl %0\n\t" \
|
|
"jne 1f\n\t"
|
|
#else
|
|
# define __lll_unlock_asm_start "cmpl $0, __libc_multiple_threads(%%rip)\n\t" \
|
|
"je 0f\n\t" \
|
|
"lock; decl %0\n\t" \
|
|
"jne 1f\n\t" \
|
|
"jmp 24f\n\t" \
|
|
"0:\tdecl %0\n\t" \
|
|
"jne 1f\n\t"
|
|
#endif
|
|
|
|
#define lll_unlock(futex, private) \
|
|
(void) \
|
|
({ int ignore; \
|
|
if (__builtin_constant_p (private) && (private) == LLL_PRIVATE) \
|
|
__asm __volatile (__lll_unlock_asm_start \
|
|
".subsection 1\n\t" \
|
|
".type _L_unlock_%=, @function\n" \
|
|
"_L_unlock_%=:\n" \
|
|
"1:\tleaq %0, %%rdi\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_unlock_wake_private\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_unlock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_5 \
|
|
"24:" \
|
|
: "=m" (futex), "=&D" (ignore) \
|
|
: "m" (futex) \
|
|
: "ax", "cx", "r11", "cc", "memory"); \
|
|
else \
|
|
__asm __volatile (__lll_unlock_asm_start \
|
|
".subsection 1\n\t" \
|
|
".type _L_unlock_%=, @function\n" \
|
|
"_L_unlock_%=:\n" \
|
|
"1:\tleaq %0, %%rdi\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_unlock_wake\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_unlock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_5 \
|
|
"24:" \
|
|
: "=m" (futex), "=&D" (ignore) \
|
|
: "m" (futex), "S" (private) \
|
|
: "ax", "cx", "r11", "cc", "memory"); \
|
|
})
|
|
|
|
#define lll_robust_unlock(futex, private) \
|
|
do \
|
|
{ \
|
|
int ignore; \
|
|
__asm __volatile (LOCK_INSTR "andl %2, %0\n\t" \
|
|
"jne 1f\n\t" \
|
|
".subsection 1\n\t" \
|
|
".type _L_robust_unlock_%=, @function\n" \
|
|
"_L_robust_unlock_%=:\n" \
|
|
"1:\tleaq %0, %%rdi\n" \
|
|
"2:\tsubq $128, %%rsp\n" \
|
|
"3:\tcallq __lll_unlock_wake\n" \
|
|
"4:\taddq $128, %%rsp\n" \
|
|
"5:\tjmp 24f\n" \
|
|
"6:\t.size _L_robust_unlock_%=, 6b-1b\n\t" \
|
|
".previous\n" \
|
|
LLL_STUB_UNWIND_INFO_5 \
|
|
"24:" \
|
|
: "=m" (futex), "=&D" (ignore) \
|
|
: "i" (FUTEX_WAITERS), "m" (futex), \
|
|
"S" (private) \
|
|
: "ax", "cx", "r11", "cc", "memory"); \
|
|
} \
|
|
while (0)
|
|
|
|
#define lll_robust_dead(futex, private) \
|
|
do \
|
|
{ \
|
|
int ignore; \
|
|
__asm __volatile (LOCK_INSTR "orl %3, (%2)\n\t" \
|
|
"syscall" \
|
|
: "=m" (futex), "=a" (ignore) \
|
|
: "D" (&(futex)), "i" (FUTEX_OWNER_DIED), \
|
|
"S" (__lll_private_flag (FUTEX_WAKE, private)), \
|
|
"1" (__NR_futex), "d" (1) \
|
|
: "cx", "r11", "cc", "memory"); \
|
|
} \
|
|
while (0)
|
|
|
|
/* Returns non-zero if error happened, zero if success. */
|
|
#define lll_futex_requeue(ftx, nr_wake, nr_move, mutex, val, private) \
|
|
({ int __res; \
|
|
register int __nr_move __asm ("r10") = nr_move; \
|
|
register void *__mutex __asm ("r8") = mutex; \
|
|
register int __val __asm ("r9") = val; \
|
|
__asm __volatile ("syscall" \
|
|
: "=a" (__res) \
|
|
: "0" (__NR_futex), "D" ((void *) ftx), \
|
|
"S" (__lll_private_flag (FUTEX_CMP_REQUEUE, \
|
|
private)), "d" (nr_wake), \
|
|
"r" (__nr_move), "r" (__mutex), "r" (__val) \
|
|
: "cx", "r11", "cc", "memory"); \
|
|
__res < 0; })
|
|
|
|
#define lll_islocked(futex) \
|
|
(futex != LLL_LOCK_INITIALIZER)
|
|
|
|
|
|
/* The kernel notifies a process with uses CLONE_CLEARTID via futex
|
|
wakeup when the clone terminates. The memory location contains the
|
|
thread ID while the clone is running and is reset to zero
|
|
afterwards.
|
|
|
|
The macro parameter must not have any side effect. */
|
|
#define lll_wait_tid(tid) \
|
|
do { \
|
|
int __ignore; \
|
|
register __typeof (tid) _tid asm ("edx") = (tid); \
|
|
if (_tid != 0) \
|
|
__asm __volatile ("xorq %%r10, %%r10\n\t" \
|
|
"1:\tmovq %2, %%rax\n\t" \
|
|
"syscall\n\t" \
|
|
"cmpl $0, (%%rdi)\n\t" \
|
|
"jne 1b" \
|
|
: "=&a" (__ignore) \
|
|
: "S" (FUTEX_WAIT), "i" (SYS_futex), "D" (&tid), \
|
|
"d" (_tid) \
|
|
: "memory", "cc", "r10", "r11", "cx"); \
|
|
} while (0)
|
|
|
|
extern int __lll_timedwait_tid (int *tid, const struct timespec *abstime)
|
|
attribute_hidden;
|
|
#define lll_timedwait_tid(tid, abstime) \
|
|
({ \
|
|
int __result = 0; \
|
|
if (tid != 0) \
|
|
{ \
|
|
if (abstime->tv_nsec < 0 || abstime->tv_nsec >= 1000000000) \
|
|
__result = EINVAL; \
|
|
else \
|
|
__result = __lll_timedwait_tid (&tid, abstime); \
|
|
} \
|
|
__result; })
|
|
|
|
#endif /* !__ASSEMBLER__ */
|
|
|
|
#endif /* lowlevellock.h */
|