mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-23 03:10:05 +00:00
[BZ #2843]
2006-08-12 Ulrich Drepper <drepper@redhat.com> [BZ #2843] * pthread_join.c (pthread_join): Account for self being canceled when checking for deadlocks. * tst-join5.c: Cleanups. Allow to be used in tst-join6. (tf1): Don't print anything after pthread_join returns, this would be another cancellation point. (tf2): Likewise. * tst-join6.c: New file. * Makefile (tests): Add tst-join6.
This commit is contained in:
parent
4c3f81d07a
commit
22bb134c31
@ -1,3 +1,15 @@
|
|||||||
|
2006-08-12 Ulrich Drepper <drepper@redhat.com>
|
||||||
|
|
||||||
|
[BZ #2843]
|
||||||
|
* pthread_join.c (pthread_join): Account for self being canceled
|
||||||
|
when checking for deadlocks.
|
||||||
|
* tst-join5.c: Cleanups. Allow to be used in tst-join6.
|
||||||
|
(tf1): Don't print anything after pthread_join returns, this would be
|
||||||
|
another cancellation point.
|
||||||
|
(tf2): Likewise.
|
||||||
|
* tst-join6.c: New file.
|
||||||
|
* Makefile (tests): Add tst-join6.
|
||||||
|
|
||||||
2006-08-03 Ulrich Drepper <drepper@redhat.com>
|
2006-08-03 Ulrich Drepper <drepper@redhat.com>
|
||||||
|
|
||||||
[BZ #2892]
|
[BZ #2892]
|
||||||
|
@ -224,7 +224,7 @@ tests = tst-typesizes \
|
|||||||
tst-basic1 tst-basic2 tst-basic3 tst-basic4 tst-basic5 tst-basic6 \
|
tst-basic1 tst-basic2 tst-basic3 tst-basic4 tst-basic5 tst-basic6 \
|
||||||
tst-kill1 tst-kill2 tst-kill3 tst-kill4 tst-kill5 tst-kill6 \
|
tst-kill1 tst-kill2 tst-kill3 tst-kill4 tst-kill5 tst-kill6 \
|
||||||
tst-raise1 \
|
tst-raise1 \
|
||||||
tst-join1 tst-join2 tst-join3 tst-join4 tst-join5 \
|
tst-join1 tst-join2 tst-join3 tst-join4 tst-join5 tst-join6 \
|
||||||
tst-detach1 \
|
tst-detach1 \
|
||||||
tst-eintr1 tst-eintr2 tst-eintr3 tst-eintr4 tst-eintr5 \
|
tst-eintr1 tst-eintr2 tst-eintr3 tst-eintr4 tst-eintr5 \
|
||||||
tst-tsd1 tst-tsd2 tst-tsd3 tst-tsd4 tst-tsd5 \
|
tst-tsd1 tst-tsd2 tst-tsd3 tst-tsd4 tst-tsd5 \
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
/* Copyright (C) 2002, 2003, 2005 Free Software Foundation, Inc.
|
/* Copyright (C) 2002, 2003, 2005, 2006 Free Software Foundation, Inc.
|
||||||
This file is part of the GNU C Library.
|
This file is part of the GNU C Library.
|
||||||
Contributed by Ulrich Drepper <drepper@redhat.com>, 2002.
|
Contributed by Ulrich Drepper <drepper@redhat.com>, 2002.
|
||||||
|
|
||||||
@ -27,7 +27,11 @@
|
|||||||
static void
|
static void
|
||||||
cleanup (void *arg)
|
cleanup (void *arg)
|
||||||
{
|
{
|
||||||
*(void **) arg = NULL;
|
/* If we already changed the waiter ID, reset it. The call cannot
|
||||||
|
fail for any reason but the thread not having done that yet so
|
||||||
|
there is no reason for a loop. */
|
||||||
|
atomic_compare_and_exchange_bool_acq ((struct pthread **) arg, NULL,
|
||||||
|
THREAD_SELF);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
@ -36,7 +40,6 @@ pthread_join (threadid, thread_return)
|
|||||||
pthread_t threadid;
|
pthread_t threadid;
|
||||||
void **thread_return;
|
void **thread_return;
|
||||||
{
|
{
|
||||||
struct pthread *self;
|
|
||||||
struct pthread *pd = (struct pthread *) threadid;
|
struct pthread *pd = (struct pthread *) threadid;
|
||||||
|
|
||||||
/* Make sure the descriptor is valid. */
|
/* Make sure the descriptor is valid. */
|
||||||
@ -49,12 +52,23 @@ pthread_join (threadid, thread_return)
|
|||||||
/* We cannot wait for the thread. */
|
/* We cannot wait for the thread. */
|
||||||
return EINVAL;
|
return EINVAL;
|
||||||
|
|
||||||
self = THREAD_SELF;
|
struct pthread *self = THREAD_SELF;
|
||||||
if (pd == self
|
int result = 0;
|
||||||
|
|
||||||
|
/* During the wait we change to asynchronous cancellation. If we
|
||||||
|
are canceled the thread we are waiting for must be marked as
|
||||||
|
un-wait-ed for again. */
|
||||||
|
pthread_cleanup_push (cleanup, &pd->joinid);
|
||||||
|
|
||||||
|
/* Switch to asynchronous cancellation. */
|
||||||
|
int oldtype = CANCEL_ASYNC ();
|
||||||
|
|
||||||
|
if ((pd == self
|
||||||
|| (self->joinid == pd
|
|| (self->joinid == pd
|
||||||
&& (pd->cancelhandling
|
&& (pd->cancelhandling
|
||||||
& (CANCELING_BITMASK | CANCELED_BITMASK | EXITING_BITMASK
|
& (CANCELING_BITMASK | CANCELED_BITMASK | EXITING_BITMASK
|
||||||
| TERMINATED_BITMASK)) == 0))
|
| TERMINATED_BITMASK)) == 0))
|
||||||
|
&& !CANCEL_ENABLED_AND_CANCELED (self->cancelhandling))
|
||||||
/* This is a deadlock situation. The threads are waiting for each
|
/* This is a deadlock situation. The threads are waiting for each
|
||||||
other to finish. Note that this is a "may" error. To be 100%
|
other to finish. Note that this is a "may" error. To be 100%
|
||||||
sure we catch this error we would have to lock the data
|
sure we catch this error we would have to lock the data
|
||||||
@ -62,26 +76,15 @@ pthread_join (threadid, thread_return)
|
|||||||
two threads are really caught in this situation they will
|
two threads are really caught in this situation they will
|
||||||
deadlock. It is the programmer's problem to figure this
|
deadlock. It is the programmer's problem to figure this
|
||||||
out. */
|
out. */
|
||||||
return EDEADLK;
|
result = EDEADLK;
|
||||||
|
|
||||||
/* Wait for the thread to finish. If it is already locked something
|
/* Wait for the thread to finish. If it is already locked something
|
||||||
is wrong. There can only be one waiter. */
|
is wrong. There can only be one waiter. */
|
||||||
if (__builtin_expect (atomic_compare_and_exchange_bool_acq (&pd->joinid,
|
else if (__builtin_expect (atomic_compare_and_exchange_bool_acq (&pd->joinid,
|
||||||
self,
|
self,
|
||||||
NULL), 0))
|
NULL), 0))
|
||||||
/* There is already somebody waiting for the thread. */
|
/* There is already somebody waiting for the thread. */
|
||||||
return EINVAL;
|
result = EINVAL;
|
||||||
|
else
|
||||||
|
|
||||||
/* During the wait we change to asynchronous cancellation. If we
|
|
||||||
are cancelled the thread we are waiting for must be marked as
|
|
||||||
un-wait-ed for again. */
|
|
||||||
pthread_cleanup_push (cleanup, &pd->joinid);
|
|
||||||
|
|
||||||
/* Switch to asynchronous cancellation. */
|
|
||||||
int oldtype = CANCEL_ASYNC ();
|
|
||||||
|
|
||||||
|
|
||||||
/* Wait for the child. */
|
/* Wait for the child. */
|
||||||
lll_wait_tid (pd->tid);
|
lll_wait_tid (pd->tid);
|
||||||
|
|
||||||
@ -93,6 +96,8 @@ pthread_join (threadid, thread_return)
|
|||||||
pthread_cleanup_pop (0);
|
pthread_cleanup_pop (0);
|
||||||
|
|
||||||
|
|
||||||
|
if (__builtin_expect (result == 0, 1))
|
||||||
|
{
|
||||||
/* We mark the thread as terminated and as joined. */
|
/* We mark the thread as terminated and as joined. */
|
||||||
pd->tid = -1;
|
pd->tid = -1;
|
||||||
|
|
||||||
@ -103,6 +108,7 @@ pthread_join (threadid, thread_return)
|
|||||||
|
|
||||||
/* Free the TCB. */
|
/* Free the TCB. */
|
||||||
__free_tcb (pd);
|
__free_tcb (pd);
|
||||||
|
}
|
||||||
return 0;
|
|
||||||
|
return result;
|
||||||
}
|
}
|
||||||
|
115
nptl/tst-join5.c
115
nptl/tst-join5.c
@ -1,4 +1,4 @@
|
|||||||
/* Copyright (C) 2003 Free Software Foundation, Inc.
|
/* Copyright (C) 2003, 2006 Free Software Foundation, Inc.
|
||||||
This file is part of the GNU C Library.
|
This file is part of the GNU C Library.
|
||||||
Contributed by Ulrich Drepper <drepper@redhat.com>, 2003.
|
Contributed by Ulrich Drepper <drepper@redhat.com>, 2003.
|
||||||
|
|
||||||
@ -21,120 +21,187 @@
|
|||||||
#include <pthread.h>
|
#include <pthread.h>
|
||||||
#include <stdio.h>
|
#include <stdio.h>
|
||||||
#include <stdlib.h>
|
#include <stdlib.h>
|
||||||
|
#include <time.h>
|
||||||
|
#include <unistd.h>
|
||||||
|
#include <sys/syscall.h>
|
||||||
|
|
||||||
|
|
||||||
|
#define wait_code() \
|
||||||
|
do { \
|
||||||
|
struct timespec ts = { .tv_sec = 0, .tv_nsec = 200000000 }; \
|
||||||
|
while (syscall (__NR_nanosleep, &ts, &ts) < 0) \
|
||||||
|
/* nothing */; \
|
||||||
|
} while (0)
|
||||||
|
|
||||||
|
|
||||||
|
#ifdef WAIT_IN_CHILD
|
||||||
|
static pthread_barrier_t b;
|
||||||
|
#endif
|
||||||
|
|
||||||
|
|
||||||
static void *
|
static void *
|
||||||
tf1 (void *arg)
|
tf1 (void *arg)
|
||||||
{
|
{
|
||||||
|
#ifdef WAIT_IN_CHILD
|
||||||
|
int e = pthread_barrier_wait (&b);
|
||||||
|
if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD)
|
||||||
|
{
|
||||||
|
printf ("%s: barrier_wait failed\n", __func__);
|
||||||
|
exit (1);
|
||||||
|
}
|
||||||
|
|
||||||
|
wait_code ();
|
||||||
|
#endif
|
||||||
|
|
||||||
pthread_join ((pthread_t) arg, NULL);
|
pthread_join ((pthread_t) arg, NULL);
|
||||||
|
|
||||||
puts ("1st join returned");
|
exit (42);
|
||||||
|
|
||||||
return (void *) 1l;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
static void *
|
static void *
|
||||||
tf2 (void *arg)
|
tf2 (void *arg)
|
||||||
{
|
{
|
||||||
|
#ifdef WAIT_IN_CHILD
|
||||||
|
int e = pthread_barrier_wait (&b);
|
||||||
|
if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD)
|
||||||
|
{
|
||||||
|
printf ("%s: barrier_wait failed\n", __func__);
|
||||||
|
exit (1);
|
||||||
|
}
|
||||||
|
|
||||||
|
wait_code ();
|
||||||
|
#endif
|
||||||
pthread_join ((pthread_t) arg, NULL);
|
pthread_join ((pthread_t) arg, NULL);
|
||||||
|
|
||||||
puts ("2nd join returned");
|
exit (43);
|
||||||
|
|
||||||
return (void *) 1l;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
static int
|
static int
|
||||||
do_test (void)
|
do_test (void)
|
||||||
{
|
{
|
||||||
|
#ifdef WAIT_IN_CHILD
|
||||||
|
if (pthread_barrier_init (&b, NULL, 2) != 0)
|
||||||
|
{
|
||||||
|
puts ("barrier_init failed");
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
pthread_t th;
|
pthread_t th;
|
||||||
|
|
||||||
int err = pthread_join (pthread_self (), NULL);
|
int err = pthread_join (pthread_self (), NULL);
|
||||||
if (err == 0)
|
if (err == 0)
|
||||||
{
|
{
|
||||||
puts ("1st circular join succeeded");
|
puts ("1st circular join succeeded");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
if (err != EDEADLK)
|
if (err != EDEADLK)
|
||||||
{
|
{
|
||||||
printf ("1st circular join %d, not EDEADLK\n", err);
|
printf ("1st circular join %d, not EDEADLK\n", err);
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
if (pthread_create (&th, NULL, tf1, (void *) pthread_self ()) != 0)
|
if (pthread_create (&th, NULL, tf1, (void *) pthread_self ()) != 0)
|
||||||
{
|
{
|
||||||
puts ("1st create failed");
|
puts ("1st create failed");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#ifndef WAIT_IN_CHILD
|
||||||
|
wait_code ();
|
||||||
|
#endif
|
||||||
|
|
||||||
if (pthread_cancel (th) != 0)
|
if (pthread_cancel (th) != 0)
|
||||||
{
|
{
|
||||||
puts ("cannot cancel 1st thread");
|
puts ("cannot cancel 1st thread");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#ifdef WAIT_IN_CHILD
|
||||||
|
int e = pthread_barrier_wait (&b);
|
||||||
|
if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD)
|
||||||
|
{
|
||||||
|
printf ("%s: barrier_wait failed\n", __func__);
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
void *r;
|
void *r;
|
||||||
err = pthread_join (th, &r);
|
err = pthread_join (th, &r);
|
||||||
if (err != 0)
|
if (err != 0)
|
||||||
{
|
{
|
||||||
printf ("cannot join 1st thread: %d\n", err);
|
printf ("cannot join 1st thread: %d\n", err);
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
if (r != PTHREAD_CANCELED)
|
if (r != PTHREAD_CANCELED)
|
||||||
{
|
{
|
||||||
puts ("1st thread not canceled");
|
puts ("1st thread not canceled");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
err = pthread_join (pthread_self (), NULL);
|
err = pthread_join (pthread_self (), NULL);
|
||||||
if (err == 0)
|
if (err == 0)
|
||||||
{
|
{
|
||||||
puts ("2nd circular join succeeded");
|
puts ("2nd circular join succeeded");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
if (err != EDEADLK)
|
if (err != EDEADLK)
|
||||||
{
|
{
|
||||||
printf ("2nd circular join %d, not EDEADLK\n", err);
|
printf ("2nd circular join %d, not EDEADLK\n", err);
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
if (pthread_create (&th, NULL, tf2, (void *) pthread_self ()) != 0)
|
if (pthread_create (&th, NULL, tf2, (void *) pthread_self ()) != 0)
|
||||||
{
|
{
|
||||||
puts ("2nd create failed");
|
puts ("2nd create failed");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#ifndef WAIT_IN_CHILD
|
||||||
|
wait_code ();
|
||||||
|
#endif
|
||||||
|
|
||||||
if (pthread_cancel (th) != 0)
|
if (pthread_cancel (th) != 0)
|
||||||
{
|
{
|
||||||
puts ("cannot cancel 2nd thread");
|
puts ("cannot cancel 2nd thread");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#ifdef WAIT_IN_CHILD
|
||||||
|
e = pthread_barrier_wait (&b);
|
||||||
|
if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD)
|
||||||
|
{
|
||||||
|
printf ("%s: barrier_wait failed\n", __func__);
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
if (pthread_join (th, &r) != 0)
|
if (pthread_join (th, &r) != 0)
|
||||||
{
|
{
|
||||||
puts ("cannot join 2nd thread");
|
puts ("cannot join 2nd thread");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
if (r != PTHREAD_CANCELED)
|
if (r != PTHREAD_CANCELED)
|
||||||
{
|
{
|
||||||
puts ("2nd thread not canceled");
|
puts ("2nd thread not canceled");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
err = pthread_join (pthread_self (), NULL);
|
err = pthread_join (pthread_self (), NULL);
|
||||||
if (err == 0)
|
if (err == 0)
|
||||||
{
|
{
|
||||||
puts ("2nd circular join succeeded");
|
puts ("3rd circular join succeeded");
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
if (err != EDEADLK)
|
if (err != EDEADLK)
|
||||||
{
|
{
|
||||||
printf ("2nd circular join %d, not EDEADLK\n", err);
|
printf ("3rd circular join %d, not EDEADLK\n", err);
|
||||||
exit (1);
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
exit (0);
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
#define TEST_FUNCTION do_test ()
|
#define TEST_FUNCTION do_test ()
|
||||||
|
2
nptl/tst-join6.c
Normal file
2
nptl/tst-join6.c
Normal file
@ -0,0 +1,2 @@
|
|||||||
|
#define WAIT_IN_CHILD 1
|
||||||
|
#include "tst-join5.c"
|
Loading…
Reference in New Issue
Block a user