drd/tests/annotate_ignore_rw.c

   1 /* Test program for the annotations that suppress both reads and writes. */
   2
   3 #include <assert.h>  /* assert() */
   4 #include <pthread.h>
   5 #include <stdint.h>
   6 #include <stdio.h>   /* EOF */
   7 #include <unistd.h>  /* getopt() */
   8 #include "../../drd/drd.h"
   9
  10 static int8_t s_a;
  11 static int8_t s_b;
  12 static int8_t s_c;
  13
  14 static void* thread_func(void* arg)
  15 {
  16   /* Read s_a and modify s_b. */
  17   s_b = s_a;
  18   /* Modify s_c. */
  19   s_c = 1;
  20
  21   return NULL;
  22 }
  23
  24 int main(int argc, char** argv)
  25 {
  26   const struct timespec delay = { 0, 100 * 1000 * 1000 };
  27   int optchar;
  28   int ign_rw = 1;
  29   pthread_t tid;
  30
  31   while ((optchar = getopt(argc, argv, "r")) != EOF)
  32   {
  33     switch (optchar)
  34     {
  35     case 'r':
  36       ign_rw = 0;
  37       break;
  38     default:
  39       assert(0);
  40     }
  41   }
  42
  43   pthread_create(&tid, 0, thread_func, 0);
  44
  45   nanosleep(&delay, 0);
  46
  47   if (ign_rw)
  48     ANNOTATE_IGNORE_READS_AND_WRITES_BEGIN();
  49   /* Read s_b and modify s_a. */
  50   s_a = s_b;
  51   if (ign_rw)
  52     ANNOTATE_IGNORE_READS_AND_WRITES_END();
  53
  54   /*
  55    * Insert a delay here in order to make sure the load of s_c happens
  56    * after s_c has been modified.
  57    */
  58   sleep(1);
  59
  60   /* Read s_c. */
  61   fprintf(stderr, "%s", "x" + s_c);
  62
  63   pthread_join(tid, 0);
  64
  65   fprintf(stderr, "Finished.\n");
  66
  67   return 0;
  68 }