为什么std：：barrier分配？

Question

为什么std::barrier在堆上分配内存，而std::latch没有？

它们之间的主要区别是可以重用，而std：：latch不能重用，但我找不到解释为什么前者会分配内存。

Answer 1

虽然可以使用恒定的存储量作为对象的一部分来实现简单的屏障，但实际的屏障实现使用的结构

作为“更好”实现的一个例子，gcc libstdc实现使用树屏障。这避免了所有线程共享的单个计数器/互斥锁上的争用，树屏障可以在对数时间内传播“屏障完成，释放时间”信号，但需要线性空间来表示线程树。

不难想象，增强的树型屏障实现能够了解缓存/套接字/内存总线层次结构，并根据其物理位置对树中的线程进行分组，从而将跨核、跨芯片和跨套接字轮询降至所需的最低限度。

另一方面，闩锁是一种更加轻量级的同步工具。然而，我不太清楚为什么闩锁会被禁止分配-cppreference状态，

闩锁类是类型为std：：ptrdiff\u t的向下计数器

这表明它不应该分配（即，它只是一个计数器，没有空间容纳指向已分配对象的指针）。另一方面，标准中的[线程.锁存器]只说了“锁存器维护一个内部计数器，该计数器在创建锁存器时初始化”，而不禁止它进行分配。