看网上的示例代码,总是看不懂,总是觉得哪里不对,直到看到《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 );