43 lines · c
1// RUN: %clang_tsan %s -o %t2// RUN: %deflake %run %t 2>&1 | FileCheck %s3 4#include "dispatch/dispatch.h"5#include "../test.h"6 7long global;8 9int 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 race41// CHECK: Location is global 'global' {{(of size 8 )?}}at [[ADDR]] (sync-race.c.tmp+0x{{[0-9,a-f]+}})42// CHECK: Done.43