mirror of
git://sourceware.org/git/glibc.git
synced 2024-12-09 04:11:27 +08:00
042e1521c7
This commit fixes semaphore destruction by either using 64b atomic operations (where available), or by using two separate fields when only 32b atomic operations are available. In the latter case, we keep a conservative estimate of whether there are any waiting threads in one bit of the field that counts the number of available tokens, thus allowing sem_post to atomically both add a token and determine whether it needs to call futex_wake. See: https://sourceware.org/ml/libc-alpha/2014-12/msg00155.html
86 lines
1.3 KiB
C
86 lines
1.3 KiB
C
#include <semaphore.h>
|
|
#include <stdio.h>
|
|
#include <unistd.h>
|
|
#include <pthread.h>
|
|
#include <internaltypes.h>
|
|
|
|
#ifndef SEM_WAIT
|
|
# define SEM_WAIT(s) sem_wait (s)
|
|
#endif
|
|
|
|
static void *
|
|
tf (void *arg)
|
|
{
|
|
#ifdef PREPARE
|
|
PREPARE
|
|
#endif
|
|
SEM_WAIT (arg);
|
|
return NULL;
|
|
}
|
|
|
|
int
|
|
main (void)
|
|
{
|
|
int tries = 5;
|
|
pthread_t th;
|
|
union
|
|
{
|
|
sem_t s;
|
|
struct new_sem ns;
|
|
} u;
|
|
again:
|
|
if (sem_init (&u.s, 0, 0) != 0)
|
|
{
|
|
puts ("sem_init failed");
|
|
return 1;
|
|
}
|
|
#if __HAVE_64B_ATOMICS
|
|
if ((u.ns.data >> SEM_NWAITERS_SHIFT) != 0)
|
|
#else
|
|
if (u.ns.nwaiters != 0)
|
|
#endif
|
|
{
|
|
puts ("nwaiters not initialized");
|
|
return 1;
|
|
}
|
|
|
|
if (pthread_create (&th, NULL, tf, &u.s) != 0)
|
|
{
|
|
puts ("pthread_create failed");
|
|
return 1;
|
|
}
|
|
|
|
sleep (1);
|
|
|
|
if (pthread_cancel (th) != 0)
|
|
{
|
|
puts ("pthread_cancel failed");
|
|
return 1;
|
|
}
|
|
|
|
void *r;
|
|
if (pthread_join (th, &r) != 0)
|
|
{
|
|
puts ("pthread_join failed");
|
|
return 1;
|
|
}
|
|
if (r != PTHREAD_CANCELED && --tries > 0)
|
|
{
|
|
/* Maybe we get the scheduling right the next time. */
|
|
sem_destroy (&u.s);
|
|
goto again;
|
|
}
|
|
|
|
#if __HAVE_64B_ATOMICS
|
|
if ((u.ns.data >> SEM_NWAITERS_SHIFT) != 0)
|
|
#else
|
|
if (u.ns.nwaiters != 0)
|
|
#endif
|
|
{
|
|
puts ("nwaiters not reset");
|
|
return 1;
|
|
}
|
|
|
|
return 0;
|
|
}
|