xref: /llvm-project/compiler-rt/test/tsan/signal_in_mutex_lock.cpp (revision 1a5bc7c895ddeafa0e1d269da67bbeafcd8bc1a4)
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