1 <assertions> 2 <assertion id="1" tag="ref:XSH6:33591:33591 pt:THR"> 3 The pthread_kill() function requests from the kernel to deliver a 4 specified signal be to a specified thread. 5 </assertion> 6 <assertion id="2" tag="ref:XSH6:33591:33591 pt:THR"> 7 Just like in the kill() function, error checking shall be performed 8 but no signal shall actually be sent, if sig is zero. 9 </assertion> 10 <assertion id="3" tag="ref:XSH6:33594:33594 pt:THR"> 11 The function shall return a value of zero, upon successful completion. 12 </assertion> 13 <assertion id="4" tag="ref:XSH6:33594:33595 pt:THR"> 14 The function shall return an error number otherwise. 15 </assertion> 16 <assertion id="5" tag="ref:XSH6:33594:33595 pt:THR"> 17 No signal shall be sent if the pthread_kill() function fails. 18 </assertion> 19 <assertion id="6" tag="ref:XSH6:33598:33599 pt:THR"> 20 [ESRCH] No thread could be found corresponding to that specified by 21 the given thread ID. 22 </assertion> 23 <assertion id="7" tag="ref:XSH6:33600:33600 pt:THR"> 24 [EINVAL] The value of the sig argument is an invalid or unsupported 25 signal number. 26 </assertion> 27 <assertion id="8" tag="ref:XSH6:33601:33601 pt:THR"> 28 The pthread_kill () function shall not return an error code of 29 [EINTR]. 30 </assertion> 31 </assertions> 32
