1 /* 2 * Test program with happens-before / happens-after annotations that triggers 3 * a data race. The data race will only be reported if happens-after 4 * annotations that occur in different threads are not totally ordered. Or: 5 * this is a test for the implementation of ordering annotations. 6 */ 7 8 9 #include <stdio.h> 10 #include <pthread.h> 11 #include "unified_annotations.h" 12 13 14 static int s_i; 15 16 17 static void* thread_func(void* arg) 18 { 19 int i; 20 21 U_ANNOTATE_HAPPENS_AFTER(&s_i); 22 i = s_i; 23 U_ANNOTATE_HAPPENS_AFTER(&s_i); 24 *(int*)arg = i; 25 return NULL; 26 } 27 28 int main(int argc, char** argv) 29 { 30 pthread_t tid[2]; 31 int result[2]; 32 33 U_ANNOTATE_HAPPENS_BEFORE(&s_i); 34 pthread_create(&tid[0], 0, thread_func, &result[0]); 35 pthread_create(&tid[1], 0, thread_func, &result[1]); 36 s_i = 1; 37 38 pthread_join(tid[0], NULL); 39 pthread_join(tid[1], NULL); 40 41 fprintf(stderr, "Done.\n"); 42 43 return 0; 44 } 45 46 /* 47 * Local variables: 48 * c-basic-offset: 2 49 * End: 50 */ 51
