信号处理程序中的取消点？

Question

信号处理程序中的取消点？

8

如果一个程序从信号处理器中调用一个被定义为异步信号安全和可取消点的函数会发生什么？POSIX规定了许多函数既是异步信号安全的又是可取消点的。如果信号处理器调用这样的函数并且取消被执行，结果与线程启用异步取消相似，但实际上更糟糕，因为所有取消清理处理程序都将从信号处理器上下文中调用，这些处理程序可能不是异步信号安全的。

在这种情况下，POSIX实际上规定了什么？实现会做什么？我在POSIX中找不到任何禁止在信号处理器中使用取消点的语言，也没有在glibc/nptl源代码中找到相关保护。

- R.. GitHub STOP HELPING ICE

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- psmears · Accepted Answer

我不知道POSIX是否会涉及到这个话题，但我没有进行全面的搜索。

通过使用gcc / nptl系统进行简短的实验，显示出来就像我所怀疑的那样，NPTL中没有此类保护 - 取消处理程序确实会从信号处理程序上下文中调用。

下面的程序（对于hackiness等方面的道歉）将显示以下输出：

Signal handler called
Sent cancellation
Cleanup called
In sighandler

这段代码表明：

信号处理程序被调用
另一个线程接着调用了 pthread_cancel()
取消处理程序随后被调用，但信号处理程序没有完成

以下是程序代码：

#include <stdio.h>
#include <pthread.h>
#include <signal.h>
#include <string.h>
#include <unistd.h>
#include <assert.h>

pthread_t mainthread;

int in_sighandler = 0;

void
cleanup (void *arg)
{
    write(1, "Cleanup called\n", strlen("Cleanup called\n"));
    if (in_sighandler) {
        write(1, "In sighandler\n", strlen("In sighandler\n"));
    } else {
        write(1, "Not in sighandler\n", strlen("In sighandler\n"));
    }
}


void
sighandler (int sig, siginfo_t *siginfo, void *arg)
{
    in_sighandler = 1;
    write(1,"Signal handler called\n", strlen("Signal handler called\n"));  // write() is a CP
    usleep(3000000); // usleep() is a CP; not strictly async-signal-safe but happens to be so in Linux
    write(1, "Signal handler exit\n", strlen("Signal handler exit\n"));
    in_sighandler = 0;
}

void *
thread (void *arg)
{
    sleep(1);
    pthread_kill(mainthread, SIGUSR1);
    usleep(500000);
    pthread_cancel(mainthread);
    printf("Sent cancellation\n");
    return (NULL);
}

int
main (int argc, char **argv)
{
    int rc;
    struct sigaction sa;
    pthread_t threadid;

    mainthread = pthread_self();

    // Set up a signal handler to test its cancellation properties
    sa.sa_sigaction = &sighandler;
    sigemptyset(&sa.sa_mask);
    sa.sa_flags = SA_SIGINFO;
    rc = sigaction(SIGUSR1, &sa, NULL);
    assert(rc == 0);

    // Set up a thread to send us signals and cancel us
    rc = pthread_create(&threadid, NULL, &thread, NULL);
    assert(rc == 0);

    // Set up cleanup handlers and loop forever
    pthread_cleanup_push(&cleanup, NULL);
    while (1) {
        sleep(60);
    }
    pthread_cleanup_pop(0);
    return (0);
}