为何pthread_cond_signal()未触发？条件变量使用问题咨询

代码问题排查 #

你提供的代码核心问题是信号丢失，导致等待线程永久阻塞：

• 线程调度顺序是不确定的，如果t2（执行routine2）先抢占到互斥锁，会一次性把count加到7，在count=5时调用pthread_cond_signal，但此时t1还没进入pthread_cond_wait等待状态，这个信号直接丢失。
• 后续t1启动并获取锁后，检查count=7≠5，进入wait，但此时已经没有线程会再发送信号，最终导致死锁。

修复后的代码 #

可以通过调整通知逻辑，确保信号不会因调度顺序丢失：

#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <pthread.h>
#include <unistd.h>

pthread_mutex_t lock;
pthread_cond_t cv;
int count = 0;

void* routine(){
    pthread_mutex_lock(&lock);
    // 用while循环防止虚假唤醒，这部分你已经做对了
    while(count != 5) {
        pthread_cond_wait(&cv, &lock);
    }
    printf("count value is : %d\n", count);
    pthread_mutex_unlock(&lock);
}

void* routine2(){
    pthread_mutex_lock(&lock);
    for(int i=0; i<7; i++){
        count++;
        printf("%d\n",count);
        // 每次修改count后，检查是否满足等待条件并通知
        if(count == 5) {
            pthread_cond_signal(&cv);
        }
    }
    // 补一次通知，防止信号提前发送导致丢失
    pthread_cond_signal(&cv);
    pthread_mutex_unlock(&lock);
}

int main(){
    pthread_mutex_init(&lock,NULL);
    pthread_cond_init(&cv,NULL);
    pthread_t t1,t2;
    pthread_create(&t1,NULL,&routine,NULL);
    pthread_create(&t2,NULL,&routine2,NULL);

    pthread_join(t1,NULL);
    pthread_join(t2,NULL);

    pthread_mutex_destroy(&lock);
    pthread_cond_destroy(&cv);
    return 0;
}

条件变量最优使用方式 #

• 必须与互斥锁绑定：pthread_cond_wait会自动释放锁，被唤醒后重新获取锁，确保条件检查和等待的原子性，避免竞态条件。
• 永远用while循环检查条件：绝对不能用if，因为存在虚假唤醒（线程可能在没有收到信号的情况下被唤醒），或者被唤醒后条件已经发生变化，必须重新检查。
• 发送信号前必须持有锁：修改共享变量（如count）后，必须在持有锁的情况下调用pthread_cond_signal/broadcast，确保条件修改和通知的原子性，避免信号丢失。
• 避免信号丢失：如果无法保证等待线程先进入wait状态，最好在所有可能导致条件满足的操作后都发送信号；多线程等待同一条件时，优先用pthread_cond_broadcast唤醒所有等待线程。
• 明确条件变量的语义：每个条件变量对应一个明确的等待条件，不要用一个条件变量处理多个无关条件，避免逻辑混乱。
• 销毁前确保无等待线程：调用pthread_cond_destroy前，必须确保没有线程在等待该条件变量，否则会触发未定义行为。

内容的提问来源于stack exchange，提问作者Cardinal