实现特定线程执行逻辑时，func2中pthread_cond_signal为何崩溃？

pthread_cond_signal执行时崩溃，本质是条件变量或其关联的同步资源状态非法，结合你的线程交互场景，常见原因及解决方法如下：

1. 参数结构体被主线程提前释放 #

如果你的线程参数结构体是在主线程栈上分配的，主线程若未等待线程完成就退出，栈内存会被系统回收。此时func2访问params->cond[0]就是操作已释放的无效内存，必然触发崩溃。

• 修复：要么用malloc在堆上分配参数结构体（记得最后在线程或主线程中释放），要么主线程调用pthread_join等待两个线程执行完毕再退出（即使线程设为分离状态，主线程等待能确保结构体生命周期覆盖线程操作）。

2. 条件变量未完成初始化 #

如果只声明了pthread_cond_t cond[2];但未调用pthread_cond_init对每个条件变量做初始化，直接使用未初始化的条件变量调用pthread_cond_signal，会触发未定义行为，崩溃是典型表现。

• 修复：在使用条件变量前，必须对cond[0]和cond[1]分别调用pthread_cond_init初始化；不再使用时，调用pthread_cond_destroy销毁。

3. 关联的互斥量状态异常 #

条件变量必须和互斥量配合使用，虽然pthread_cond_signal不需要持有互斥量，但如果对应的互斥量未初始化、已销毁，或者func2访问的互斥量是无效内存，也会间接导致操作条件变量时崩溃。另外，func1调用pthread_cond_wait时必须持有对应的互斥量，否则也会引发同步错误。

• 检查：确认与cond[0]配对的互斥量已正确初始化，且在整个线程交互过程中处于有效状态；func1进入等待前必须锁定该互斥量。

4. 条件变量生命周期未覆盖线程交互全程 #

如果func1在退出前销毁了cond[0]，而func2此时才执行pthread_cond_signal，就会操作已被销毁的条件变量导致崩溃。或者条件变量是func1的局部变量，func1退出后变量就失效了。

• 修复：确保条件变量的生命周期覆盖两个线程的整个交互流程，不要在线程还未完成同步操作时销毁条件变量。

额外同步规范 #

等待条件变量必须使用while循环而非if判断，避免虚假唤醒：

pthread_mutex_lock(&params->mutex);
while (func1的循环条件不满足) {
    pthread_cond_wait(&params->cond[0], &params->mutex);
}
pthread_mutex_unlock(&params->mutex);

所有线程间共享的同步资源（循环变量、条件变量、互斥量）必须是线程可见的（比如全局变量、堆分配结构体成员），禁止使用栈上的局部变量。

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