linux 多线程模型 研究 02

竞态条件（race condition），是一种出错概率非常小的条件，意味着您只有非常快速或者非常运气不好才会遇到这种情况。竞态条件在几百万次运行中也很少遇到一次，所以很难调试出来。

互斥（mutex）。互斥量（mutex 是 MUTual EXclusion 的缩写）是避免线程间相互交叠的一种方法。可以把它想像成一个惟一的物体，必须把它收藏好，但是只有别人都不占有它时您才可以占有它，在您主动放弃它之前也没有人可以占有它。占有这个惟一物体的过程就叫做锁定或者获得互斥量。

解决死锁的一个简单的解决办法是保证以相同的顺序获得互斥量。

在设计程序时决不要锁定一个已经锁定的互斥量

正如 pthread_create() 将一个线程拆分为两个， pthread_join() 将两个线程合并为一个线程。

线程之间的关系是平级的，没有对等关系

pthread_mutex_lock() 和 pthread_mutex_unlock() 函数提供了一种相互排斥的办法

i++在多处理器上不具备原子性.可能会出现多处理器同时执行该语句。所以此语句在多处理器上不具备原子性.是不可预测的，不能拿来替代pthread_mutex_lock和pthread_mutex_unlock原语。
只有用pthread_mutext_lock和pthread_mutext_unlock原语，才能产生可预测的代码

如果线程正在等待某个特殊条件，使用 pthread_cond_wait() 调用来等待特殊条件发生。

另一种线程交互模型：
pthread_cond_wait和pthread_cond_broadcast以及pthread_cond_signal操作.