互斥量
一些具体API可以看这篇博文
-
互斥量的死锁
有时,一个线程需要同时访问两个或更多不同的共享资源,而每个资源有都有不同的互斥量管理,当超过一个线程加锁同一组互斥量时,就有可能发生死锁
-
例:
线程A先执行步骤1,线程2再执行步骤1,紧接着线程A执行步骤2,此时因为mutex2被线程B所占有,所以A将进入阻塞状态,线程B继续执行步骤2,此时因为mutex1被线程A所占据,所以B也将陷入阻塞状态,一个经典的死锁就出现了
-
-
解决方案
-
定义互斥量之间的层级关系
当多个线程对一组互斥量进行操作时,总是应该以相同顺序对改组互斥量进行锁定
在上面的例子中,如果线程A和线程B的第一步都是锁定mutex1,那么死锁现象就可以避免
-
尝试一下,然后恢复
线程先锁定一个互斥量,然后使用函数pthread_mutex_trlock()来尝试锁定其余互斥量
如果任意pthread_mutex_trylock()调用失败,那么该线程将释放所有的互斥量,也许过一段时间再来继续尝试
-
-
while()判断与if()判断
在进行条件变量的判断时,通常会使用while循环而不是if语句来判断
while(/*check that shared variable is not in state we want*/) {pthread_cond_wait(&cond, &mutex)}
具体有以下几个原因
- 从pthread_cond_wait()中返回时,其他线程可能会率先醒来,这些先醒来的线程可能会修改条件变量,此时需要重新对条件变量进行判断
- 可能会发生虚假唤醒的情况,在一些实现中,即使没有任何其他线程真地就条件变量发出信号,等待此条件变量的线程仍有可能醒来,为了确保高效有些系统会这么实现