xref: /llvm-project/compiler-rt/test/tsan/vfork.cpp (revision 1f4a0531b3fdb9b4747c155805393a91926fe058)
1bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
2*1f4a0531SJulian Lettner // UNSUPPORTED: ios
3*1f4a0531SJulian Lettner 
4bcaeed49SFangrui Song #include <pthread.h>
5bcaeed49SFangrui Song #include <stdio.h>
6bcaeed49SFangrui Song #include <stdlib.h>
7bcaeed49SFangrui Song #include <unistd.h>
8bcaeed49SFangrui Song #include <sys/types.h>
9bcaeed49SFangrui Song 
10bcaeed49SFangrui Song int fds[2];
11bcaeed49SFangrui Song int X;
12bcaeed49SFangrui Song 
Thread1(void * x)13bcaeed49SFangrui Song void *Thread1(void *x) {
14bcaeed49SFangrui Song   X = 42;
15bcaeed49SFangrui Song   write(fds[1], "a", 1);
16bcaeed49SFangrui Song   return NULL;
17bcaeed49SFangrui Song }
18bcaeed49SFangrui Song 
Thread2(void * x)19bcaeed49SFangrui Song void *Thread2(void *x) {
20bcaeed49SFangrui Song   char buf;
21bcaeed49SFangrui Song   while (read(fds[0], &buf, 1) != 1) {
22bcaeed49SFangrui Song   }
23bcaeed49SFangrui Song   X = 43;
24bcaeed49SFangrui Song   return NULL;
25bcaeed49SFangrui Song }
26bcaeed49SFangrui Song 
main()27bcaeed49SFangrui Song int main() {
28bcaeed49SFangrui Song   pipe(fds);
29bcaeed49SFangrui Song   int pid = vfork();
30bcaeed49SFangrui Song   if (pid < 0) {
31bcaeed49SFangrui Song     fprintf(stderr, "FAIL to vfork\n");
32bcaeed49SFangrui Song     exit(1);
33bcaeed49SFangrui Song   }
34bcaeed49SFangrui Song   if (pid == 0) {  // child
35bcaeed49SFangrui Song     // Closing of fds must not affect parent process.
36bcaeed49SFangrui Song     // Strictly saying this is undefined behavior, because vfork child is not
37bcaeed49SFangrui Song     // allowed to call any functions other than exec/exit. But this is what
38bcaeed49SFangrui Song     // openjdk does.
39bcaeed49SFangrui Song     close(fds[0]);
40bcaeed49SFangrui Song     close(fds[1]);
41bcaeed49SFangrui Song     _exit(0);
42bcaeed49SFangrui Song   }
43bcaeed49SFangrui Song   pthread_t t[2];
44bcaeed49SFangrui Song   pthread_create(&t[0], NULL, Thread1, NULL);
45bcaeed49SFangrui Song   pthread_create(&t[1], NULL, Thread2, NULL);
46bcaeed49SFangrui Song   pthread_join(t[0], NULL);
47bcaeed49SFangrui Song   pthread_join(t[1], NULL);
48bcaeed49SFangrui Song   fprintf(stderr, "DONE\n");
49bcaeed49SFangrui Song }
50bcaeed49SFangrui Song 
51bcaeed49SFangrui Song // CHECK-NOT: WARNING: ThreadSanitizer: data race
52bcaeed49SFangrui Song // CHECK-NOT: FAIL to vfork
53bcaeed49SFangrui Song // CHECK: DONE
54