openmp/tools/archer/tests/task/task_late_fulfill.c

   1 // RUN: %libarcher-compile -fopenmp-version=50 && env OMP_NUM_THREADS='3' \
   2 // RUN:   %libarcher-run-race | FileCheck %s
   3
   4 // Checked gcc 10.1 still does not support detach clause on task construct.
   5 // UNSUPPORTED: gcc-4, gcc-5, gcc-6, gcc-7, gcc-8, gcc-9, gcc-10
   6 // gcc 11 introduced detach clause, but gomp interface in libomp has no support
   7 // XFAIL: gcc-11, gcc-12
   8 // clang supports detach clause since version 11.
   9 // UNSUPPORTED: clang-10, clang-9, clang-8, clang-7
  10 // icc compiler does not support detach clause.
  11 // UNSUPPORTED: icc
  12 // REQUIRES: tsan
  13
  14 #include <omp.h>
  15 #include <stdio.h>
  16 #include <unistd.h>
  17
  18 int main() {
  19 #pragma omp parallel
  20 #pragma omp master
  21   {
  22     omp_event_handle_t event;
  23     int a = 0, b = 0;
  24     omp_event_handle_t *f_event;
  25 #pragma omp task detach(event) depend(out : f_event) shared(f_event)
  26     {
  27       printf("%i: task 1\n", omp_get_thread_num());
  28       f_event = &event;
  29     }
  30     usleep(10000);
  31 #pragma omp task depend(in : f_event) shared(f_event, a, b)
  32     {
  33       printf("%i: task 2, %p, %i, %i\n", omp_get_thread_num(), f_event, a, b);
  34       f_event = &event;
  35     }
  36     usleep(10000);
  37     a++;
  38     printf("%i: calling omp_fulfill_event\n", omp_get_thread_num());
  39     omp_fulfill_event(event);
  40 //#pragma omp task if (0) depend(in : f_event)
  41 //    {}
  42     b++;
  43     usleep(10000);
  44 #pragma omp taskwait
  45   }
  46   return 0;
  47 }
  48
  49 // no race for a++ in line 32:
  50 // CHECK-NOT: #0 {{.*}}task_late_fulfill.c:37
  51
  52 // CHECK: WARNING: ThreadSanitizer: data race
  53 // CHECK-NEXT:   {{(Write|Read)}} of size 4
  54 // CHECK-NEXT: #0 {{.*}}task_late_fulfill.c:33
  55 // CHECK:   Previous write of size 4
  56 // CHECK-NEXT: #0 {{.*}}task_late_fulfill.c:42