一定时间后强制终止方法

Forcibly terminate method after a certain amount of time

本文关键字：终止 方法 定时间      更新时间：2023-10-16

假设我有一个函数，其原型如下所示，属于类container_class：

std::vector<int> container_class::func(int param);

该函数可能会也可能不会在某些输入上引起无限循环;无法判断哪些输入会导致成功，哪些会导致无限循环。该函数位于一个我没有源代码且无法修改的库中(这是一个错误，将在几个月后的下一个版本中修复，但现在我需要一种方法来解决它)，因此修改函数或类的解决方案将不起作用。

我尝试使用std::async和std::future隔离函数，并使用 while 循环不断检查线程的状态：

container_class c();
long start = get_current_time(); //get the current time in ms
auto future = std::async(&container_class::func, &c, 2);
while(future.wait_for(0ms) != std::future_status::ready) {
if(get_current_time() - start > 1000) {
//forcibly terminate future
}
sleep(2);
}

这段代码有很多问题。一是我不能强制终止std::future对象(以及它所代表的线程)。

在极端情况下，如果我找不到任何其他解决方案，我可以将函数隔离在其自己的可执行文件中，运行它，然后检查其状态并适当地终止它。但是，我宁愿不这样做。

我怎样才能做到这一点？有没有比我现在正在做的事情更好的方法？

你运气不好，对不起。

首先，C++甚至不能保证将来会有一个线程来执行。尽管在单个线程中实现所有std::async保证非常困难(可能不可能)，但没有直接禁止这样做，而且，当然也不能保证每个async调用都有一个线程。因此，无法取消异步执行。

其次，即使在最低级别的线程实现中也没有这种方式。例如，虽然pthread_cancel存在，但它不会保护您免受不访问取消点的无限循环的影响。

你不能在 Posix 中任意杀死一个线程，C++线程模型都是基于它的。一个进程真的不能成为它自己的线程的调度程序，虽然有时它很痛苦，但它就是这样。

相关文章：