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
76 lines
1.4 KiB
C
76 lines
1.4 KiB
C
#include <errno.h>
|
|
#include <semaphore.h>
|
|
#include <stdio.h>
|
|
#include <unistd.h>
|
|
#include <pthread.h>
|
|
#include <internaltypes.h>
|
|
|
|
|
|
static int
|
|
do_test (void)
|
|
{
|
|
union
|
|
{
|
|
sem_t s;
|
|
struct new_sem ns;
|
|
} u;
|
|
|
|
if (sem_init (&u.s, 0, 0) != 0)
|
|
{
|
|
puts ("sem_init failed");
|
|
return 1;
|
|
}
|
|
|
|
struct timespec ts = { 0, 1000000001 }; /* Invalid. */
|
|
errno = 0;
|
|
if (sem_timedwait (&u.s, &ts) >= 0)
|
|
{
|
|
puts ("sem_timedwait did not fail");
|
|
return 1;
|
|
}
|
|
if (errno != EINVAL)
|
|
{
|
|
perror ("sem_timedwait did not fail with EINVAL");
|
|
return 1;
|
|
}
|
|
#if __HAVE_64B_ATOMICS
|
|
unsigned int nwaiters = (u.ns.data >> SEM_NWAITERS_SHIFT);
|
|
#else
|
|
unsigned int nwaiters = u.ns.nwaiters;
|
|
#endif
|
|
if (nwaiters != 0)
|
|
{
|
|
printf ("sem_timedwait modified nwaiters: %d\n", nwaiters);
|
|
return 1;
|
|
}
|
|
|
|
ts.tv_sec = /* Invalid. */ -2;
|
|
ts.tv_nsec = 0;
|
|
errno = 0;
|
|
if (sem_timedwait (&u.s, &ts) >= 0)
|
|
{
|
|
puts ("2nd sem_timedwait did not fail");
|
|
return 1;
|
|
}
|
|
if (errno != ETIMEDOUT)
|
|
{
|
|
perror ("2nd sem_timedwait did not fail with ETIMEDOUT");
|
|
return 1;
|
|
}
|
|
#if __HAVE_64B_ATOMICS
|
|
nwaiters = (u.ns.data >> SEM_NWAITERS_SHIFT);
|
|
#else
|
|
nwaiters = u.ns.nwaiters;
|
|
#endif
|
|
if (nwaiters != 0)
|
|
{
|
|
printf ("2nd sem_timedwait modified nwaiters: %d\n", nwaiters);
|
|
return 1;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
#define TEST_FUNCTION do_test ()
|
|
#include "../test-skeleton.c"
|