2003-11-21 Ulrich Drepper <drepper@redhat.com>
+ * sysdeps/pthread/pthread_cond_wait.c (__pthread_cond_wait): Don't
+ store mutex address if the current value is ~0l.
+ * sysdeps/pthread/pthread_cond_timedwait.c
+ (__pthread_cond_timedwait): Likewise.
+ * sysdeps/pthread/pthread_cond_broadcast.c
+ (__pthread_cond_broadcast): Don't use requeue for pshared
+ condvars.
+
+ * sysdeps/unix/sysv/linux/x86_64/pthread_cond_wait.S
+ (__pthread_cond_wait): Don't store mutex address if the current
+ value is ~0l.
+ * sysdeps/unix/sysv/linux/x86_64/pthread_cond_timedwait.S
+ (__pthread_cond_timedwait): Likewise.
+ * sysdeps/unix/sysv/linux/x86_64/pthread_cond_broadcast.S
+ (__pthread_cond_broadcast): Don't use requeue for pshared
+ condvars.
+
+ * pthread_cond_init.c (__pthread_cond_init): Initialize __mutex
+ element with ~0l for pshared condvars, with NULL otherwise.
+
+ * sysdeps/unix/sysv/linux/i386/i486/pthread_cond_wait.S
+ (__pthread_cond_wait): Don't store mutex address if the current
+ value is ~0l.
+ * sysdeps/unix/sysv/linux/i386/i486/pthread_cond_timedwait.S
+ (__pthread_cond_timedwait): Likewise.
+ * sysdeps/unix/sysv/linux/i386/i486/pthread_cond_broadcast.S
+ (__pthread_cond_broadcast): Don't use requeue for pshared
+ condvars.
+
* Makefile: Add rules to build and run tst-cond12 and tst-cond13.
* tst-cond12.c: New file.
* tst-cond13.c: New file.
cond->__data.__total_seq = 0;
cond->__data.__wakeup_seq = 0;
cond->__data.__woken_seq = 0;
+ cond->__data.__mutex = (icond_attr == NULL || (icond_attr->value & 1) == 0
+ ? NULL : (void *) ~0l);
return 0;
}
# error "No valid byte order"
#endif
+ /* Do not use requeue for pshared condvars. */
+ if (cond->__data.__mutex == (void *) ~0l)
+ goto wake_all;
+
/* Wake everybody. */
pthread_mutex_t *mut = (pthread_mutex_t *) cond->__data.__mutex;
if (__builtin_expect (lll_futex_requeue (futex, 1, INT_MAX,
0))
{
/* The requeue functionality is not available. */
-#ifndef __ASSUME_FUTEX_REQUEUE
+ wake_all:
lll_futex_wake (futex, INT_MAX);
-#endif
}
/* That's all. */
++cond->__data.__total_seq;
/* Remember the mutex we are using here. If there is already a
- different address store this is a bad user bug. */
- cond->__data.__mutex = mutex;
+ different address store this is a bad user bug. Do not store
+ anything for pshared condvars. */
+ if (cond->__data.__mutex != (void *) ~0l)
+ cond->__data.__mutex = mutex;
/* Prepare structure passed to cancellation handler. */
cbuffer.cond = cond;
++cond->__data.__total_seq;
/* Remember the mutex we are using here. If there is already a
- different address store this is a bad user bug. */
- cond->__data.__mutex = mutex;
+ different address store this is a bad user bug. Do not store
+ anything for pshared condvars. */
+ if (cond->__data.__mutex != (void *) ~0l)
+ cond->__data.__mutex = mutex;
/* Prepare structure passed to cancellation handler. */
cbuffer.cond = cond;
subl $1, cond_lock-wakeup_seq(%ebx)
jne 7f
+ /* Don't use requeue for pshared condvars. */
+8: cmpl $-1, %edi
+ je 9f
+
/* Wake up all threads. */
-8: movl $FUTEX_REQUEUE, %ecx
+ movl $FUTEX_REQUEUE, %ecx
movl $SYS_futex, %eax
movl $0x7fffffff, %esi
movl $1, %edx
#ifndef __ASSUME_FUTEX_REQUEUE
cmpl $-EINVAL, %eax
je 9f
-10:
#endif
- xorl %eax, %eax
+10: xorl %eax, %eax
popl %edi
popl %esi
popl %ebx
call __lll_mutex_unlock_wake
jmp 8b
-#ifndef __ASSUME_FUTEX_REQUEUE
9: /* The futex requeue functionality is not available. */
movl $0x7fffffff, %edx
movl $FUTEX_WAKE, %ecx
movl $SYS_futex, %eax
ENTER_KERNEL
jmp 10b
-#endif
.size __pthread_cond_broadcast, .-__pthread_cond_broadcast
versioned_symbol (libpthread, __pthread_cond_broadcast, pthread_cond_broadcast,
GLIBC_2_3_2)
/* Store the reference to the mutex. If there is already a
different value in there this is a bad user bug. */
-2: movl 24(%esp), %eax
+2: cmpl $-1, dep_mutex(%ebx)
+ movl 24(%esp), %eax
+ je 17f
movl %eax, dep_mutex(%ebx)
/* Unlock the mutex. */
- xorl %edx, %edx
+17: xorl %edx, %edx
call __pthread_mutex_unlock_usercnt
testl %eax, %eax
/* Store the reference to the mutex. If there is already a
different value in there this is a bad user bug. */
-2: movl 20(%esp), %eax
+2: cmpl $-1, dep_mutex(%ebx)
+ movl 20(%esp), %eax
+ je 15f
movl %eax, dep_mutex(%ebx)
/* Unlock the mutex. */
- xorl %edx, %edx
+15: xorl %edx, %edx
call __pthread_mutex_unlock_usercnt
testl %eax, %eax
decl cond_lock-wakeup_seq(%rdi)
jne 7f
+8: cmpq $-1, %r8
+ je 9f
+
/* Wake up all threads. */
-8: movq $FUTEX_REQUEUE, %rsi
+ movq $FUTEX_REQUEUE, %rsi
movq $SYS_futex, %rax
movl $1, %edx
movq $0x7fffffff, %r10
#ifndef __ASSUME_FUTEX_REQUEUE
cmpq $-EINVAL, %rax
je 9f
-10:
#endif
- xorl %eax, %eax
+10: xorl %eax, %eax
retq
.align 16
subq $cond_lock-wakeup_seq, %rdi
jmp 8b
-#ifndef __ASSUME_FUTEX_REQUEUE
9: /* The futex requeue functionality is not available. */
movq $0x7fffffff, %rdx
movq $FUTEX_WAKE, %rsi
movq $SYS_futex, %rax
syscall
jmp 10b
-#endif
.size __pthread_cond_broadcast, .-__pthread_cond_broadcast
versioned_symbol (libpthread, __pthread_cond_broadcast, pthread_cond_broadcast,
GLIBC_2_3_2)
+--------------------------+
*/
+ cmpq $-1, dep_mutex(%rdi)
+
/* Prepare structure passed to cancellation handler. */
movq %rdi, 8(%rsp)
movq %rsi, 16(%rsp)
movq %rdx, %r13
+ je 22f
movq %rsi, dep_mutex(%rdi)
/* Get internal lock. */
- movl $1, %esi
+22: movl $1, %esi
xorl %eax, %eax
LOCK
#if cond_lock == 0
+--------------------------+
*/
- /* Prepare structure passed to cancellation handler. */
+ cmpq $-1, dep_mutex(%rdi)
+
+ /* Prepare structure passed to cancellation handler. */
movq %rdi, 8(%rsp)
movq %rsi, 16(%rsp)
+ je 15f
movq %rsi, dep_mutex(%rdi)
/* Get internal lock. */
- movl $1, %esi
+15: movl $1, %esi
xorl %eax, %eax
LOCK
#if cond_lock == 0
git://sourceware.org / glibc.git / commitdiff