pthread_cond_wait的spurious wakeup问题

关于这个问题，是我第一次在看APUE时遇到的，当时不太理解为什么在pthread_cond_wait之前是while循环，而不是if判断。

因为pthread_cond_wait返回的时候是会再获取到互斥锁的，所以初看可能觉得while循环没必要。

后来特意搜索了一下这个问题，发现这个while循环的写法是通用的，而且是必须的。

wikipedia上有比较简单明了的解释： http://en.wikipedia.org/wiki/Spurious_wakeup

从这篇文章上可以看出有两个原因导致了这种用法：

一种是为了解决pthread的spurious wakeup问题，关于这个原因的详细解释可以参考 Multiple Awakenings by Condition Signal（http://pubs.opengroup.org/onlinepubs/009604599/functions/pthread_cond_signal.html）

另一种原因是多线程编程里可能会遇到的问题，这个和pthread本身没什么关系，而是和系统的调度有关。这里也有一些这方面的讨论：http://stackoverflow.com/questions/1136371/pthread-and-wait-conditions

后来发现网上还有一种说法说是和信号有关，这个在wikipedia以前也是有提到的 http://en.wikipedia.org/w/index.php?title=Spurious_wakeup&oldid=289803065

不知道后来怎么把它去掉了。关于这个解释，这篇文章中也有提及： http://vladimir_prus.blogspot.com/2005/07/spurious-wakeups.html

这里我就不一一列举前人的观点了，只是给出了链接，感兴趣的朋友可以自己去进一步了解。

用while而不是if，这么一个看似很小的区别，背后却有很多可挖的东西，所以学习过程中不要随便放过自己觉得可疑的地方，切记！