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