1 <assertions> 2 <assertion id="1" tag="ref:XSH6:32244:32245"> 3 The function 4 int pthread_cond_signal(pthread_cond_t *cond); 5 shall unblock at least one of the threads currently blocked on 6 the specified condition variable cond. 7 </assertion> 8 9 <assertion id="2" tag="ref:XSH6:32247:32250"> 10 When each thread unblocked as a result of a 11 pthread_cond_signal() returns from its call to pthread_cond_wait() or 12 pthread_cond_timedwait(), the thread shall own the mutex with which it called 13 pthread_cond_wait() or pthread_cond_timedwait(). 14 </assertion> 15 16 <assertion id="3" tag="ref:XSH6:32258:32259"> 17 The pthread_cond_signal() functions shall have no effect if there are 18 no threads currently blocked on cond. 19 </assertion> 20 21 <assertion id="4" tag="ref:XSH6:32261:32261"> 22 If successful, the pthread_cond_signal() function shall return zero; 23 </assertion> 24 25 <assertion id="5" tag="ref:XSH6:32264:32266"> 26 The pthread_cond_signal() function may fail if: 27 [EINVAL] The value cond does not refer to an initialized condition variable. 28 These functions shall not return an error code of [EINTR]. 29 </assertion> 30 31 </assertions> 32
