pthread_atfork/fork regression test

[libc-test] / src / regression / pthread-robust-detach.c

diff --git a/src/regression/pthread-robust-detach.c b/src/regression/pthread-robust-detach.c
index dbf75a2..ec772da 100644 (file)
--- a/src/regression/pthread-robust-detach.c
+++ b/src/regression/pthread-robust-detach.c
@@ -3,12 +3,15 @@
 #include <pthread.h>
 #include <string.h>
 #include <errno.h>
+#include <time.h>
 #include "test.h"
 
-#define TX(r,f,x) ( ((r)=(f))==x || (t_error(#f" failed: got %d \"%s\" want %d \"%s\"\n", r, strerror(r), x, strerror(x)), 0) )
+#define TX(r,f,x) ( ((r)=(f))==x || \
+ (t_error(#f" failed: (pshared==%d) got %d \"%s\" want %d \"%s\"\n", pshared, r, strerror(r), x, strerror(x)), 0) )
 #define T(r,f) TX(r,f,0)
 
 static pthread_barrier_t barrier2;
+static int pshared;
 
 static void *start_lock(void *arg)
 {
@@ -17,21 +20,41 @@ static void *start_lock(void *arg)
        return 0;
 }
 
-int main(void)
+static void f()
 {
        pthread_t td;
        int r;
        pthread_mutexattr_t mtx_a;
        pthread_mutex_t mtx;
+       struct timespec ts;
 
        T(r, pthread_barrier_init(&barrier2, 0, 2));
        T(r, pthread_mutexattr_init(&mtx_a));
        T(r, pthread_mutexattr_setrobust(&mtx_a, PTHREAD_MUTEX_ROBUST));
-       T(r, pthread_mutexattr_setpshared(&mtx_a, PTHREAD_PROCESS_SHARED));
+       if (pshared)
+               T(r, pthread_mutexattr_setpshared(&mtx_a, PTHREAD_PROCESS_SHARED));
        T(r, pthread_mutex_init(&mtx, &mtx_a));
        T(r, pthread_create(&td, 0, start_lock, &mtx));
        T(r, pthread_detach(td));
        pthread_barrier_wait(&barrier2);
-       TX(r, pthread_mutex_trylock(&mtx), EOWNERDEAD);
+       pthread_barrier_destroy(&barrier2);
+
+       // enough time to ensure that the detached thread is dead
+       clock_gettime(CLOCK_REALTIME, &ts);
+       ts.tv_nsec += 100*1000*1000;
+       if (ts.tv_nsec >= 1000*1000*1000) {
+               ts.tv_sec++;
+               ts.tv_nsec -= 1000*1000*1000;
+       }
+
+       TX(r, pthread_mutex_timedlock(&mtx, &ts), EOWNERDEAD);
+}
+
+int main(void)
+{
+       // test non-pshared and pshared robust mutexes as well
+       f();
+       pshared = 1;
+       f();
        return t_status;
 }