Linux中的线程同步？

Question

我正在编写一个代码，其中我让我的线程等到我执行 pthread_cond_broadcast。我在这段代码中有三个线程。线程 line2_thread 和 line3_thread，按照它们应该运行的优先级顺序运行。然而，我的第三个线程甚至没有进入它的线程函数（line4_thread）。谁能告诉我为什么我的 main() 不能调用我的 line4_thread ？ pthread_cond_t 开始； pthread_mutex_t sstart_mutex;

void *l3_thread(void *arg){

pthread_mutex_lock(&sstart_mutex);
pthread_cond_wait(&sstart, &sstart_mutex);
pthread_mutex_unlock(&sstart_mutex);
/*do something*/

pthread_exit(NULL);

}

void *l2_thread(void *arg){

pthread_mutex_lock(&sstart_mutex);
pthread_cond_wait(&sstart, &sstart_mutex);
pthread_mutex_unlock(&sstart_mutex);
/*do something*/

pthread_exit(NULL);

}


void *l4_thread(void *arg){

pthread_mutex_lock(&sstart_mutex);
pthread_cond_wait(&sstart, &sstart_mutex);
pthread_mutex_unlock(&sstart_mutex);
/*do something*/

pthread_exit(NULL);

}

int main(){

pthread_cond_init(&sstart, NULL);

//thread creation

pthread_cond_broadcast(&sstart);
pthread_cond_destroy(&sstart);
    pthread_mutex_destroy(&sstart_mutex);

return 0;
}

Answer 1

我认为您在这里遇到了一些问题。抱歉（我在手机上，所以很难输入一个长答案）我只想专注于几件事，因为我并不是 100% 清楚你实际上想要做什么。

当您的所有线程启动时，它们都尝试获取互斥锁，但只有一个成功。可能是l3，但我认为这里不能保证。然后它调用pthread_cond_wait 并解锁互斥锁，允许其他线程之一到达它的pthread_cond_wait。但与此同时。您已经允许您的主线程调用pthread_cond_broadcast，并且您没有采取任何步骤将其与其他线程同步。这可能发生在其他人等待互斥锁被解除阻塞之前，以及在他们的wait 调用之前，因此他们可能会错过信号并永远阻塞。

此外，我认为立即致电pthread_cond_destroy 有点粗略。就像我说的，你的主线程和你的工作线程之间没有同步，所以你可以调用pthread_cond_broadcast，然后调用pthread_cond_destroy，所以你的一些线程可能会在无效的条件变量和死锁上调用pthread_cond_wait。

检查pthread_cond_wait 的返回值。如果我是对的，在某些情况下它可能会返回 EINVAL。但是我没有对此进行测试，因此我的推理可能存在缺陷。