/* Expect 5 errors total (4 re cvs, 1 re exiting w/lock.). Tests passing bogus mutexes to pthread_cond_wait. */ #define _GNU_SOURCE 1 /* needed by glibc <= 2.3 for pthread_rwlock_* */ #include <pthread.h> #include <assert.h> #include <unistd.h> #include <semaphore.h> #include <stdio.h> #include <stdlib.h> pthread_mutex_t mx[4]; pthread_cond_t cv; pthread_rwlock_t rwl; sem_t* quit_now; static sem_t* my_sem_init(char*, int, unsigned); static int my_sem_destroy(sem_t*); static int my_sem_wait(sem_t*); static int my_sem_post(sem_t*); void* rescue_me ( void* uu ) { /* wait for, and unblock, the first wait */ sleep(1); pthread_cond_signal( &cv ); /* wait for, and unblock, the second wait */ sleep(1); pthread_cond_signal( &cv ); /* wait for, and unblock, the third wait */ sleep(1); pthread_cond_signal( &cv ); /* wait for, and unblock, the fourth wait */ sleep(1); pthread_cond_signal( &cv ); my_sem_wait( quit_now ); return NULL; } void* grab_the_lock ( void* uu ) { int r= pthread_mutex_lock( &mx[2] ); assert(!r); my_sem_wait( quit_now ); r= pthread_mutex_unlock( &mx[2] ); assert(!r); return NULL; } int main ( void ) { int r; pthread_t my_rescuer, grabber; r= pthread_mutex_init(&mx[0], NULL); assert(!r); r= pthread_mutex_init(&mx[1], NULL); assert(!r); r= pthread_mutex_init(&mx[2], NULL); assert(!r); r= pthread_mutex_init(&mx[3], NULL); assert(!r); r= pthread_cond_init(&cv, NULL); assert(!r); r= pthread_rwlock_init(&rwl, NULL); assert(!r); quit_now = my_sem_init( "quit_now", 0,0 ); assert(quit_now); r= pthread_create( &grabber, NULL, grab_the_lock, NULL ); assert(!r); sleep(1); /* let the grabber get there first */ r= pthread_create( &my_rescuer, NULL, rescue_me, NULL ); assert(!r); /* Do stupid things and hope that rescue_me gets us out of trouble */ /* mx is bogus */ r= pthread_cond_wait(&cv, (pthread_mutex_t*)(4 + (char*)&mx[0]) ); /* mx is not locked */ r= pthread_cond_wait(&cv, &mx[0]); /* wrong flavour of lock */ r= pthread_cond_wait(&cv, (pthread_mutex_t*)&rwl ); /* mx is held by someone else. */ r= pthread_cond_wait(&cv, &mx[2] ); r= my_sem_post( quit_now ); assert(!r); r= my_sem_post( quit_now ); assert(!r); r= pthread_join( my_rescuer, NULL ); assert(!r); r= pthread_join( grabber, NULL ); assert(!r); r= my_sem_destroy( quit_now ); assert(!r); return 0; } static sem_t* my_sem_init (char* identity, int pshared, unsigned count) { sem_t* s; #if defined(VGO_linux) || defined(VGO_solaris) s = malloc(sizeof(*s)); if (s) { if (sem_init(s, pshared, count) < 0) { perror("sem_init"); free(s); s = NULL; } } #elif defined(VGO_darwin) char name[100]; sprintf(name, "anonsem_%s_pid%d", identity, (int)getpid()); name[ sizeof(name)-1 ] = 0; if (0) printf("name = %s\n", name); s = sem_open(name, O_CREAT | O_EXCL, 0600, count); if (s == SEM_FAILED) { perror("sem_open"); s = NULL; } #else # error "Unsupported OS" #endif return s; } static int my_sem_destroy ( sem_t* s ) { return sem_destroy(s); } static int my_sem_wait(sem_t* s) { return sem_wait(s); } static int my_sem_post(sem_t* s) { return sem_post(s); }