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