1da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <pthread.h> 2da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <semaphore.h> 3da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany#include <stdio.h> 4da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 5da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct A { 6da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany A() { 7da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_init(&sem_, 0, 0); 8da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 9da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual void F() { 10da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 11da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany void Done() { 12da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_post(&sem_); 13da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 14da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual ~A() { 15da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_wait(&sem_); 16da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_destroy(&sem_); 17da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 18da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany sem_t sem_; 19da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}; 20da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 21da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystruct B : A { 22da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual void F() { 23da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany } 24da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany virtual ~B() { } 25da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany}; 26da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 27da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanystatic A *obj = new B; 28da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 29da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread1(void *x) { 30da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany obj->F(); 31da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany obj->Done(); 32da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return NULL; 33da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 34da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 35da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyvoid *Thread2(void *x) { 36da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany delete obj; 37da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany return NULL; 38da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 39da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 40da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryanyint main() { 41da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_t t[2]; 42da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[0], NULL, Thread1, NULL); 43da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_create(&t[1], NULL, Thread2, NULL); 44da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[0], NULL); 45da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany pthread_join(t[1], NULL); 46da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany} 47da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany 48da4edd850db1a333c15fc3b0abc01a2e8d2f08feKostya Serebryany// CHECK: WARNING: ThreadSanitizer: data race 49