std::latch用于一次性同步,如主线程等待多线程初始化完成;std::barrier支持重复使用,适用于多轮并行计算的周期性同步,且可执行完成回调。

在c++20中,std::barrier 和 std::latch 都是用于线程同步的工具,它们允许多个线程在某个点上进行协调。虽然它们看起来相似,但设计目的和使用场景有明显区别。
1. 生命周期与重用性
std::latch 是一次性使用的同步机制。一旦它的计数器到达零,所有等待的线程被释放,之后不能再重置或重复使用。它就像一道门,打开后就永远开着。
std::barrier 支持多次使用。每次所有参与线程到达屏障点后,会触发一个可选的完成函数,然后重置状态,允许下一轮同步。这使得它适用于需要周期性同步的场景。
2. 同步模式不同
std::latch 通常由一个线程设置初始计数值,多个工作线程调用 count_down() 来递减计数。当计数归零时,所有等待在 wait() 或 arrive_and_wait() 的线程被唤醒。
立即学习“C++免费学习笔记(深入)”;
- 常用于“等待N个任务完成”这类场景。
- 例如:主线程等待10个子线程全部初始化完毕。
std::barrier 要求每个参与线程都显式调用 arrive_and_wait()(或相关方法),直到指定数量的线程到达后才集体继续执行。
- 适合“所有线程必须同时到达某一点”的情况。
- 例如:并行计算中的多轮迭代,每轮都需要所有线程完成当前阶段才能进入下一阶段。
3. 灵活性与回调支持
std::barrier 提供了更高级的功能,比如可以在所有线程到达后自动执行一个“完成函数”(completion function)。这个函数只运行一次,可用于清理、日志记录或更新共享状态。
std::latch 没有这种机制,它的行为更简单直接,只负责等待计数归零。
4. 典型应用场景对比
假设你有5个线程要协作:
- 如果只是想让主线程等待这5个线程做完某件事 —— 用 std::latch 更合适。
- 如果这5个线程需要反复在多个阶段同步(如并行算法的每一步),则 std::barrier 是更好的选择。
基本上就这些。两者都能实现线程汇合,但std::latch偏重单次事件通知,std::barrier侧重周期性同步协作。根据是否需要重复使用和是否有阶段性协同需求来选择即可。不复杂但容易忽略的是生命周期差异,误用可能导致逻辑错误或资源浪费。


