helgrind/tests/hg04_race.c

   1 /* A simple race */
   2
   3 #include <pthread.h>
   4 #include <unistd.h>
   5
   6 static int shared;
   7
   8 __attribute__((noinline))
   9 static void th10(void)
  10 {
  11    shared++;
  12 }
  13
  14 __attribute__((noinline))
  15 static void th9(void)
  16 {
  17    th10();
  18 }
  19
  20 __attribute__((noinline))
  21 static void th8(void)
  22 {
  23    th9();
  24 }
  25
  26 __attribute__((noinline))
  27 static void th7(void)
  28 {
  29    th8();
  30 }
  31
  32 __attribute__((noinline))
  33 static void th6(void)
  34 {
  35    th7();
  36 }
  37
  38 __attribute__((noinline))
  39 static void th5(void)
  40 {
  41    th6();
  42 }
  43
  44 __attribute__((noinline))
  45 static void th4(void)
  46 {
  47    th5();
  48 }
  49
  50 __attribute__((noinline))
  51 static void th3(void)
  52 {
  53    th4();
  54 }
  55
  56 __attribute__((noinline))
  57 static void th2(void)
  58 {
  59    th3();
  60 }
  61
  62
  63 __attribute__((noinline))
  64 static void th1(void)
  65 {
  66    th2();
  67 }
  68
  69 static void *th(void *v)
  70 {
  71    th1();
  72
  73    return 0;
  74 }
  75
  76 int main()
  77 {
  78         pthread_t a, b;
  79
  80         pthread_create(&a, NULL, th, NULL);
  81         sleep(1);               /* force ordering */
  82         pthread_create(&b, NULL, th, NULL);
  83
  84         pthread_join(a, NULL);
  85         pthread_join(b, NULL);
  86
  87         return 0;
  88 }