blob: 4ed1c9bb0e08182c4dd2987194ec7f85712ead87 [file] [log] [blame]
/* Helper program for testing the pthread_mutex_t pretty printer.
Copyright (C) 2016-2018 Free Software Foundation, Inc.
This file is part of the GNU C Library.
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/>. */
/* Keep the calls to the pthread_* functions on separate lines to make it easy
to advance through the program using the gdb 'next' command. */
#include <stdlib.h>
#include <errno.h>
#include <pthread.h>
#define PASS 0
#define FAIL 1
static int test_status_destroyed (pthread_mutex_t *mutex);
static int test_status_no_robust (pthread_mutex_t *mutex,
pthread_mutexattr_t *attr);
static int test_status_robust (pthread_mutex_t *mutex,
pthread_mutexattr_t *attr);
static int test_locking_state_robust (pthread_mutex_t *mutex);
static void *thread_func (void *arg);
static int test_recursive_locks (pthread_mutex_t *mutex,
pthread_mutexattr_t *attr);
int
main (void)
{
pthread_mutex_t mutex;
pthread_mutexattr_t attr;
int result = FAIL;
if (pthread_mutexattr_init (&attr) == 0
&& test_status_destroyed (&mutex) == PASS
&& test_status_no_robust (&mutex, &attr) == PASS
&& test_status_robust (&mutex, &attr) == PASS
&& test_recursive_locks (&mutex, &attr) == PASS)
result = PASS;
/* Else, one of the pthread_mutex* functions failed. */
return result;
}
/* Initializes MUTEX, then destroys it. */
static int
test_status_destroyed (pthread_mutex_t *mutex)
{
int result = FAIL;
if (pthread_mutex_init (mutex, NULL) == 0
&& pthread_mutex_destroy (mutex) == 0)
result = PASS; /* Test status (destroyed). */
return result;
}
/* Tests locking of non-robust mutexes. */
static int
test_status_no_robust (pthread_mutex_t *mutex, pthread_mutexattr_t *attr)
{
int result = FAIL;
if (pthread_mutexattr_setrobust (attr, PTHREAD_MUTEX_STALLED) == 0
&& pthread_mutex_init (mutex, attr) == 0
&& pthread_mutex_lock (mutex) == 0 /* Test status (non-robust). */
&& pthread_mutex_unlock (mutex) == 0
&& pthread_mutex_destroy (mutex) == 0)
result = PASS;
return result;
}
/* Tests locking of robust mutexes. */
static int
test_status_robust (pthread_mutex_t *mutex, pthread_mutexattr_t *attr)
{
int result = FAIL;
if (pthread_mutexattr_setrobust (attr, PTHREAD_MUTEX_ROBUST) == 0
&& pthread_mutex_init (mutex, attr) == 0
&& test_locking_state_robust (mutex) == PASS /* Test status (robust). */
&& pthread_mutex_destroy (mutex) == 0)
result = PASS;
return result;
}
/* Tests locking and state corruption of robust mutexes. We'll mark it as
inconsistent, then not recoverable. */
static int
test_locking_state_robust (pthread_mutex_t *mutex)
{
int result = FAIL;
pthread_t thread;
if (pthread_create (&thread, NULL, thread_func, mutex) == 0 /* Create. */
&& pthread_join (thread, NULL) == 0
&& pthread_mutex_lock (mutex) == EOWNERDEAD /* Test locking (robust). */
&& pthread_mutex_unlock (mutex) == 0)
result = PASS;
return result;
}
/* Function to be called by the child thread when testing robust mutexes. */
static void *
thread_func (void *arg)
{
pthread_mutex_t *mutex = (pthread_mutex_t *)arg;
if (pthread_mutex_lock (mutex) != 0) /* Thread function. */
exit (FAIL);
/* Thread terminates without unlocking the mutex, thus marking it as
inconsistent. */
return NULL;
}
/* Tests locking the mutex multiple times in a row. */
static int
test_recursive_locks (pthread_mutex_t *mutex, pthread_mutexattr_t *attr)
{
int result = FAIL;
if (pthread_mutexattr_settype (attr, PTHREAD_MUTEX_RECURSIVE) == 0
&& pthread_mutex_init (mutex, attr) == 0
&& pthread_mutex_lock (mutex) == 0
&& pthread_mutex_lock (mutex) == 0
&& pthread_mutex_lock (mutex) == 0 /* Test recursive locks. */
&& pthread_mutex_unlock (mutex) == 0
&& pthread_mutex_unlock (mutex) == 0
&& pthread_mutex_unlock (mutex) == 0
&& pthread_mutex_destroy (mutex) == 0)
result = PASS;
return result;
}