是否可以在信号处理程序中设置承诺？

Question

我正在寻找一种方法来停止每 2 秒执行一次任务的线程。我决定尝试使用 std::promise/future 以便在设置承诺时线程可以立即退出。

#include <future>
#include <iostream>
#include <chrono>
#include <csignal>

std::promise<void> stop;

int main() {

    std::signal(SIGINT, [] (int)  { stop.set_value(); } );

    auto future = stop.get_future();

    while (future.wait_for(std::chrono::seconds(1)) != std::future_status::ready) {
            std::cout << "I'm still there" << std::endl;
    }
}

实际上这不起作用并以这种方式崩溃：

$ ./a.out 我还在 ^Cterminate 在抛出“std::system_error”的实例后调用
what(): 未知错误 -1 放弃 （核心转储）

好的，一个人应该注意他在处理程序上下文中所做的事情，但我必须说我没想到会发生这种崩溃；而且我真的不明白... 你有什么想法吗？

Answer 1

我相信您在这里所拥有的是由于在信号处理程序中调用标准库函数（不在信号安全函数列表中）而导致的未定义行为。

信号处理函数（即用户定义）的限制很广泛，是documented here。

要注意的另一件事是，信号处理程序是否引用了任何具有静态或线程本地（C++11 起）存储持续时间不是std::atomic（C++11 起）或volatile std::sig_atomic_t 的对象.

正如@BasileStarynkevitch 指出的那样，如果您在Linux 上，请确保从信号处理程序中仅调用async-signal-safe 函数。