1ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov// RUN: %clangxx_tsan -O1 %s -o %t && %t 2>&1 | 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_mutex_t mtx2; 9ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 10ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread1(void *x) { 11ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_lock(&mtx1); 12ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_lock(&mtx2); 13ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global++; 14ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_unlock(&mtx2); 15ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov pthread_mutex_unlock(&mtx1); 16ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 17ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 18ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 19ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovvoid *Thread2(void *x) { 2063a22f073dcdfbabc492ca4c9eb06d0571915570Dmitry Vyukov sleep(1); 21ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov Global--; 22ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov return NULL; 23ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov} 24ad9da372f962495b3487685232d09390be841b1cDmitry Vyukov 25ad9da372f962495b3487685232d09390be841b1cDmitry Vyukovint main() { 2655425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: WARNING: ThreadSanitizer: data race 2755425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Write of size 4 at {{.*}} by thread T2: 2855425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Previous write of size 4 at {{.*}} by thread T1 2955425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: (mutexes: write [[M1:M[0-9]+]], write [[M2:M[0-9]+]]): 3055425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Mutex [[M1]] created at: 3155425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #0 pthread_mutex_init 3255425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #1 main {{.*}}/mutexset4.cc:[[@LINE+4]] 3355425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: Mutex [[M2]] created at: 3455425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #0 pthread_mutex_init 3555425eb7ad3f18a1f740e0e445bc79a012429766Alexey Samsonov // CHECK: #1 main {{.*}}/mutexset4.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