在这种情况下如何处理SIGCHILD信号？

Question

我想了解这一段代码，

int count =0; 
void handler(int sig){ 
    count++; 
} 

int main(){ 
    signal(SIGCHILD,handler); 
    for(int i=0;i<4;i++){ 
     if(!fork()){ 
      exit(0); 
     } 
    } 

    while(wait(NULL) ! = -1){ 

    } 

    print(count) 
} 

于是，我想到的是，因为有4个SIGCHILD信号，处理器有望被称为四倍。但是，由于我们可以有最多一个未决信号，因此可能会丢弃一些信号并且计数可能不是四。

但是，如果父进程在单个子进程退出之前等待调用等待，那么将如何处理SIGCHILD信号？在这种情况下，计数是4吗？

在这种情况下，SIGCHILD，处理程序代码和父进程等待之间的流程如何？

Answer 1

你的代码的有些清理后的版本成为MCVE（Minimal, Complete, Verifiable Example）：

#include <assert.h> 
#include <errno.h> 
#include <signal.h> 
#include <stdio.h> 
#include <stdlib.h> 
#include <sys/wait.h> 
#include <unistd.h> 

static volatile sig_atomic_t count = 0; 

static void handler(int sig) 
{ 
    assert(sig == SIGCHLD); 
    count++; 
} 

int main(void) 
{ 
    signal(SIGCHLD, handler); 
    for (int i = 0; i < 4; i++) 
    { 
     if (fork() == 0) 
     { 
      exit(16 * (i + 1)); 
     } 
    } 

    int corpse; 
    int status; 
    while ((corpse = wait(&status)) != -1 || errno == EINTR) 
    { 
     if (corpse == -1 && errno == EINTR) 
      printf("Interrupted by a signal\n"); 
     else 
      printf("Child %d exited with status 0x%.4X\n", corpse, status); 
    } 

    printf("Count = %d\n", count); 
    return 0; 
} 

当在Mac上运行的MacOS塞拉利昂10.12.4与GCC 6.3.0运行，我上了主题的变化的：

Child 74003 exited with status 0x1000 
Child 74004 exited with status 0x2000 
Child 74005 exited with status 0x3000 
Child 74006 exited with status 0x4000 
Count = 4 

在这个机器上（现代15" 2016年的MacBook Pro），我总是似乎得到的是作为输出 - 按顺序为孩子进程ID，与精心剪裁的退出状态

。

当我改变了处理程序是这样的（铭记的how to avoid calling printf() in a signal handler的限制 - 是的，我知道我可以键入STDIN_FILENO，而不是一些人1 S的）：

static void handler(int sig) 
{ 
    assert(sig == SIGCHLD); 
    count++; 
    char s[2] = { count + '0', '\n' }; 
    write(1, "SH: count = ", sizeof("SH: count = ")-1); 
    write(1, s, 2); 
} 

然后输出改为更多的东西像这样：

SH: count = 1 
SH: count = 2 
Child 74113 exited with status 0x1000 
Child 74114 exited with status 0x2000 
SH: count = 3 
Child 74115 exited with status 0x3000 
SH: count = 4 
Child 74116 exited with status 0x4000 
Count = 4 

这表明信号处理程序在循环过程中的不同时间被调用。 BSD信号处理程序（和macOS或Darwin有些基于BSD）倾向于重新启动系统调用而不是中断。因此，我所看到的不一定是您在不同平台上看到的内容。

例如，在一个Ubuntu 16.04 LTS VM上运行，我得到的输出：

SH: count = 1 
Child 13310 exited with status 0x4000 
Child 13309 exited with status 0x3000 
Child 13308 exited with status 0x2000 
Child 13307 exited with status 0x1000 
Count = 1 

然而，随着信号处理的另一适应 - 恢复的信号处理，信号处理，因为传统通过signal()设定处理程序（非BSD）的行为是被称为处理函数之前默认的复位，并检查书面因为Linux已经到位警告，如果你忽略write()返回值的字节数：

static void handler(int sig) 
{ 
    //assert(sig == SIGCHLD); 
    signal(sig, handler); 
    count++; 
    char s[2] = { count + '0', '\n' }; 
    int nb = write(1, "SH: count = ", sizeof("SH: count = ")-1); 
    assert(nb == sizeof("SH: count = ")-1); 
    nb = write(1, s, 2); 
    assert(nb == 2); 
} 

然后输出成为：

SH: count = 1 
Child 13838 exited with status 0x4000 
SH: count = 2 
Child 13837 exited with status 0x3000 
SH: count = 3 
Child 13836 exited with status 0x2000 
SH: count = 4 
Child 13835 exited with status 0x1000 
Count = 4 

所以，你可以看到，你看到的结果取决于您运行代码的平台上，并在handler()功能究竟是如何写的。