/* Copyright (C) 2003-2016 Free Software Foundation, Inc. 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 License along with the GNU C Library; if not, see <http://www.gnu.org/licenses/>. */ /* This test checks behavior not required by POSIX. */ #include <errno.h> #include <pthread.h> #include <stdbool.h> #include <stdio.h> #include <stdlib.h> 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) { int e; e = pthread_mutex_init (m, ma); if (e != 0) { #ifdef ENABLE_PI if (e == ENOTSUP) { puts ("PI mutexes unsupported"); return 0; } #endif 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; } /* Elided mutexes don't fail destroy. If elision is not explicitly disabled we don't know, so can also not check this. */ #ifndef ENABLE_LOCK_ELISION 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; } #endif 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; } /* Elided mutexes don't fail destroy. */ #ifndef ENABLE_LOCK_ELISION 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 ("\ mutex_destroy of self-trylocked mutex did not return EBUSY %s\n", mas); return 1; } #endif 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; } /* Elided mutexes don't fail destroy. */ #ifndef ENABLE_LOCK_ELISION 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 ("\ mutex_destroy of condvar-used mutex did not return EBUSY for %s\n", mas); return 1; } #endif 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; } /* Elided mutexes don't fail destroy. */ #ifndef ENABLE_LOCK_ELISION 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 ("\ 2nd mutex_destroy of condvar-used mutex did not return EBUSY for %s\n", mas); return 1; } #endif 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; } #ifdef ENABLE_PI if (pthread_mutexattr_setprotocol (&ma, PTHREAD_PRIO_INHERIT)) { puts ("1st pthread_mutexattr_setprotocol failed"); return 1; } #endif 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; } #ifdef ENABLE_PI if (pthread_mutexattr_setprotocol (&ma, PTHREAD_PRIO_INHERIT)) { puts ("2nd pthread_mutexattr_setprotocol failed"); return 1; } #endif 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"