c - POSIX 是否指定只有一个信号可以中断 pselect？

Question

POSIX pselect function采用信号掩码参数。在函数开始执行之前，信号掩码被“原子地”设置为当前掩码，并在函数返回时恢复。

这允许在函数执行时取消屏蔽以其他方式屏蔽的信号，并在函数返回时再次屏蔽。可以保证^*，如果捕获到以这种方式揭露的信号，pselect 函数将被信号中断，并且(除非用 指定信号 Action SA_RESTART 标志)将返回一个 EINTR 错误。

(*:或者是吗？上面链接的文档中的语言似乎允许在 pselect 由于看到文件就绪而解锁时 之间接收到信号或超时，当它用原始信号掩码替换信号掩码时，不一定会导致 EINTR，因为如果“函数在阻塞时被中断......”，则需要 EINTR - 但是，这最终不会影响这个问题)。

我的问题是:假设在 pselect 执行期间两个单独的信号被暂时暴露，是否有可能在 pselect 函数返回之前捕获这两个信号并且之前的信号信号掩码已恢复 - 或者是否有某种保证在这种情况下只会捕获一个信号(另一个未决)？ (出于这个问题的目的，假设 SA_RESTART 没有为信号操作设置，并且当信号处理程序通过 sigaction< 建立时，所有信号都被指定为在执行信号处理程序期间被屏蔽)。

我找不到任何迹象表明只能处理一个信号，但我可能遗漏了一些东西，我正在编写一些代码，这将是一个非常有用的保证。我很想知道 POSIX 本身是否提供任何保证，以及不同的操作系统是否独立提供这样的保证。

Answer 1

没有，但它也没有指定多个信号可以或必须。由于它是未指定的，因此最好遵循一般规则，该规则允许处理所有未决的未屏蔽信号。如果您试图严格依赖于此，您可能会走上一条错误的道路，因为异步事件的时间很难预测。

一般来说，很难实现强加“只有一个”限制的实现，因为操作系统运行时必须保留一个或多个信号未决，但直到某个未指定的点才被屏蔽。请记住，在 pselect 中断时运行的信号处理程序可以执行 siglongjmp 而不是返回，因此内核必须保留一个复杂的、可能是无限的数据结构来跟踪要执行的信号掩码。

以下是您的测试程序的修改版本。在这一个中，每个事件都通过 write() 发出一个字符串，因此不存在缓冲问题。该程序将其“主要”环境设置为屏蔽 SIGUSR1、SIGUSR2；但是当 pselect 运行时，它允许 SIGUSR1、SIGUSR2、SIGTERM。该程序 fork ，父级(默认:)处于调用 pselect() 的循环中，然后在完成后输出“.”。 child 坐在一个循环中，将 SIGUSR1、SIGUSR2 传递给 parent ，然后睡一会儿。它在传递信号后输出“^”。处理程序分别为 SIGUSR1、SIGUSR2 发出前缀“(1”或“(2”；然后休眠一会儿，并输出“)”以指示休眠已完成。

我在 macos(10.12.6，但我怀疑它是否重要)上看到的输出是:^(2)(1).^(2)(1).^(2)(1).^(2)(1).终止:15这表明每次调用 pselect() 时都会运行 SIGUSR1 和 SIGUSR2 的信号处理程序。这是我所期望的；因为它的设计不允许存在不确定性窗口，就像将 select() 与 sigprocmasks() 括起来的情况一样。

#include <stdio.h>
#include <signal.h>
#include <sys/select.h>
#include <unistd.h>

void handle(int signo)
{
    char s[2];
    s[0] = '(';
    s[1] = signo == SIGUSR1? '1' : '2';
    write(1, s, 2);
    sleep(1);
    write(1, ")", 1);
}

int main(int argc, char **argv)
{
  sigset_t mask;
  sigemptyset(&mask);
  sigaddset(&mask, SIGUSR1);
  sigaddset(&mask, SIGUSR2);
  sigprocmask(SIG_SETMASK, &mask, NULL);

  sigfillset(&mask);
  sigdelset(&mask, SIGUSR1);
  sigdelset(&mask, SIGUSR2);
  sigdelset(&mask, SIGTERM);
  signal(SIGUSR1, handle);
  signal(SIGUSR2, handle);
  pid_t t = fork();
  switch (t) {
  default:
    while (1) {
            /* no USR1, USR2 */
            pselect(0, NULL, NULL, NULL, NULL, &mask);
            /* no USR1, USR2 */
            write(1, ".", 1);
    }
    break;
  case 0:
    t = getppid();
    for (int i = 0; i < 4; i++) {
        kill(t, SIGUSR1);
        kill(t, SIGUSR2);
        write(1, "^", 1);
        sleep(5);
    }
    kill(t, SIGTERM);
    break;
  case -1:
    perror("fork\n");
  }
  return 0;
}