notify_all对应linux下的pthread_cond_broadcast:通常表明状态变化,比如某一主线程的任务完成,通知其余子线程开始执行。会使得所有wait在条件变量上的子线程去竞争锁。因为wait()会原子地unlockmutex并进入等待,而被唤醒的线程会在wait()退出时自动重新加锁。
notify_one对应linux下的pthread_cond_signal:通常用于资源可用。如单一生产者,生产者一次生产一个产品的情况,最好每次只有一个消费者去消耗产品。只唤醒一个wait在条件变量上的子线程,不形成锁的竞争局面。
不论是notify_one还是notify_all,都有可能发生虚假唤醒。即在多核处理器下,pthread_cond_signal可能会激活多于一个线程(阻塞在条件变量上的线程)。结果是,当一个线程调用pthread_cond_signal()后,多个调用pthread_cond_wait()或pthread_cond_timedwait()的线程返回。返回后若是操作了已经被其他线程先行一步消费掉的产品,会产生iterator错误甚至是crash。解决方法是用while等待条件变量而不是if,以double check条件变量是否依然是自己想要的状态。