annotate compiler-rt/test/tsan/signal_sync2.cpp @ 236:c4bab56944e8 llvm-original

LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 79ff65ed7e25
children 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
anatofuz
parents:
diff changeset
2 // UNSUPPORTED: darwin
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
3 // Fails episodically on powerpc bots:
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
4 // https://lab.llvm.org/buildbot/#/builders/121/builds/13391
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
5 // UNSUPPORTED: powerpc64, powerpc64le
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
6 #include "test.h"
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
7 #include <errno.h>
150
anatofuz
parents:
diff changeset
8 #include <signal.h>
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
9 #include <sys/time.h>
150
anatofuz
parents:
diff changeset
10 #include <sys/types.h>
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 // Test synchronization in signal handled within IgnoreSync region.
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 const int kSignalCount = 500;
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 __thread int process_signals;
anatofuz
parents:
diff changeset
17 int signals_handled;
anatofuz
parents:
diff changeset
18 int done;
anatofuz
parents:
diff changeset
19 int ready[kSignalCount];
anatofuz
parents:
diff changeset
20 long long data[kSignalCount];
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 static void handler(int sig) {
anatofuz
parents:
diff changeset
23 if (!__atomic_load_n(&process_signals, __ATOMIC_RELAXED))
anatofuz
parents:
diff changeset
24 return;
anatofuz
parents:
diff changeset
25 int pos = signals_handled++;
anatofuz
parents:
diff changeset
26 if (pos >= kSignalCount)
anatofuz
parents:
diff changeset
27 return;
anatofuz
parents:
diff changeset
28 data[pos] = pos;
anatofuz
parents:
diff changeset
29 __atomic_store_n(&ready[pos], 1, __ATOMIC_RELEASE);
anatofuz
parents:
diff changeset
30 }
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 static void* thr(void *p) {
anatofuz
parents:
diff changeset
33 AnnotateIgnoreSyncBegin(__FILE__, __LINE__);
anatofuz
parents:
diff changeset
34 __atomic_store_n(&process_signals, 1, __ATOMIC_RELAXED);
anatofuz
parents:
diff changeset
35 while (!__atomic_load_n(&done, __ATOMIC_RELAXED)) {
anatofuz
parents:
diff changeset
36 }
anatofuz
parents:
diff changeset
37 AnnotateIgnoreSyncEnd(__FILE__, __LINE__);
anatofuz
parents:
diff changeset
38 return 0;
anatofuz
parents:
diff changeset
39 }
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 int main() {
anatofuz
parents:
diff changeset
42 struct sigaction act = {};
anatofuz
parents:
diff changeset
43 act.sa_handler = handler;
anatofuz
parents:
diff changeset
44 if (sigaction(SIGPROF, &act, 0)) {
anatofuz
parents:
diff changeset
45 perror("sigaction");
anatofuz
parents:
diff changeset
46 exit(1);
anatofuz
parents:
diff changeset
47 }
anatofuz
parents:
diff changeset
48 itimerval t;
anatofuz
parents:
diff changeset
49 t.it_value.tv_sec = 0;
anatofuz
parents:
diff changeset
50 t.it_value.tv_usec = 10;
anatofuz
parents:
diff changeset
51 t.it_interval = t.it_value;
anatofuz
parents:
diff changeset
52 if (setitimer(ITIMER_PROF, &t, 0)) {
anatofuz
parents:
diff changeset
53 perror("setitimer");
anatofuz
parents:
diff changeset
54 exit(1);
anatofuz
parents:
diff changeset
55 }
anatofuz
parents:
diff changeset
56
anatofuz
parents:
diff changeset
57 pthread_t th;
anatofuz
parents:
diff changeset
58 pthread_create(&th, 0, thr, 0);
anatofuz
parents:
diff changeset
59 for (int pos = 0; pos < kSignalCount; pos++) {
anatofuz
parents:
diff changeset
60 while (__atomic_load_n(&ready[pos], __ATOMIC_ACQUIRE) == 0) {
anatofuz
parents:
diff changeset
61 }
anatofuz
parents:
diff changeset
62 if (data[pos] != pos) {
anatofuz
parents:
diff changeset
63 printf("at pos %d, expect %d, got %lld\n", pos, pos, data[pos]);
anatofuz
parents:
diff changeset
64 exit(1);
anatofuz
parents:
diff changeset
65 }
anatofuz
parents:
diff changeset
66 }
anatofuz
parents:
diff changeset
67 __atomic_store_n(&done, 1, __ATOMIC_RELAXED);
anatofuz
parents:
diff changeset
68 pthread_join(th, 0);
anatofuz
parents:
diff changeset
69 fprintf(stderr, "DONE\n");
anatofuz
parents:
diff changeset
70 return 0;
anatofuz
parents:
diff changeset
71 }
anatofuz
parents:
diff changeset
72
anatofuz
parents:
diff changeset
73 // CHECK-NOT: WARNING: ThreadSanitizer:
anatofuz
parents:
diff changeset
74 // CHECK: DONE