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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s
#include "test.h"
#include <stdint.h>
#define NOINLINE __attribute__((noinline))
volatile uint64_t objs[8*2*(2 + 4 + 8)][2];
// All this mess is to generate unique stack for each race,
// otherwise tsan will suppress similar stacks.
static NOINLINE void access(volatile void *p, int sz, int rw) {
if (rw) {
switch (sz) {
case 0: __sanitizer_unaligned_store16((void *)p, 0); break;
case 1: __sanitizer_unaligned_store32((void *)p, 0); break;
case 2: __sanitizer_unaligned_store64((void *)p, 0); break;
default: exit(1);
}
} else {
switch (sz) {
case 0: __sanitizer_unaligned_load16((void *)p); break;
case 1: __sanitizer_unaligned_load32((void *)p); break;
case 2: __sanitizer_unaligned_load64((void *)p); break;
default: exit(1);
}
}
}
static int accesssize(int sz) {
switch (sz) {
case 0: return 2;
case 1: return 4;
case 2: return 8;
}
exit(1);
}
template<int off, int off2>
static NOINLINE void access3(bool main, int sz1, bool rw, volatile char *p) {
p += off;
if (main) {
access(p, sz1, true);
} else {
p += off2;
if (rw) {
*p = 42;
} else {
if (*p == 42)
printf("bingo!\n");
}
}
}
template<int off>
static NOINLINE void
access2(bool main, int sz1, int off2, bool rw, volatile char *obj) {
if (off2 == 0)
access3<off, 0>(main, sz1, rw, obj);
else if (off2 == 1)
access3<off, 1>(main, sz1, rw, obj);
else if (off2 == 2)
access3<off, 2>(main, sz1, rw, obj);
else if (off2 == 3)
access3<off, 3>(main, sz1, rw, obj);
else if (off2 == 4)
access3<off, 4>(main, sz1, rw, obj);
else if (off2 == 5)
access3<off, 5>(main, sz1, rw, obj);
else if (off2 == 6)
access3<off, 6>(main, sz1, rw, obj);
else if (off2 == 7)
access3<off, 7>(main, sz1, rw, obj);
}
static NOINLINE void
access1(bool main, int off, int sz1, int off2, bool rw, char *obj) {
if (off == 0)
access2<0>(main, sz1, off2, rw, obj);
else if (off == 1)
access2<1>(main, sz1, off2, rw, obj);
else if (off == 2)
access2<2>(main, sz1, off2, rw, obj);
else if (off == 3)
access2<3>(main, sz1, off2, rw, obj);
else if (off == 4)
access2<4>(main, sz1, off2, rw, obj);
else if (off == 5)
access2<5>(main, sz1, off2, rw, obj);
else if (off == 6)
access2<6>(main, sz1, off2, rw, obj);
else if (off == 7)
access2<7>(main, sz1, off2, rw, obj);
}
NOINLINE void Test(bool main) {
volatile uint64_t *obj = objs[0];
for (int off = 0; off < 8; off++) {
for (int sz1 = 0; sz1 < 3; sz1++) {
for (int off2 = 0; off2 < accesssize(sz1); off2++) {
for (int rw = 0; rw < 2; rw++) {
// printf("thr=%d off=%d sz1=%d off2=%d rw=%d p=%p\n",
// main, off, sz1, off2, rw, obj);
access1(main, off, sz1, off2, rw, (char*)obj);
obj += 2;
}
}
}
}
}
void *Thread(void *p) {
(void)p;
barrier_wait(&barrier);
Test(false);
return 0;
}
int main() {
barrier_init(&barrier, 2);
pthread_t th;
pthread_create(&th, 0, Thread, 0);
Test(true);
barrier_wait(&barrier);
pthread_join(th, 0);
}
// CHECK: WARNING: ThreadSanitizer: data race
// CHECK: ThreadSanitizer: reported 224 warnings
|
