条件变量之虚假唤醒 (Spurious wakeup)

虚假唤醒描述了使用某些多线程API（如POSIX线程和Windows API）提供的条件变量的复杂情况。

即使在一个条件变量似乎已从等待线程的角度发出信号后，所等待的条件仍可能是错误的。其中一个原因是虚假唤醒; 也就是说，即使没有线程发信号通知条件变量，线程也可能从其等待状态中唤醒。为了正确，有必要在线程完成等待之后验证条件是否为真。由于虚假唤醒可能会重复发生，因此可以通过等待条件为真时终止的循环来实现，

例如：

/* In any waiting thread: */
while(!buf->full)
	wait(&buf->cond, &buf->lock);
//assert(buf->full);

/* In any other thread: */
if(buf->n >= buf->size){
	buf->full = 1;
	signal(&buf->cond);
}

上面的代码必须用while循环来等待条件变量，而不能用if语句，原因就是Spurious wakeup。

一般从wait返回跳出条件判断循环后还要再一次进行条件判断，如上代码第4行。