annotate compiler-rt/test/tsan/fd_dup_norace2.cpp @ 266:00f31e85ec16 default tip

Added tag current for changeset 31d058e83c98
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 14 Oct 2023 10:13:55 +0900
parents c4bab56944e8
children
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 #include "test.h"
anatofuz
parents:
diff changeset
3 #include <sys/types.h>
anatofuz
parents:
diff changeset
4 #include <sys/stat.h>
anatofuz
parents:
diff changeset
5 #include <fcntl.h>
anatofuz
parents:
diff changeset
6 #include <errno.h>
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 // dup2(oldfd, newfd) races with read(newfd).
anatofuz
parents:
diff changeset
9 // This is not reported as race because:
anatofuz
parents:
diff changeset
10 // 1. Some software dups a closed pipe in place of a socket before closing
anatofuz
parents:
diff changeset
11 // the socket (to prevent races actually).
anatofuz
parents:
diff changeset
12 // 2. Some daemons dup /dev/null in place of stdin/stdout.
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 int fd;
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 void *Thread(void *x) {
anatofuz
parents:
diff changeset
17 char buf;
anatofuz
parents:
diff changeset
18 int n = read(fd, &buf, 1);
anatofuz
parents:
diff changeset
19 if (n != 1) {
236
c4bab56944e8 LLVM 16
kono
parents: 150
diff changeset
20 // This read can "legitimately" fail regardless of the fact that glibc claims
150
anatofuz
parents:
diff changeset
21 // that "there is no instant in the middle of calling dup2 at which new is
anatofuz
parents:
diff changeset
22 // closed and not yet a duplicate of old". Strace of the failing runs
anatofuz
parents:
diff changeset
23 // looks as follows:
anatofuz
parents:
diff changeset
24 //
anatofuz
parents:
diff changeset
25 // [pid 122196] open("/dev/urandom", O_RDONLY) = 3
anatofuz
parents:
diff changeset
26 // [pid 122196] open("/dev/urandom", O_RDONLY) = 4
anatofuz
parents:
diff changeset
27 // Process 122382 attached
anatofuz
parents:
diff changeset
28 // [pid 122382] read(3, <unfinished ...>
anatofuz
parents:
diff changeset
29 // [pid 122196] dup2(4, 3 <unfinished ...>
anatofuz
parents:
diff changeset
30 // [pid 122382] <... read resumed> 0x7fcd139960b7, 1) = -1 EBADF (Bad file descriptor)
anatofuz
parents:
diff changeset
31 // [pid 122196] <... dup2 resumed> ) = 3
anatofuz
parents:
diff changeset
32 // read failed: n=-1 errno=9
anatofuz
parents:
diff changeset
33 //
anatofuz
parents:
diff changeset
34 // The failing read does not interfere with what this test tests,
anatofuz
parents:
diff changeset
35 // so we just ignore the failure.
anatofuz
parents:
diff changeset
36 //
anatofuz
parents:
diff changeset
37 // exit(printf("read failed: n=%d errno=%d\n", n, errno));
anatofuz
parents:
diff changeset
38 }
anatofuz
parents:
diff changeset
39 return 0;
anatofuz
parents:
diff changeset
40 }
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 int main() {
anatofuz
parents:
diff changeset
43 fd = open("/dev/urandom", O_RDONLY);
anatofuz
parents:
diff changeset
44 int fd2 = open("/dev/urandom", O_RDONLY);
anatofuz
parents:
diff changeset
45 if (fd == -1 || fd2 == -1)
anatofuz
parents:
diff changeset
46 exit(printf("open failed\n"));
anatofuz
parents:
diff changeset
47 pthread_t th;
anatofuz
parents:
diff changeset
48 pthread_create(&th, 0, Thread, 0);
anatofuz
parents:
diff changeset
49 if (dup2(fd2, fd) == -1)
anatofuz
parents:
diff changeset
50 exit(printf("dup2 failed\n"));
anatofuz
parents:
diff changeset
51 pthread_join(th, 0);
anatofuz
parents:
diff changeset
52 if (close(fd) == -1)
anatofuz
parents:
diff changeset
53 exit(printf("close failed\n"));
anatofuz
parents:
diff changeset
54 if (close(fd2) == -1)
anatofuz
parents:
diff changeset
55 exit(printf("close failed\n"));
anatofuz
parents:
diff changeset
56 fprintf(stderr, "DONE\n");
anatofuz
parents:
diff changeset
57 }
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 // CHECK-NOT: WARNING: ThreadSanitizer: data race
anatofuz
parents:
diff changeset
60 // CHECK: DONE