C++条件变量唤醒问题 & notify_one() 唤醒不及时问题

条件变量唤醒问题 & notify_one() 唤醒不及时问题

因为我对于 C++中条件变量的等待唤醒部分、notify_all & notify_one 的区别方面有些疑点，因此就有了以下的同 chatgpt 的沟通，希望同样能够帮助到大家

感叹于 chatgpt的强大

问题？

• 我比较疑惑的是如果多个线程同时等待在一个条件变量上面（相同的判断函数），一个被唤醒了之后另一个会怎么样？还是继续阻塞？如果说获得互斥锁的那个线程没有更改条件（也就是说目前另一个线程的waiting的函数是能够返回true的）
• notify_all 和 notify_one的区别？什么情况下用 notify_all()?为什么多个线程等待的话使用 notify_one()会出现效率问题？

答案

• ❌（其实另一个线程还是会阻塞的，直到新的 notify 唤醒它）
  这里是错误的，改正后：如果是 notify_all(), 那么另外的线程同样也是早晚会被唤醒的，只是现在被阻塞了而已。当一个线程释放掉锁之后 其他的等待的线程还是会竞争锁的

• 区别就是 noyify_all能够让所有的等待线程感知，所以能够直接选出来获得锁的，如果多个线程下使用 notify_one 可能会产生唤醒不够及时的问题，也就是他会随机唤醒一个，那 如果这个线程的条件是不满足的，那么这次唤醒就是失败了的。