提升上下文:异常传播的问题

Question

我正在使用boost::context::execution_context(版本2(编写C 11库，我想从execution_context传播异常到调用执行。

我想处理客户端给我库功能的lambda内部的异常；但是，我遇到了一个奇怪的问题，在某些情况下，BOOST ::无法正确处理例外。

。

这可以按预期工作，并且与Boost的一些测试和示例非常相似：

TEST(execution_context, works) {
  // Client callable
  auto &&f = [](boost::context::execution_context<void> &&ctx) {
    throw std::runtime_error("help!");
    return std::move(ctx);
  };
  // Library code
  std::exception_ptr exc{};
  boost::context::execution_context<void> source(
      [&exc, &f](boost::context::execution_context<void> &&ctx) {
        try {
          ctx = f(std::move(ctx));
        } catch (boost::context::detail::forced_unwind const &) {
          throw;
        } catch (...) {
          exc = std::current_exception();
        }
        return std::move(ctx);
      });
  try {
    source = source();
    if (exc) {
      std::rethrow_exception(exc);
    }
  } catch (std::runtime_error const &) {
    std::cout << "Runtime Error Caught" << std::endl;
  }
}

输出：

[ RUN      ] execution_context.works
Runtime Error Caught
[       OK ] execution_context.works (0 ms)

但是以下更改不起作用：

我们添加了包装execution_context的类：

class Core {
  boost::context::execution_context<void> ctx_;
public:
  explicit Core(boost::context::execution_context<void> &&ctx)
      : ctx_{std::move(ctx)} {}
  auto &&done() { return std::move(ctx_); }
};

现在我们进行了与以前相同的测试，但使用定义的类：

TEST(execution_context, fails) {
  // Client callable
  auto &&f = [](Core c) {
    throw std::runtime_error("help!");
    return c.done();
  };
  // Library code
  std::exception_ptr exc{};
  boost::context::execution_context<void> source(
      [&exc, &f](boost::context::execution_context<void> &&ctx) {
        try {
          ctx = f(Core(std::move(ctx)));
        } catch (boost::context::detail::forced_unwind const &) {
          throw;
        } catch (...) {
          exc = std::current_exception();
        }
        return std::move(ctx);
      });
  try {
    source = source();
    if (exc) {
      std::rethrow_exception(exc);
    }
  } catch (std::runtime_error const &) {
    std::cout << "Runtime Error Caught" << std::endl;
  }
}

输出：

[ RUN      ] execution_context.fails
unknown file: Failure
Unknown C++ exception thrown in the test body.
generators.t.tsk: /home/plewis/dpkg/refroot/amd64/opt/include/boost/context/detail/exception.hpp:37: boost::context::detail::forced_unwind::~forced_unwind(): Assertion `caught' failed.
zsh: abort (core dumped)  ./test.t.tsk

我注意到的唯一区别是execution_context包含在类中，这会导致例外不正确。那没有道理。

环境

我正在使用gtest。

编译器

> g++ --version
g++ (GCC) 5.3.1 20160406 (Red Hat 5.3.1-6)
...

系统

> uname -a
Linux myhostname 2.6.32-642.6.2.el6.x86_64 #1 SMP Mon Oct 24 10:22:33 EDT 2016 x86_64 x86_64 x86_64 GNU/Linux

Boost

boost version 1.69.0 compiled for amd64

Answer 1

问题是移动ctx实例。假设您有两个 execution_context的实例：

execution_context src, dest;
// src and dest have some states
dest = std::move(src); // [1]

在[1]中，我们调用Move分配运算符，该操作员"窃取" src的资源，并将其放入dest中。如果execution_context具有指针，则在src实例中，移动后的指针将为0，因此该对象无用，不应使用。上面的任何操作都可以调用一些不希望的行为。

在简短版本中，您的代码看起来像：

void foo ()
{
  auto &&f = [](Core c) {};
  boost::context::execution_context<void> source(
      [&exc, &f](boost::context::execution_context<void> &&ctx) {
        // many lines        
        return std::move(ctx);
      });
    source = source();
}

我们有两个上下文， foo和lambda的主体传递给源构造函数。当source()称为上下文时，切换了上下文，并恢复foo并执行lambda。在此lambda中，foo的上下文被破坏了，因为它只是将其移至Core实例中。那么，您要如何恢复foo执行？你不能。

核心问题：

class Core {
  boost::context::execution_context<void> ctx_;
public:
  explicit Core(boost::context::execution_context<void> &&ctx)
      : ctx_{std::move(ctx)} {} // [2]
  auto &&done() { return std::move(ctx_); }
};

ctx_是非参考数据成员，因此在[2]中称为"移动构造函数"，它窃取了CTX的资源。

下一个问题将是done方法，如果没有引发异常：看看这个：

  auto &&f = [](Core c)
  {
    // throw std::runtime_error("help!"); COMMENTED
    return c.done();
  };

c是lambda内部的本地。done返回对Core的数据成员的引用，该数据成员在Lambda结束时被销毁。因此，您有悬挂的参考。

修复：您可以将Core中的上下文引用。那么foo的原始上下文将是安全的。