Linux：信号处理程序执行可以被抢占吗？

我遇到了以下信号处理程序代码,它存储了errno变量,因此它不会影响主线程的errno处理.

void myhandler(int signo)
{
    int esaved;
    esaved = errno;
    write(STDOUT_FILENO,"Got a signal\n",13);
    errno = esaved;
}

但这真的有用吗？如果另一个线程在write()之后和恢复errno之前检查共享errno变量会发生什么？由于竞争条件,该线程是否会出错？

或者信号处理程序相对于线程/进程以原子方式执行,这样一旦信号处理程序执行,内核就不会调度线程直到信号处理程序完成？

换句话说 – 一旦启动,执行信号处理程序而不会被中断：

- 1) Scheduler (process/threads),or  
 - 2) Other signals,or
 - 3) Hardware interrupt handlers  ?

解决方法

变量errno是特定于线程的 – 或者更确切地说,在线程环境中,是线程本地或每线程值 – 因此在此线程中对errno所做的操作不会影响其他线程中的errno.

代码保存和恢复errno的目的是隐藏myhandler()中write()系统调用设置的任何错误.但是如果write()失败,它可能会将errno设置为一些新值 – 它不会为零,但这就是你所能说的 – 但是你要求的代码在写入调用之前恢复了值( )在调用write()之后,所以写入发生的事实是“不可见的”,因为它不会影响该线程的errno.

信号处理器功能本身可以被信号中断,该信号不被信号掩码阻挡,以响应它所响应的信号.它也可以重新安排.硬件中断也可能发生,但代码将很难注意到这些影响.

在Linux上,您可能会找到定义宏errno的/usr/include/bits/errno.h(包含在比此处所示的#ifdef代码更多的代码中)：

extern int *__errno_location (void) __THROW __attribute__ ((__const__));

#  if !defined _LIBC || defined _LIBC_REENTRANT
/* When using threads,errno is a per-thread value.  */
#   define errno (*__errno_location ())
#  endif