C ++ 11在同一线程中执行块但超时

Question

假设我们有一段代码，我们只是不能修改它，但我们想破坏它，当它运行时间过长（x 毫秒）时退出这段代码

伪代码

Throw exception after (500ms) {
    auto result = Do some risky job, for example test string by regex with catastrophic backtracking risk.
}
catch ( Exception e ) {
    //... 
}

每件事都必须在同一个线程中。

是否可以使用 c++11 或其他标准？

Answer 1

FreeBSD（以及所有其他 linux 类型）具有“SigAlarm”：Reference here

这将允许您设置计时器；当事件被触发时，您当前的代码被中断，并调用信号处理程序，由您之前对signal的调用设置@

这将允许您设置一个标志，您的非常危险的线程可以检查该标志；如果需要，然后抛出。

它不允许您以您想要的方式直接引发异常，但它允许您保持应用程序单线程。

Answer 2

一般来说，如果没有在代码中或在代码调用的代码中引发异常的代码，C++ 无法在代码中引发异常。

您可以嵌入 ASL、脚本语言或单独的进程。所有 3 个都可以设计为被中断（例如，可以终止进程）。

Boost 具有可中断的线程。它的工作原理是它在 boost 同步原语（互斥锁等）中有钩子，因此当您与它们交互时，它会检查您的线程是否已被告知停止。如果是，则抛出异常。

一个简单的部分解决方案是

std::vector<std::future<R()>> futures;
futures.push_back( std::async( std::launch::async, []()->R{ /* code */ ) );
using std::chrono::literals;
if (futures.back().wait_for(500ms)==std::future_status::ready) {
  auto r = futures.back().get();
  futures.pop_back();
  clear_ready_futures(futures); // wait for 0ms and if so, discard and destroy
  return r;
}
// failed case

这里我们的futures 存储了已失效的期货（实际上是线程）。 clear_ready_futures 清除所有已完成的旧文件。

已经开始的任务仍然会运行到完成，占用cpu，但调用代码不必等待它们。