tlpi:线程的同步

互斥量

一些具体API可以看这篇博文

互斥量

• 互斥量的死锁

  有时，一个线程需要同时访问两个或更多不同的共享资源，而每个资源有都有不同的互斥量管理，当超过一个线程加锁同一组互斥量时，就有可能发生死锁

  • 例:

    线程A先执行步骤1，线程2再执行步骤1，紧接着线程A执行步骤2，此时因为mutex2被线程B所占有，所以A将进入阻塞状态，线程B继续执行步骤2，此时因为mutex1被线程A所占据，所以B也将陷入阻塞状态，一个经典的死锁就出现了

• 解决方案

  1. 定义互斥量之间的层级关系

     当多个线程对一组互斥量进行操作时，总是应该以相同顺序对改组互斥量进行锁定

     在上面的例子中，如果线程A和线程B的第一步都是锁定mutex1，那么死锁现象就可以避免

  2. 尝试一下，然后恢复

     线程先锁定一个互斥量，然后使用函数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()中返回时，其他线程可能会率先醒来，这些先醒来的线程可能会修改条件变量，此时需要重新对条件变量进行判断
  • 可能会发生虚假唤醒的情况，在一些实现中，即使没有任何其他线程真地就条件变量发出信号，等待此条件变量的线程仍有可能醒来，为了确保高效有些系统会这么实现