signal_sync2.cpp
1.85 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
// RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
// UNSUPPORTED: darwin
#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <signal.h>
#include <sys/types.h>
#include <sys/time.h>
#include <unistd.h>
#include <errno.h>
// Test synchronization in signal handled within IgnoreSync region.
extern "C" void AnnotateIgnoreSyncBegin(const char *f, int l);
extern "C" void AnnotateIgnoreSyncEnd(const char *f, int l);
const int kSignalCount = 500;
__thread int process_signals;
int signals_handled;
int done;
int ready[kSignalCount];
long long data[kSignalCount];
static void handler(int sig) {
if (!__atomic_load_n(&process_signals, __ATOMIC_RELAXED))
return;
int pos = signals_handled++;
if (pos >= kSignalCount)
return;
data[pos] = pos;
__atomic_store_n(&ready[pos], 1, __ATOMIC_RELEASE);
}
static void* thr(void *p) {
AnnotateIgnoreSyncBegin(__FILE__, __LINE__);
__atomic_store_n(&process_signals, 1, __ATOMIC_RELAXED);
while (!__atomic_load_n(&done, __ATOMIC_RELAXED)) {
}
AnnotateIgnoreSyncEnd(__FILE__, __LINE__);
return 0;
}
int main() {
struct sigaction act = {};
act.sa_handler = handler;
if (sigaction(SIGPROF, &act, 0)) {
perror("sigaction");
exit(1);
}
itimerval t;
t.it_value.tv_sec = 0;
t.it_value.tv_usec = 10;
t.it_interval = t.it_value;
if (setitimer(ITIMER_PROF, &t, 0)) {
perror("setitimer");
exit(1);
}
pthread_t th;
pthread_create(&th, 0, thr, 0);
for (int pos = 0; pos < kSignalCount; pos++) {
while (__atomic_load_n(&ready[pos], __ATOMIC_ACQUIRE) == 0) {
}
if (data[pos] != pos) {
printf("at pos %d, expect %d, got %lld\n", pos, pos, data[pos]);
exit(1);
}
}
__atomic_store_n(&done, 1, __ATOMIC_RELAXED);
pthread_join(th, 0);
fprintf(stderr, "DONE\n");
return 0;
}
// CHECK-NOT: WARNING: ThreadSanitizer:
// CHECK: DONE