Точки отмены в обработчиках сигналов?
-
26-09-2019 - |
Вопрос
Что произойдет, если программа вызовет функцию, которая является точкой отмены из обработчика сигнала?Существует ряд функций, которые POSIX определяет как безопасные для асинхронного сигнала, так и точки отмены.Если обработчик сигнала вызывает такую функцию и выполняется отмена, результат очень похож на то, что произошло бы, если бы поток включил асинхронную отмену - на самом деле намного хуже, потому что все обработчики очистки отмены, которые, вероятно, не являются асинхронными сигналами. Safe будет вызываться из контекста обработчика сигнала.
Что на самом деле определяет POSIX в этом случае и что на самом деле делают реализации?Я не могу найти ни одного языка в POSIX, который запрещал бы действие точек отмены в обработчиках сигналов, а также какой-либо такой защиты в исходном коде glibc/nptl.
Решение
Я не знаю, осмелится ли POSIX вообще упомянуть эту тему, но я не проводил исчерпывающего поиска.
Некоторые краткие эксперименты с системой gcc/nptl показывают, что, как я и подозревал, и я думаю, что вы тоже, в NPTL нет такой защиты - обработчики отмены действительно вызываются из контекста обработчика сигнала.
Программа ниже (приносим извинения за хакерство и т. д.) отображает следующий вывод:
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);
}