1f01377d8SNazım Can Altınova // RUN: %clang_tsan %s -lstdc++ -o %t && %run %t 2>&1 | FileCheck %s
2f01377d8SNazım Can Altınova
3f01377d8SNazım Can Altınova #include "test.h"
4f01377d8SNazım Can Altınova #include <pthread.h>
5f01377d8SNazım Can Altınova #include <signal.h>
6f01377d8SNazım Can Altınova #include <stdio.h>
7f01377d8SNazım Can Altınova
8*1a5bc7c8SJulian Lettner #include <atomic>
9f01377d8SNazım Can Altınova #include <cassert>
10f01377d8SNazım Can Altınova #include <condition_variable>
11f01377d8SNazım Can Altınova #include <mutex>
12f01377d8SNazım Can Altınova
13f01377d8SNazım Can Altınova std::mutex sampler_mutex; //dummy mutex to lock in the thread we spawn.
14f01377d8SNazım Can Altınova std::mutex done_mutex; // guards the cv and done variables.
15f01377d8SNazım Can Altınova std::condition_variable cv;
16f01377d8SNazım Can Altınova bool done = false;
17*1a5bc7c8SJulian Lettner std::atomic<bool> spin = true;
18f01377d8SNazım Can Altınova
ThreadFunc(void * x)19f01377d8SNazım Can Altınova void *ThreadFunc(void *x) {
20*1a5bc7c8SJulian Lettner while (spin) {
21f01377d8SNazım Can Altınova // Lock the mutex
22f01377d8SNazım Can Altınova std::lock_guard<std::mutex> guard(sampler_mutex);
23f01377d8SNazım Can Altınova // Mutex is released at the end
24f01377d8SNazım Can Altınova }
25f01377d8SNazım Can Altınova
26f01377d8SNazım Can Altınova return nullptr;
27f01377d8SNazım Can Altınova }
28f01377d8SNazım Can Altınova
SigprofHandler(int signal,siginfo_t * info,void * context)29f01377d8SNazım Can Altınova static void SigprofHandler(int signal, siginfo_t *info, void *context) {
30f01377d8SNazım Can Altınova // Assuming we did some work, change the variable to let the main thread
31f01377d8SNazım Can Altınova // know that we are done.
32f01377d8SNazım Can Altınova {
33f01377d8SNazım Can Altınova std::unique_lock<std::mutex> lck(done_mutex);
34f01377d8SNazım Can Altınova done = true;
35f01377d8SNazım Can Altınova cv.notify_one();
36f01377d8SNazım Can Altınova }
37f01377d8SNazım Can Altınova }
38f01377d8SNazım Can Altınova
main()39f01377d8SNazım Can Altınova int main() {
40f01377d8SNazım Can Altınova alarm(60); // Kill the test if it hangs.
41f01377d8SNazım Can Altınova
42f01377d8SNazım Can Altınova // Install the signal handler
43f01377d8SNazım Can Altınova struct sigaction sa;
44f01377d8SNazım Can Altınova sa.sa_sigaction = SigprofHandler;
45f01377d8SNazım Can Altınova sigemptyset(&sa.sa_mask);
46f01377d8SNazım Can Altınova sa.sa_flags = SA_RESTART | SA_SIGINFO;
47f01377d8SNazım Can Altınova if (sigaction(SIGPROF, &sa, 0) != 0) {
48f01377d8SNazım Can Altınova fprintf(stderr, "failed to install signal handler\n");
49f01377d8SNazım Can Altınova abort();
50f01377d8SNazım Can Altınova }
51f01377d8SNazım Can Altınova
52f01377d8SNazım Can Altınova // Spawn a thread that will just loop and get the mutex lock:
53f01377d8SNazım Can Altınova pthread_t thread;
54f01377d8SNazım Can Altınova pthread_create(&thread, NULL, ThreadFunc, NULL);
55f01377d8SNazım Can Altınova
56*1a5bc7c8SJulian Lettner {
57f01377d8SNazım Can Altınova // Lock the mutex before sending the signal
58f01377d8SNazım Can Altınova std::lock_guard<std::mutex> guard(sampler_mutex);
59f01377d8SNazım Can Altınova // From now on thread 1 will be waiting for the lock
60f01377d8SNazım Can Altınova
61f01377d8SNazım Can Altınova // Send the SIGPROF signal to thread.
62f01377d8SNazım Can Altınova int r = pthread_kill(thread, SIGPROF);
63f01377d8SNazım Can Altınova assert(r == 0);
64f01377d8SNazım Can Altınova
65f01377d8SNazım Can Altınova // Wait until signal handler sends the data.
66f01377d8SNazım Can Altınova std::unique_lock lk(done_mutex);
67f01377d8SNazım Can Altınova cv.wait(lk, [] { return done; });
68f01377d8SNazım Can Altınova
69f01377d8SNazım Can Altınova // We got the done variable from the signal handler. Exiting successfully.
70f01377d8SNazım Can Altınova fprintf(stderr, "PASS\n");
71f01377d8SNazım Can Altınova }
72f01377d8SNazım Can Altınova
73*1a5bc7c8SJulian Lettner // Wait for thread to prevent it from spinning on a released mutex.
74*1a5bc7c8SJulian Lettner spin = false;
75*1a5bc7c8SJulian Lettner pthread_join(thread, nullptr);
76*1a5bc7c8SJulian Lettner }
77*1a5bc7c8SJulian Lettner
78f01377d8SNazım Can Altınova // CHECK-NOT: WARNING: ThreadSanitizer:
79f01377d8SNazım Can Altınova // CHECK: PASS
80