TBB task_groups不使用堆栈

TBB task_groups without using stack

本文关键字：堆栈 groups task TBB 更新时间：2023-10-16

我想在c++中执行一个后序树遍历。树可能很深，以至于我不能使用递归(它会耗尽堆栈)。相反，我创建了一个std::stack<...>，它将所有内容放在堆上，并在while循环中遍历树，而不是使用函数调用。

现在我想使用TBB并行化整个过程。我正在考虑在每个节点上创建一个task_group，并在每个子节点上运行相同的functor。但是我突然想到，这将遇到与我之前的树深度相同的问题:在最深路径的每个节点上运行functor将从堆栈中吃掉一些东西，直到整个东西用完。

有办法解决这个问题吗?或者整个事情都是我想象出来的;task_group::wait()背后有什么魔法可以避免这个问题吗?

来自TBB文档(关于隐式延续):

因为父线程阻塞，它的线程堆栈还不能弹出。线程必须小心它所做的工作，因为不断地窃取和阻塞可能会导致堆栈增长没有绑定。

这并不完全是关于那个，但它表明TBB没有使用任何堆栈魔法来清空当前阻塞任务的堆栈。这意味着当使用隐式延续时，稍后会出现堆栈溢出(分布在多个线程的堆栈中)。

使用显式延续可能解决问题，但这在很大程度上取决于线程调度器的内部TBB实现(没有文档记录)。有一个公平的机会，它将正确地工作-唯一的方法是查看TBB源代码，看看任务是如何处理的，或编写简单的测试程序与小堆栈，看看是否简单的东西将能够耗尽它。

只是一个注释，验证您需要为此使用延续。task_group::wait没有什么神奇的东西可以阻止它消耗堆栈。

task_group在PPL中，您可以使用MSDN博客中描述的任务延续，并在PPL示例包中提供。