C++:函数外部的超时功能

Question

我有一个函数可以执行可能非常慢的计算(有关基本示例，请参见下文(。该函数不写入现有资源，没有副作用，并且仅对其所有变量使用自动分配(因此，在标准库内的任何调用之外，永远不会调用new和delete(。

是否可以在函数运行一段时间后使函数超时并释放它请求的堆内存，而无需修改函数本身？

//Returns all primes up to n (fairly bad implementation; the idea is that it runs too long)
std::vector<int> primes(int n) {
std::vector<int> list={2};
for (int i = 3; i <= n; i++) {
bool flag= 0;
for (const auto& j : list) {
if (i % j == 0) {
flag= 1;
break;
}
}
if (!flag)
list.push_back(i);
}
return list;
}

main看起来像这样：

int main(){
std::vector<std::vector<int>> list_of_lists(6);
#pragma omp parallel for num_threads(6)
for (int n = 1; n < 7; n++) {
//I want the assignment below to make list_of_lists[n-1] empty if it takes more than 5 secs
list_of_lists[n-1] = primes(n*100000);
}
//use the list_of_lists
}

不得修改函数primes本身。

有一种方法可以使用std::async来检查从函数外部经过的时间，但不幸的是，没有办法在std::future完成之前杀死它。所以我想知道最好的方法是什么。

Answer 1

在函数没有注意到的情况下，任何类型的"终止"都是有风险的。 你能做的最好的事情就是有一个循环，定期检查函数外部可见的"终止"标志并退出，或者测量函数内经过的时间。

for(;;)
{
if (bExit)
break;
// calculations here
}

不好的方法是在经过一段时间后终止的线程中运行函数。

Answer 2

严格来说，没有办法知道什么时候是安全的，以及如何在函数运行时修复程序的可修改状态。

函数可以分配资源，甚至是内部程序资源。为此，它需要修改全局数据结构，这些修改可能不是原子的，如果是，也不会被正确逆转。

你需要一些合作。