8

プログラムがシグナル ハンドラからキャンセル ポイントである関数を呼び出すとどうなりますか? POSIX が async-signal-safe と cancel ポイントの両方として指定する多くの関数があります。シグナル ハンドラーがそのような関数を呼び出し、キャンセルが実行された場合、結果は、スレッドが非同期キャンセルを有効にした場合に発生する結果と非常に似ています。安全で、シグナルハンドラーコンテキストから呼び出されます。

この場合、POSIXは実際に何を指定し、実装は実際に何をしますか? POSIX には、シグナル ハンドラのキャンセル ポイントの実行を禁止する言語も、glibc/nptl ソースにそのような保護も見つかりません。

4

1 に答える 1

4

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);
}
于 2010-11-23T21:52:05.600 に答える