static_init3.cc revision da4edd850db1a333c15fc3b0abc01a2e8d2f08fe
1da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h> 2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdlib.h> 3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h> 4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <sched.h> 5da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct Cache { 7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany int x; 8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}; 9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya SerebryanyCache g_cache; 11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya SerebryanyCache *CreateCache() { 13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany g_cache.x = rand(); 14da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return &g_cache; 15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany_Atomic(Cache*) queue; 18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread1(void *x) { 20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany static Cache *c = CreateCache(); 21da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany __c11_atomic_store(&queue, c, 0); 22da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return 0; 23da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 25da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread2(void *x) { 26da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany Cache *c = 0; 27da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany for (;;) { 28da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany c = __c11_atomic_load(&queue, 0); 29da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany if (c) 30da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany break; 31da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sched_yield(); 32da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 33da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany if (c->x >= RAND_MAX) 34da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany exit(1); 35da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return 0; 36da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 37da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 38da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() { 39da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_t t[2]; 40da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[0], 0, Thread1, 0); 41da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[1], 0, Thread2, 0); 42da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[0], 0); 43da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[1], 0); 44da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 45da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 46da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: WARNING: ThreadSanitizer: data race 47