See pthread_cond_timedwait.html