C++的std::barrier和std::latch是什么_C++20中简化线程同步的并发工具

std::latch用于一次性同步,主线程等待多个工作线程完成任务,计数归零后释放;std::barrier支持重复使用,所有线程周期性汇合,可执行阶段回调,适用于多轮同步。两者均简化了线程协调,区别在于生命周期、回调支持和参与模型:latch适合单次等待,barrier适用于迭代场景。正确设置初始计数并确保各线程正确调用操作是关键。

在C++20中,std::barrierstd::latch 是两个新增的并发同步工具,它们用于简化多线程编程中的协调操作。相比传统的互斥量、条件变量等机制,这两个工具提供了更高层次的抽象,使代码更清晰、更安全。

std::latch:一次性倒计时门闩

std::latch 是一个一次性的同步点,允许一个或多个线程等待,直到某个计数器递减到零。它只能使用一次,一旦计数归零,就无法重置。

常见用途包括主线程启动多个工作线程后,等待它们全部完成。

  • 初始化时指定计数值(如 3)
  • 每个线程完成任务后调用 count_down()
  • 其他线程可调用 wait() 阻塞,直到计数归零
  • 支持 arrive_and_wait() 快速到达并等待归零

示例场景:启动5个线程处理数据块,主线程用 latch 等待全部完成。

std::barrier:可重复使用的屏障

std::barrier 与 latch 类似,但支持重复使用。所有参与线程必须同时到达屏障点,当最后一个线程到达时,所有线程被同时释放,并可选择执行一个“阶段完成”回调函数。

适用于需要分阶段执行的并行算法,比如迭代计算、模拟步进等。

  • 构造时指定参与线程数量
  • 每个线程调用 arrive_and_wait() 等待其他线程汇合
  • 所有线程汇合后继续执行下一阶段
  • 可在构造时传入回调函数,在每次屏障释放前执行

与 latch 不同,barrier 可在每轮迭代中重复使用,适合循环同步。

两者的关键区别

虽然都用于线程同步,但设计目的不同:

  • 生命周期:latch 一次性使用;barrier 可多次复用
  • 灵活性:barrier 支持阶段回调,latch 不支持
  • 参与模型:latch 的计数可由任意线程减少;barrier 要求固定数量线程周期性汇合

选择依据:如果只是等待一组操作完成,用 latch;若需多轮同步协作,选 barrier。

基本上就这些。C++20 引入这两个工具,让开发者能以更简洁的方式表达常见的同步模式,减少出错可能。不复杂但容易忽略的是:正确设置初始计数和确保每个线程只触发一次操作,是使用它们的关键。