c++ - 如何在 Boehm GC 中使用 Boost.Coroutine？

Question

Boost.Coroutine 分配自己的调用堆栈。Boehm GC 是否将这些堆栈上的指针视为根，如果不是，我怎样才能做到这一点？在上下文切换到协程后，Boehm 终止程序。

Answer 1

大概 Boost.Coroutine 中的代码保存了一个指向它分配的调用堆栈的指针，并将它存储在一个“通常”的地方来存储指针（例如，一些指针变量）。

如果是这种情况，那么是的，GC 会将指针从存储它的变量“追逐”到调用堆栈，并从那里（递归地）通过它包含的任何指针。

Answer 2

目前 boost 没有提供挂钩分段堆栈分配的方法，所以这里有一个固定大小堆栈的解决方案。

#include <gc/gc.h>
#include <gc/gc_cpp.h>
#include <boost/coroutine2/coroutine.hpp>
#include <boost/coroutine2/protected_fixedsize_stack.hpp>
#include <boost/context/stack_context.hpp>

class BoehmGCStackAllocator {
    boost::coroutines2::protected_fixedsize_stack stack;

    // This is specific to boost::coroutines2::protected_fixedsize_stack.
    // The stack protection page is included in sctx.size, so we have to
    // subtract one page size from the stack size.
    std::size_t pfss_usable_stack_size(boost::context::stack_context &sctx) {
      return sctx.size - boost::context::stack_traits::page_size();
    }

  public:
    boost::context::stack_context allocate() {
        auto sctx = stack.allocate();

        // Despite what the boost docs warn, the only *implemented* stack direction
        // is "down". This is why we subtract the stack size.
        GC_add_roots(static_cast<char *>(sctx.sp) - pfss_usable_stack_size(sctx), sctx.sp);
        return sctx;
    }

    void deallocate(boost::context::stack_context sctx) {
        GC_remove_roots(static_cast<char *>(sctx.sp) - pfss_usable_stack_size(sctx), sctx.sp);
        stack.deallocate(sctx);
    }

};

然后在创建协程时提供它。

auto coro = boost::coroutines2::coroutine<std::string>::pull_type(BoehmGCStackAllocator{}, [&](coro_t::push_type & yield) {
   // ...
}