std::scoped_lock发生阻塞时的运行逻辑是怎样的？

核心基础说明 #

std::scoped_lock 是C++17引入的RAII风格锁包装器，本身不实现任何加锁、解锁的底层逻辑，所有锁操作都会代理给传入的std::mutex（或其他符合互斥量要求的对象）完成，你观察到的阻塞、唤醒行为本质是底层互斥量的特性。 #

阻塞场景行为说明 #

针对你提到的锁被占有时的阻塞场景，相关疑问的解答如下：

• 当持有锁的线程A释放互斥量后，等待的线程B会被操作系统自动唤醒，并且自动完成加锁操作，不需要你编写任何重试逻辑。std::scoped_lock的构造函数会调用互斥量的lock()方法，该方法是阻塞式调用，只有成功拿到锁之后才会返回，构造完成后线程B就可以正常执行临界区代码。
• 线程B阻塞时不会进入忙等死循环占用CPU资源。底层互斥量的实现依赖操作系统提供的同步原语（Linux下为futex、Windows下为等待队列），阻塞状态的线程会被操作系统挂起，CPU时间片会分配给其他可运行的线程，只有锁被释放时，操作系统才会将等待线程加入就绪队列等待调度，全程没有无效的CPU占用。

std::scoped_lock完整工作流程 #

• 构造阶段：支持接收1个或多个互斥量，内部使用避免死锁的算法对所有互斥量执行加锁操作，所有互斥量加锁成功后构造完成，临界区进入安全持有状态。
• 生命周期内：不对外暴露任何手动加锁、解锁接口，避免人为操作破坏RAII语义。
• 析构阶段：当std::scoped_lock对象超出作用域时，会按构造时的逆序对所有持有的互斥量执行unlock()操作，即使临界区内抛出异常也能保证锁被正常释放，不会出现资源泄漏或死锁。

使用注意事项 #

• 不要手动操作被std::scoped_lock管理的互斥量的lock()/unlock()方法，所有锁生命周期管理完全交给std::scoped_lock处理，避免重复解锁、锁泄漏等问题。
• 需要同时持有多个互斥量时必须优先使用std::scoped_lock，不要自己依次调用多个互斥量的lock()方法，std::scoped_lock内部的死锁避免逻辑可以有效规避「线程A持锁1等锁2、线程B持锁2等锁1」的循环等待死锁问题。
• 尽量缩小std::scoped_lock的作用域，仅在需要访问临界资源的代码块内定义std::scoped_lock对象，减少锁持有时间，提升整体并发性能。

内容的提问来源于stack exchange，提问作者user2138149