]>
Commit | Line | Data |
---|---|---|
1a4d82fc | 1 | // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s |
92a42be0 | 2 | #include "test.h" |
1a4d82fc JJ |
3 | #include <sys/types.h> |
4 | #include <sys/stat.h> | |
5 | #include <fcntl.h> | |
6 | ||
7 | void *Thread1(void *x) { | |
8 | int f = open("/dev/random", O_RDONLY); | |
9 | close(f); | |
92a42be0 | 10 | barrier_wait(&barrier); |
1a4d82fc JJ |
11 | return NULL; |
12 | } | |
13 | ||
14 | void *Thread2(void *x) { | |
92a42be0 | 15 | barrier_wait(&barrier); |
1a4d82fc JJ |
16 | int f = open("/dev/random", O_RDONLY); |
17 | close(f); | |
18 | return NULL; | |
19 | } | |
20 | ||
21 | int main() { | |
92a42be0 | 22 | barrier_init(&barrier, 2); |
1a4d82fc JJ |
23 | pthread_t t[2]; |
24 | pthread_create(&t[0], NULL, Thread1, NULL); | |
25 | pthread_create(&t[1], NULL, Thread2, NULL); | |
26 | pthread_join(t[0], NULL); | |
27 | pthread_join(t[1], NULL); | |
28 | printf("OK\n"); | |
29 | } | |
30 | ||
31 | // CHECK-NOT: WARNING: ThreadSanitizer: data race | |
32 | ||
33 |