16a211c5814e25d6745a5058cc0e499e5235d3821Stephen Hines// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s 286277eb844c4983c81de62d7c050e92fe7155788Stephen Hines#include "test.h" 3ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 4ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovint Global; 5ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovpthread_mutex_t mtx1; 6ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovpthread_mutex_t mtx2; 7ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 8ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread1(void *x) { 986277eb844c4983c81de62d7c050e92fe7155788Stephen Hines barrier_wait(&barrier); 10ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_lock(&mtx1); 11ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_lock(&mtx2); 12ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global++; 13ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_unlock(&mtx2); 14ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_unlock(&mtx1); 15ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 16ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 17ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 18ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread2(void *x) { 19ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global--; 2086277eb844c4983c81de62d7c050e92fe7155788Stephen Hines barrier_wait(&barrier); 21ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 22ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 23ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 24ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovint main() { 2586277eb844c4983c81de62d7c050e92fe7155788Stephen Hines barrier_init(&barrier, 2); 2655425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: WARNING: ThreadSanitizer: data race 2755425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Write of size 4 at {{.*}} by thread T1 2855425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: (mutexes: write [[M1:M[0-9]+]], write [[M2:M[0-9]+]]): 2955425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Previous write of size 4 at {{.*}} by thread T2: 302d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // CHECK: Mutex [[M1]] (0x{{.*}}) created at: 3155425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #0 pthread_mutex_init 32799172d60d32feb1acba1a6867f3a9c39a999e5cPirama Arumuga Nainar // CHECK: #1 main {{.*}}mutexset3.cc:[[@LINE+4]] 332d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // CHECK: Mutex [[M2]] (0x{{.*}}) created at: 3455425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #0 pthread_mutex_init 35799172d60d32feb1acba1a6867f3a9c39a999e5cPirama Arumuga Nainar // CHECK: #1 main {{.*}}mutexset3.cc:[[@LINE+2]] 36ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_init(&mtx1, 0); 37ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_init(&mtx2, 0); 38ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_t t[2]; 39ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_create(&t[0], NULL, Thread1, NULL); 40ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_create(&t[1], NULL, Thread2, NULL); 41ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_join(t[0], NULL); 42ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_join(t[1], NULL); 43ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_destroy(&mtx1); 44ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_destroy(&mtx2); 45ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 46