xref: /llvm-project/compiler-rt/test/tsan/libdispatch/barrier.c (revision a59dad920ffb7a01f8e275ac4b6596048621fd20)
1c77bf89dSJulian Lettner // RUN: %clang_tsan %s -o %t
2*a59dad92SJulian Lettner // RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
3c77bf89dSJulian Lettner 
4c77bf89dSJulian Lettner #include "dispatch/dispatch.h"
5c77bf89dSJulian Lettner 
6c77bf89dSJulian Lettner #include "../test.h"
7c77bf89dSJulian Lettner 
8c77bf89dSJulian Lettner long global;
9c77bf89dSJulian Lettner 
main()10c77bf89dSJulian Lettner int main() {
11c77bf89dSJulian Lettner   fprintf(stderr, "Hello world.\n");
12c77bf89dSJulian Lettner   dispatch_semaphore_t done = dispatch_semaphore_create(0);
13c77bf89dSJulian Lettner   barrier_init(&barrier, 2);
14c77bf89dSJulian Lettner 
15c77bf89dSJulian Lettner   dispatch_queue_t q = dispatch_queue_create("my.queue", DISPATCH_QUEUE_CONCURRENT);
16c77bf89dSJulian Lettner   dispatch_queue_t bgq = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
17c77bf89dSJulian Lettner 
18c77bf89dSJulian Lettner   dispatch_async(bgq, ^{
19c77bf89dSJulian Lettner     dispatch_sync(q, ^{
20c77bf89dSJulian Lettner       global = 42;
21c77bf89dSJulian Lettner     });
22c77bf89dSJulian Lettner     barrier_wait(&barrier);
23c77bf89dSJulian Lettner   });
24c77bf89dSJulian Lettner 
25c77bf89dSJulian Lettner   dispatch_async(bgq, ^{
26c77bf89dSJulian Lettner     barrier_wait(&barrier);
27c77bf89dSJulian Lettner     dispatch_barrier_sync(q, ^{
28c77bf89dSJulian Lettner       global = 43;
29c77bf89dSJulian Lettner     });
30c77bf89dSJulian Lettner 
31c77bf89dSJulian Lettner     dispatch_async(bgq, ^{
32c77bf89dSJulian Lettner       barrier_wait(&barrier);
33c77bf89dSJulian Lettner       global = 44;
34c77bf89dSJulian Lettner     });
35c77bf89dSJulian Lettner 
36c77bf89dSJulian Lettner     barrier_wait(&barrier);
37c77bf89dSJulian Lettner 
38c77bf89dSJulian Lettner     dispatch_semaphore_signal(done);
39c77bf89dSJulian Lettner   });
40c77bf89dSJulian Lettner 
41c77bf89dSJulian Lettner   dispatch_semaphore_wait(done, DISPATCH_TIME_FOREVER);
42c77bf89dSJulian Lettner   fprintf(stderr, "Done.\n");
43c77bf89dSJulian Lettner }
44c77bf89dSJulian Lettner 
45c77bf89dSJulian Lettner // CHECK: Hello world.
46c77bf89dSJulian Lettner // CHECK: Done.
47