Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 1 | // RUN: %clangxx_tsan -O1 %s -o %t && %env_tsan_opts=atexit_sleep_ms=50 %run %t 2>&1 | FileCheck %s |
| 2 | // UNSUPPORTED: darwin |
Stephen Hines | 86277eb | 2015-03-23 12:06:32 -0700 | [diff] [blame] | 3 | #include "test.h" |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 4 | #include <errno.h> |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 5 | #include <sys/types.h> |
| 6 | #include <sys/wait.h> |
| 7 | |
| 8 | int counter; |
| 9 | |
| 10 | static void *incrementer(void *p) { |
| 11 | for (;;) |
| 12 | __sync_fetch_and_add(&counter, 1); |
| 13 | return 0; |
| 14 | } |
| 15 | |
| 16 | static void *watchdog(void *p) { |
Stephen Hines | 86277eb | 2015-03-23 12:06:32 -0700 | [diff] [blame] | 17 | sleep(100); // is not intended to exit |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 18 | fprintf(stderr, "timed out after 100 seconds\n"); |
| 19 | exit(1); |
| 20 | return 0; |
| 21 | } |
| 22 | |
| 23 | int main() { |
Stephen Hines | 86277eb | 2015-03-23 12:06:32 -0700 | [diff] [blame] | 24 | barrier_init(&barrier, 2); |
Stephen Hines | 2d1fdb2 | 2014-05-28 23:58:16 -0700 | [diff] [blame] | 25 | pthread_t th1, th2; |
| 26 | pthread_create(&th1, 0, incrementer, 0); |
| 27 | pthread_create(&th2, 0, watchdog, 0); |
| 28 | for (int i = 0; i < 10; i++) { |
| 29 | switch (fork()) { |
| 30 | default: // parent |
| 31 | while (wait(0) < 0) {} |
| 32 | fprintf(stderr, "."); |
| 33 | break; |
| 34 | case 0: // child |
| 35 | __sync_fetch_and_add(&counter, 1); |
| 36 | exit(0); |
| 37 | break; |
| 38 | case -1: // error |
| 39 | fprintf(stderr, "failed to fork (%d)\n", errno); |
| 40 | exit(1); |
| 41 | } |
| 42 | } |
| 43 | fprintf(stderr, "OK\n"); |
| 44 | } |
| 45 | |
| 46 | // CHECK: OK |
| 47 | |