15d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t | FileCheck %s 2ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov#include <pthread.h> 3ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov#include <stdio.h> 4ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov#include <unistd.h> 5ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 6ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovint Global; 7ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovpthread_mutex_t mtx1; 8ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovpthread_spinlock_t mtx2; 9ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovpthread_rwlock_t mtx3; 10ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 11ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread1(void *x) { 1263a22f073dcdfbabc492ca4c9eb06d0571915570Dmitry Vyukov sleep(1); 13ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_lock(&mtx1); 14ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global++; 15ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_unlock(&mtx1); 16ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 17ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 18ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 19ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread2(void *x) { 20ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_lock(&mtx1); 21ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_unlock(&mtx1); 22ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_spin_lock(&mtx2); 23ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_rwlock_rdlock(&mtx3); 24ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global--; 25ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_spin_unlock(&mtx2); 26ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_rwlock_unlock(&mtx3); 27ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 28ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 29ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 30ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovint main() { 3155425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: WARNING: ThreadSanitizer: data race 3255425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Write of size 4 at {{.*}} by thread T1 3355425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: (mutexes: write [[M1:M[0-9]+]]): 3455425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Previous write of size 4 at {{.*}} by thread T2 3555425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: (mutexes: write [[M2:M[0-9]+]], read [[M3:M[0-9]+]]): 362d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // CHECK: Mutex [[M1]] (0x{{.*}}) created at: 3755425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #1 main {{.*}}/mutexset6.cc:[[@LINE+5]] 382d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // CHECK: Mutex [[M2]] (0x{{.*}}) created at: 3955425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #1 main {{.*}}/mutexset6.cc:[[@LINE+4]] 402d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines // CHECK: Mutex [[M3]] (0x{{.*}}) created at: 4155425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #1 main {{.*}}/mutexset6.cc:[[@LINE+3]] 42ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_init(&mtx1, 0); 43ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_spin_init(&mtx2, 0); 44ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_rwlock_init(&mtx3, 0); 45ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_t t[2]; 46ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_create(&t[0], NULL, Thread1, NULL); 47ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_create(&t[1], NULL, Thread2, NULL); 48ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_join(t[0], NULL); 49ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_join(t[1], NULL); 50ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_destroy(&mtx1); 51ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_spin_destroy(&mtx2); 52ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_rwlock_destroy(&mtx3); 53ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 54