| <assertions> |
| <assertion id="1" tag="ref:XSH6:32244:32245"> |
| The function |
| int pthread_cond_signal(pthread_cond_t *cond); |
| shall unblock at least one of the threads currently blocked on |
| the specified condition variable cond. |
| </assertion> |
| |
| <assertion id="2" tag="ref:XSH6:32247:32250"> |
| When each thread unblocked as a result of a |
| pthread_cond_signal() returns from its call to pthread_cond_wait() or |
| pthread_cond_timedwait(), the thread shall own the mutex with which it called |
| pthread_cond_wait() or pthread_cond_timedwait(). |
| </assertion> |
| |
| <assertion id="3" tag="ref:XSH6:32258:32259"> |
| The pthread_cond_signal() functions shall have no effect if there are |
| no threads currently blocked on cond. |
| </assertion> |
| |
| <assertion id="4" tag="ref:XSH6:32261:32261"> |
| If successful, the pthread_cond_signal() function shall return zero; |
| </assertion> |
| |
| <assertion id="5" tag="ref:XSH6:32264:32266"> |
| The pthread_cond_signal() function may fail if: |
| [EINVAL] The value cond does not refer to an initialized condition variable. |
| These functions shall not return an error code of [EINTR]. |
| </assertion> |
| |
| </assertions> |