多线程中Condition Signal工作机制及示例场景疑问

安全阿岳

2026-10-6

结论

你推导的永久休眠场景不存在，推导逻辑存在错误，核心是对互斥锁唤醒流程、条件变量等待队列的行为理解有误。

cond_t c;
mutex_t m;
int queue_size = 0;

void enqueue(item x) {
  mutex_lock(&m);
  /* add x to tail */
  queue_size++;
  cond_signal(&c); // Line 1
  mutex_unlock(&m);
}
item dequeue() {
  mutex_lock(&m);
  if (queue_size == 0)
     cond_wait(&c, &m); // Line 2
  /* remove from head */
  queue_size--;
  mutex_unlock(&m);
}

错误点解释

核心误解：你认为t2被cond_signal唤醒后如果拿不到锁，会回到条件变量的等待队列再次休眠，这个认知是错误的。
条件变量的等待队列和互斥锁的等待队列是完全独立的两个队列：
1. t2调用cond_wait时，会原子释放锁m、加入条件变量c的等待队列进入休眠，此时它不在m的等待队列中
2. t1调用cond_signal后，会把t2从条件变量c的等待队列中移除，转移到互斥锁m的等待队列中，此时t2的休眠是阻塞在互斥锁m上，和条件变量c已经没有关系了
当t1后续执行mutex_unlock(&m)时，会唤醒m的等待队列中的t2，t2成功拿到锁后就会从cond_wait调用返回，继续执行后续逻辑，不会出现信号丢失、永久休眠的问题。