compiler-rt/test/tsan/libdispatch/sync-race.c

   1 // RUN: %clang_tsan %s -o %t
   2 // RUN: %deflake %run %t 2>&1 | FileCheck %s
   3
   4 #include "dispatch/dispatch.h"
   5 #include "../test.h"
   6
   7 long global;
   8
   9 int main() {
  10   fprintf(stderr, "Hello world.\n");
  11   print_address("addr=", 1, &global);
  12   dispatch_semaphore_t done = dispatch_semaphore_create(0);
  13   barrier_init(&barrier, 2);
  14
  15   dispatch_queue_t q1 = dispatch_queue_create("my.queue1", DISPATCH_QUEUE_CONCURRENT);
  16   dispatch_queue_t q2 = dispatch_queue_create("my.queue2", DISPATCH_QUEUE_CONCURRENT);
  17
  18   global = 42;
  19   dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
  20     dispatch_sync(q1, ^{
  21       global = 43;
  22       barrier_wait(&barrier);
  23     });
  24   });
  25   dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
  26     dispatch_sync(q2, ^{
  27       barrier_wait(&barrier);
  28       global = 44;
  29
  30       dispatch_semaphore_signal(done);
  31     });
  32   });
  33
  34   dispatch_semaphore_wait(done, DISPATCH_TIME_FOREVER);
  35   fprintf(stderr, "Done.\n");
  36 }
  37
  38 // CHECK: Hello world.
  39 // CHECK: addr=[[ADDR:0x[0-9,a-f]+]]
  40 // CHECK: WARNING: ThreadSanitizer: data race
  41 // CHECK: Location is global 'global' {{(of size 8 )?}}at [[ADDR]] (sync-race.c.tmp+0x{{[0-9,a-f]+}})
  42 // CHECK: Done.