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