2021-01-03 03:32:25 +08:00
|
|
|
/* Copyright (C) 2003-2021 Free Software Foundation, Inc.
|
2003-06-23 07:55:27 +08:00
|
|
|
This file is part of the GNU C Library.
|
|
|
|
Contributed by Ulrich Drepper <drepper@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
|
2012-02-10 07:18:22 +08:00
|
|
|
License along with the GNU C Library; if not, see
|
Prefer https to http for gnu.org and fsf.org URLs
Also, change sources.redhat.com to sourceware.org.
This patch was automatically generated by running the following shell
script, which uses GNU sed, and which avoids modifying files imported
from upstream:
sed -ri '
s,(http|ftp)(://(.*\.)?(gnu|fsf|sourceware)\.org($|[^.]|\.[^a-z])),https\2,g
s,(http|ftp)(://(.*\.)?)sources\.redhat\.com($|[^.]|\.[^a-z]),https\2sourceware.org\4,g
' \
$(find $(git ls-files) -prune -type f \
! -name '*.po' \
! -name 'ChangeLog*' \
! -path COPYING ! -path COPYING.LIB \
! -path manual/fdl-1.3.texi ! -path manual/lgpl-2.1.texi \
! -path manual/texinfo.tex ! -path scripts/config.guess \
! -path scripts/config.sub ! -path scripts/install-sh \
! -path scripts/mkinstalldirs ! -path scripts/move-if-change \
! -path INSTALL ! -path locale/programs/charmap-kw.h \
! -path po/libc.pot ! -path sysdeps/gnu/errlist.c \
! '(' -name configure \
-execdir test -f configure.ac -o -f configure.in ';' ')' \
! '(' -name preconfigure \
-execdir test -f preconfigure.ac ';' ')' \
-print)
and then by running 'make dist-prepare' to regenerate files built
from the altered files, and then executing the following to cleanup:
chmod a+x sysdeps/unix/sysv/linux/riscv/configure
# Omit irrelevant whitespace and comment-only changes,
# perhaps from a slightly-different Autoconf version.
git checkout -f \
sysdeps/csky/configure \
sysdeps/hppa/configure \
sysdeps/riscv/configure \
sysdeps/unix/sysv/linux/csky/configure
# Omit changes that caused a pre-commit check to fail like this:
# remote: *** error: sysdeps/powerpc/powerpc64/ppc-mcount.S: trailing lines
git checkout -f \
sysdeps/powerpc/powerpc64/ppc-mcount.S \
sysdeps/unix/sysv/linux/s390/s390-64/syscall.S
# Omit change that caused a pre-commit check to fail like this:
# remote: *** error: sysdeps/sparc/sparc64/multiarch/memcpy-ultra3.S: last line does not end in newline
git checkout -f sysdeps/sparc/sparc64/multiarch/memcpy-ultra3.S
2019-09-07 13:40:42 +08:00
|
|
|
<https://www.gnu.org/licenses/>. */
|
2003-06-23 07:55:27 +08:00
|
|
|
|
|
|
|
/* This test checks behavior not required by POSIX. */
|
|
|
|
#include <errno.h>
|
|
|
|
#include <pthread.h>
|
|
|
|
#include <stdbool.h>
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
2018-02-16 16:57:30 +08:00
|
|
|
#include <unistd.h>
|
|
|
|
#include <elf/dl-tunables.h>
|
2003-06-23 07:55:27 +08:00
|
|
|
|
|
|
|
static pthread_mutex_t *m;
|
|
|
|
static pthread_barrier_t b;
|
|
|
|
static pthread_cond_t c;
|
|
|
|
static bool done;
|
|
|
|
|
|
|
|
|
|
|
|
static void
|
|
|
|
cl (void *arg)
|
|
|
|
{
|
|
|
|
if (pthread_mutex_unlock (m) != 0)
|
|
|
|
{
|
|
|
|
puts ("cl: mutex_unlocked failed");
|
|
|
|
exit (1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static void *
|
|
|
|
tf (void *arg)
|
|
|
|
{
|
|
|
|
if (pthread_mutex_lock (m) != 0)
|
|
|
|
{
|
|
|
|
puts ("tf: mutex_lock failed");
|
|
|
|
return (void *) 1l;
|
|
|
|
}
|
|
|
|
|
|
|
|
int e = pthread_barrier_wait (&b);
|
|
|
|
if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD)
|
|
|
|
{
|
|
|
|
puts ("barrier_wait failed");
|
|
|
|
return (void *) 1l;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (arg == NULL)
|
|
|
|
do
|
|
|
|
if (pthread_cond_wait (&c, m) != 0)
|
|
|
|
{
|
|
|
|
puts ("tf: cond_wait failed");
|
|
|
|
return (void *) 1l;
|
|
|
|
}
|
|
|
|
while (! done);
|
|
|
|
else
|
|
|
|
do
|
|
|
|
{
|
|
|
|
pthread_cleanup_push (cl, NULL);
|
|
|
|
|
|
|
|
if (pthread_cond_wait (&c, m) != 0)
|
|
|
|
{
|
|
|
|
puts ("tf: cond_wait failed");
|
|
|
|
return (void *) 1l;
|
|
|
|
}
|
|
|
|
|
|
|
|
pthread_cleanup_pop (0);
|
|
|
|
}
|
|
|
|
while (! done);
|
|
|
|
|
|
|
|
if (pthread_mutex_unlock (m) != 0)
|
|
|
|
{
|
|
|
|
puts ("tf: mutex_unlock failed");
|
|
|
|
return (void *) 1l;
|
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static int
|
|
|
|
check_type (const char *mas, pthread_mutexattr_t *ma)
|
|
|
|
{
|
2013-10-05 07:00:32 +08:00
|
|
|
int e;
|
2013-06-28 20:19:37 +08:00
|
|
|
|
2018-02-16 16:57:30 +08:00
|
|
|
/* Check if a mutex will be elided. Lock elision can only be activated via
|
|
|
|
the tunables framework. By default, lock elision is disabled. */
|
|
|
|
bool assume_elided_mutex = false;
|
|
|
|
#if HAVE_TUNABLES
|
|
|
|
int ma_type = PTHREAD_MUTEX_TIMED_NP;
|
|
|
|
if (ma != NULL)
|
|
|
|
{
|
|
|
|
e = pthread_mutexattr_gettype (ma, &ma_type);
|
|
|
|
if (e != 0)
|
|
|
|
{
|
|
|
|
printf ("pthread_mutexattr_gettype failed with %d (%m)\n", e);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (ma_type == PTHREAD_MUTEX_TIMED_NP)
|
|
|
|
{
|
|
|
|
/* This type of mutex can be elided if elision is enabled via the tunables
|
|
|
|
framework. Some tests below are failing if the mutex is elided.
|
|
|
|
Thus we only run those if we assume that the mutex won't be elided. */
|
|
|
|
if (TUNABLE_GET_FULL (glibc, elision, enable, int32_t, NULL) == 1)
|
|
|
|
assume_elided_mutex = true;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2013-10-05 07:00:32 +08:00
|
|
|
e = pthread_mutex_init (m, ma);
|
|
|
|
if (e != 0)
|
2003-06-23 07:55:27 +08:00
|
|
|
{
|
2013-10-05 07:00:32 +08:00
|
|
|
#ifdef ENABLE_PI
|
|
|
|
if (e == ENOTSUP)
|
|
|
|
{
|
|
|
|
puts ("PI mutexes unsupported");
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
#endif
|
2003-06-23 07:55:27 +08:00
|
|
|
printf ("1st mutex_init failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_destroy (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("immediate mutex_destroy failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_init (m, ma) != 0)
|
|
|
|
{
|
|
|
|
printf ("2nd mutex_init failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_lock (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("1st mutex_lock failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2018-02-16 16:57:30 +08:00
|
|
|
/* Elided mutexes don't fail destroy, thus only test this if we don't assume
|
|
|
|
elision. */
|
|
|
|
if (assume_elided_mutex == false)
|
2003-06-23 07:55:27 +08:00
|
|
|
{
|
2018-02-16 16:57:30 +08:00
|
|
|
e = pthread_mutex_destroy (m);
|
|
|
|
if (e == 0)
|
|
|
|
{
|
|
|
|
printf ("mutex_destroy of self-locked mutex succeeded for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
if (e != EBUSY)
|
|
|
|
{
|
|
|
|
printf ("\
|
|
|
|
mutex_destroy of self-locked mutex did not return EBUSY %s\n",
|
|
|
|
mas);
|
|
|
|
return 1;
|
|
|
|
}
|
2003-06-23 07:55:27 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_unlock (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("1st mutex_unlock failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_trylock (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("mutex_trylock failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2013-06-28 20:19:37 +08:00
|
|
|
/* Elided mutexes don't fail destroy. */
|
2018-02-16 16:57:30 +08:00
|
|
|
if (assume_elided_mutex == false)
|
2003-06-23 07:55:27 +08:00
|
|
|
{
|
2018-02-16 16:57:30 +08:00
|
|
|
e = pthread_mutex_destroy (m);
|
|
|
|
if (e == 0)
|
|
|
|
{
|
|
|
|
printf ("mutex_destroy of self-trylocked mutex succeeded for %s\n",
|
|
|
|
mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
if (e != EBUSY)
|
|
|
|
{
|
|
|
|
printf ("\
|
2003-06-23 07:55:27 +08:00
|
|
|
mutex_destroy of self-trylocked mutex did not return EBUSY %s\n",
|
2018-02-16 16:57:30 +08:00
|
|
|
mas);
|
|
|
|
return 1;
|
|
|
|
}
|
2003-06-23 07:55:27 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_unlock (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("2nd mutex_unlock failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
pthread_t th;
|
|
|
|
if (pthread_create (&th, NULL, tf, NULL) != 0)
|
|
|
|
{
|
|
|
|
puts ("1st create failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
done = false;
|
|
|
|
|
|
|
|
e = pthread_barrier_wait (&b);
|
|
|
|
if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD)
|
|
|
|
{
|
|
|
|
puts ("1st barrier_wait failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_lock (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("2nd mutex_lock failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_unlock (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("3rd mutex_unlock failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2013-06-28 20:19:37 +08:00
|
|
|
/* Elided mutexes don't fail destroy. */
|
2018-02-16 16:57:30 +08:00
|
|
|
if (assume_elided_mutex == false)
|
2003-06-23 07:55:27 +08:00
|
|
|
{
|
2018-02-16 16:57:30 +08:00
|
|
|
e = pthread_mutex_destroy (m);
|
|
|
|
if (e == 0)
|
|
|
|
{
|
|
|
|
printf ("mutex_destroy of condvar-used mutex succeeded for %s\n",
|
|
|
|
mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
if (e != EBUSY)
|
|
|
|
{
|
|
|
|
printf ("\
|
2003-06-23 07:55:27 +08:00
|
|
|
mutex_destroy of condvar-used mutex did not return EBUSY for %s\n", mas);
|
2018-02-16 16:57:30 +08:00
|
|
|
return 1;
|
|
|
|
}
|
2003-06-23 07:55:27 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
done = true;
|
|
|
|
if (pthread_cond_signal (&c) != 0)
|
|
|
|
{
|
|
|
|
puts ("cond_signal failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
void *r;
|
|
|
|
if (pthread_join (th, &r) != 0)
|
|
|
|
{
|
|
|
|
puts ("join failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
if (r != NULL)
|
|
|
|
{
|
|
|
|
puts ("thread didn't return NULL");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_destroy (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("mutex_destroy after condvar-use failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_init (m, ma) != 0)
|
|
|
|
{
|
|
|
|
printf ("3rd mutex_init failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_create (&th, NULL, tf, (void *) 1) != 0)
|
|
|
|
{
|
|
|
|
puts ("2nd create failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
done = false;
|
|
|
|
|
|
|
|
e = pthread_barrier_wait (&b);
|
|
|
|
if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD)
|
|
|
|
{
|
|
|
|
puts ("2nd barrier_wait failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_lock (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("3rd mutex_lock failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_unlock (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("4th mutex_unlock failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2013-06-28 20:19:37 +08:00
|
|
|
/* Elided mutexes don't fail destroy. */
|
2018-02-16 16:57:30 +08:00
|
|
|
if (assume_elided_mutex == false)
|
2003-06-23 07:55:27 +08:00
|
|
|
{
|
2018-02-16 16:57:30 +08:00
|
|
|
e = pthread_mutex_destroy (m);
|
|
|
|
if (e == 0)
|
|
|
|
{
|
|
|
|
printf ("2nd mutex_destroy of condvar-used mutex succeeded for %s\n",
|
|
|
|
mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
if (e != EBUSY)
|
|
|
|
{
|
|
|
|
printf ("\
|
2003-06-23 07:55:27 +08:00
|
|
|
2nd mutex_destroy of condvar-used mutex did not return EBUSY for %s\n",
|
2018-02-16 16:57:30 +08:00
|
|
|
mas);
|
|
|
|
return 1;
|
|
|
|
}
|
2003-06-23 07:55:27 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_cancel (th) != 0)
|
|
|
|
{
|
|
|
|
puts ("cond_cancel failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_join (th, &r) != 0)
|
|
|
|
{
|
|
|
|
puts ("join failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
if (r != PTHREAD_CANCELED)
|
|
|
|
{
|
|
|
|
puts ("thread not canceled");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutex_destroy (m) != 0)
|
|
|
|
{
|
|
|
|
printf ("mutex_destroy after condvar-canceled failed for %s\n", mas);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static int
|
|
|
|
do_test (void)
|
|
|
|
{
|
|
|
|
pthread_mutex_t mm;
|
|
|
|
m = &mm;
|
|
|
|
|
|
|
|
if (pthread_barrier_init (&b, NULL, 2) != 0)
|
|
|
|
{
|
|
|
|
puts ("barrier_init failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_cond_init (&c, NULL) != 0)
|
|
|
|
{
|
|
|
|
puts ("cond_init failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
puts ("check normal mutex");
|
|
|
|
int res = check_type ("normal", NULL);
|
|
|
|
|
|
|
|
pthread_mutexattr_t ma;
|
|
|
|
if (pthread_mutexattr_init (&ma) != 0)
|
|
|
|
{
|
|
|
|
puts ("1st mutexattr_init failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
if (pthread_mutexattr_settype (&ma, PTHREAD_MUTEX_RECURSIVE) != 0)
|
|
|
|
{
|
|
|
|
puts ("1st mutexattr_settype failed");
|
|
|
|
return 1;
|
|
|
|
}
|
2013-05-09 22:12:26 +08:00
|
|
|
#ifdef ENABLE_PI
|
|
|
|
if (pthread_mutexattr_setprotocol (&ma, PTHREAD_PRIO_INHERIT))
|
|
|
|
{
|
|
|
|
puts ("1st pthread_mutexattr_setprotocol failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
#endif
|
2003-06-23 07:55:27 +08:00
|
|
|
puts ("check recursive mutex");
|
|
|
|
res |= check_type ("recursive", &ma);
|
|
|
|
if (pthread_mutexattr_destroy (&ma) != 0)
|
|
|
|
{
|
|
|
|
puts ("1st mutexattr_destroy failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (pthread_mutexattr_init (&ma) != 0)
|
|
|
|
{
|
|
|
|
puts ("2nd mutexattr_init failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
if (pthread_mutexattr_settype (&ma, PTHREAD_MUTEX_ERRORCHECK) != 0)
|
|
|
|
{
|
|
|
|
puts ("2nd mutexattr_settype failed");
|
|
|
|
return 1;
|
|
|
|
}
|
2013-05-09 22:12:26 +08:00
|
|
|
#ifdef ENABLE_PI
|
|
|
|
if (pthread_mutexattr_setprotocol (&ma, PTHREAD_PRIO_INHERIT))
|
|
|
|
{
|
|
|
|
puts ("2nd pthread_mutexattr_setprotocol failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
#endif
|
2003-06-23 07:55:27 +08:00
|
|
|
puts ("check error-checking mutex");
|
|
|
|
res |= check_type ("error-checking", &ma);
|
|
|
|
if (pthread_mutexattr_destroy (&ma) != 0)
|
|
|
|
{
|
|
|
|
puts ("2nd mutexattr_destroy failed");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
|
|
|
#define TEST_FUNCTION do_test ()
|
|
|
|
#include "../test-skeleton.c"
|