diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2015-01-07 19:55:37 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2015-01-07 19:55:37 +0000 |
commit | ca9211ecdede9bdedb812b2243a4abdb8dacd1b9 (patch) | |
tree | 9b19e801150082c33e9152275829a6ce90614b55 /test/tsan/signal_recursive.cc | |
parent | 8ef50bf3d1c287b5013c3168de77a462dfce3495 (diff) |
Notes
Diffstat (limited to 'test/tsan/signal_recursive.cc')
-rw-r--r-- | test/tsan/signal_recursive.cc | 132 |
1 files changed, 132 insertions, 0 deletions
diff --git a/test/tsan/signal_recursive.cc b/test/tsan/signal_recursive.cc new file mode 100644 index 0000000000000..bbb6807586a53 --- /dev/null +++ b/test/tsan/signal_recursive.cc @@ -0,0 +1,132 @@ +// RUN: %clang_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s + +// Test case for recursive signal handlers, adopted from: +// https://code.google.com/p/thread-sanitizer/issues/detail?id=71 + +#include <pthread.h> +#include <semaphore.h> +#include <signal.h> +#include <unistd.h> +#include <errno.h> +#include <stdlib.h> +#include <stdio.h> + +#include "process_sleep.h" + +static const int kSigSuspend = SIGUSR1; +static const int kSigRestart = SIGUSR2; +static sigset_t g_suspend_handler_mask; + +static sem_t g_thread_suspend_ack_sem; + +static bool g_busy_thread_received_restart; + +static volatile bool g_busy_thread_garbage_collected; + +static void SaveRegistersInStack() { + // Mono walks thread stacks to detect unreferenced objects. + // If last object reference is kept in register the object will be collected + // This is why threads can't be suspended with something like pthread_suspend +}; + +static void fail(const char *what) { + fprintf(stderr, "FAILED: %s (errno=%d)\n", what, errno); + exit(1); +} + +static void SuspendHandler(int sig) { + int old_errno = errno; + SaveRegistersInStack(); + // Acknowledge that thread is saved and suspended + if (sem_post(&g_thread_suspend_ack_sem) != 0) + fail("sem_post failed"); + + do { + g_busy_thread_received_restart = false; + if (sigsuspend(&g_suspend_handler_mask) != -1 || errno != EINTR) + fail("sigsuspend failed"); + } while (!g_busy_thread_received_restart); + + // Acknowledge that thread restarted + if (sem_post(&g_thread_suspend_ack_sem) != 0) + fail("sem_post failed"); + + g_busy_thread_garbage_collected = true; + + errno = old_errno; +} + +static void RestartHandler(int sig) { + g_busy_thread_received_restart = true; +} + +static void StopWorld(pthread_t thread) { + if (pthread_kill(thread, kSigSuspend) != 0) + fail("pthread_kill failed"); + + while (sem_wait(&g_thread_suspend_ack_sem) != 0) { + if (errno != EINTR) + fail("sem_wait failed"); + } +} + +static void StartWorld(pthread_t thread) { + if (pthread_kill(thread, kSigRestart) != 0) + fail("pthread_kill failed"); + + while (sem_wait(&g_thread_suspend_ack_sem) != 0) { + if (errno != EINTR) + fail("sem_wait failed"); + } +} + +static void CollectGarbage(pthread_t thread) { + StopWorld(thread); + // Walk stacks + process_sleep(1); + StartWorld(thread); +} + +static void Init() { + if (sigfillset(&g_suspend_handler_mask) != 0) + fail("sigfillset failed"); + if (sigdelset(&g_suspend_handler_mask, kSigRestart) != 0) + fail("sigdelset failed"); + if (sem_init(&g_thread_suspend_ack_sem, 0, 0) != 0) + fail("sem_init failed"); + + struct sigaction act = {}; + act.sa_flags = SA_RESTART; + sigfillset(&act.sa_mask); + act.sa_handler = &SuspendHandler; + if (sigaction(kSigSuspend, &act, NULL) != 0) + fail("sigaction failed"); + act.sa_handler = &RestartHandler; + if (sigaction(kSigRestart, &act, NULL) != 0) + fail("sigaction failed"); +} + +void* BusyThread(void *arg) { + (void)arg; + while (!g_busy_thread_garbage_collected) { + usleep(100); // Tsan deadlocks without these sleeps + } + return NULL; +} + +int main(int argc, const char *argv[]) { + Init(); + pthread_t busy_thread; + if (pthread_create(&busy_thread, NULL, &BusyThread, NULL) != 0) + fail("pthread_create failed"); + CollectGarbage(busy_thread); + if (pthread_join(busy_thread, 0) != 0) + fail("pthread_join failed"); + fprintf(stderr, "DONE\n"); + return 0; +} + +// CHECK-NOT: FAILED +// CHECK-NOT: ThreadSanitizer CHECK failed +// CHECK-NOT: WARNING: ThreadSanitizer: +// CHECK: DONE |