Do not send an uncaught signal use signals in multithreaded programs. This is undefined behavior in C11 (Section 7.14.1.1, paragraph 7). Furthermore, in POSIX, sending an uncaught signal in order to kill a thread because causes the signal kills to kill the entire process, not just the individual thread.
This rule is a specific instance of SIG02-C. Avoid using signals to implement normal functionality.
Noncompliant Code Example (POSIX)
This code uses the pthread_kill()
function to send a SIGTERM
signal to the created thread. The thread receives the signal, and the entire process is terminated.
Code Block | ||||
---|---|---|---|---|
| ||||
void func(void *foo) { /* Execution of thread */ } int main(void) { int result; pthread_t thread; if ((result = pthread_create(&thread, NULL, func, 0)) != 0) { /* Handle Error */ } if ((result = pthread_kill(thread, SIGTERM)) != 0) { /* Handle Error */ } /* This point is not reached because the process terminates in pthread_kill() */ return 0; } |
Compliant Solution (POSIX)
This compliant code uses instead the pthread_cancel()
function to terminate the thread. The thread continues to run until it reaches a cancellation point. See The Open Group Base Specifications Issue 6, IEEE Std 1003.1, 2004 Edition [Open Group 2004] for lists of functions that are required and allowed to be cancellation points. If the cancellation type is set to asynchronous, the thread is terminated immediately. However, POSIX requires only the pthread_cancel()
, pthread_setcancelstate()
, and pthread_setcanceltype()
functions to be async-cancel safe. An application that calls other POSIX functions with asynchronous cancellation enabled is nonconforming. Consequently, we recommend disallowing asynchronous cancellation, as explained by POS47-C. Do not use threads that can be canceled asynchronously.
Code Block | ||||
---|---|---|---|---|
| ||||
void func(void *foo) { /* Execution of thread */ } int main(void) { int result; pthread_t thread; if ((result = pthread_create(&thread, NULL, func, 0)) != 0) { /* Handle Error */ } if ((result = pthread_cancel(thread)) != 0) { /* Handle Error */ } /* Continue executing */ return 0; } |
Risk Assessment
Sending the signal to a process causes it to be abnormally terminatedMixing signals and threads causes undefined behavior.
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
---|---|---|---|---|---|
CON37-C | low | probable | low | P6 | L2 |
...
[OpenBSD] signal()
Man Page
[ISO/IEC 9899:2011]
[MKS] pthread_cancel()
Man Page
[Open Group 2004] Threads Overview
...