条件变量 pthread_cond_wait 函数的解锁和等待为原子操作

看网上的示例代码，总是看不懂，总是觉得哪里不对，直到看到《POSIX多线程设计》关于条件变量的讲解后，才明白示例是对的

POSIX标准保证：pthread_cond_wait( pthread_cond_t*cond ,pthread_mutex_t* mtx )这个函数参数mtx的解锁和等待参数cond的动作是原子性的

也就是说，pthread_cond_wait在解锁mtx后，等待cond前，不会mtx不会被再次锁住。

在这个保证下，网上的示例（如下），就可以解释通了：

线程1
pthread_mutex_lock( mtx );
while( 条件判断)
{//这里使用while，是因为pthread_cond_wait等待时，可能被意外唤醒（不是pthread_cond_signal也不是pthread_cond_broadcast）
//而且，意外唤醒很容易复现。例如在Mac本上用Xcode打断点或删除断点都可以唤醒pthread_cond_wait等待
pthread_cond_wait( cond , mtx ); //  (unlock  ->  block 这两步原子操作)  ->  wake -> lock
}
pthread_mutex_unlock( mtx );

线程2
pthread_mutex_lock( mtx );
pthread_cond_signal( cond );
pthread_mutex_unlock( mtx );