Linux/POSIX多线程进程中多信号并行处理机制问询

前提条件 #

• 平台：Linux/POSIX
• 信号发送至整个进程，而非特定线程
• 无信号被设置为阻塞，均为默认状态
• 进程为多线程进程

已知基础：信号可能被随机线程处理，且信号处理函数执行期间，对应信号类型会被临时阻塞直至处理完毕。

核心问题解答 #

当多种不同类型信号同时到达时，不同类型的信号处理函数可以在多个线程上并行执行，并非全部交由单个随机线程处理。

以你举的例子说明：SIGHUP、SIGINT、SIGTERM几乎同时到达，进程有2个可用线程。此时可能的调度情况包括：

1. 两个信号的处理函数分别在两个线程上并行执行，第三个信号会等待任一线程处理完当前任务后，再被该线程接手处理；
2. 若系统调度时机合适，第三个信号可能会被分配给刚完成信号处理的空闲线程执行。

子问题解答 #

1. 后到达的信号是否会中断先执行的处理函数？
   不会。信号处理函数在用户态执行，同一线程处理信号时，不会被其他信号（哪怕是不同类型）抢占中断。只有当线程从当前信号处理函数返回后，才会处理线程队列中待处理的其他信号。

2. 是否存在中断栈？
   Linux默认不启用独立的信号栈，信号处理函数使用当前线程的栈。你可以通过sigaltstack()系统调用手动配置独立的信号栈，但这属于可选操作，非默认行为。

附带问题解答 #

如果信号处理函数存在并行执行的可能，必须使用mutex等线程同步机制保护共享资源，仅靠volatile sig_atomic_t是不够的：

• volatile sig_atomic_t仅能保证单个变量的原子读写操作，无法应对复杂的共享资源操作（比如多变量联动、链表增删等），也无法解决线程间的竞态条件；
• 只有当信号处理函数仅对volatile sig_atomic_t类型变量做简单读写，且无其他共享资源访问时，才不需要额外的同步机制。

对预期结论的修正 #

你的预期结论存在偏差：不同类型的信号并非全部交由单个随机线程处理，而是可以在多个线程上并行执行。至于你没见过使用mutex的示例，大多是因为这些场景仅涉及简单的原子变量操作，不需要复杂同步。

内容的提问来源于stack exchange，提问作者willswordpath