c - 如何知道哪个线程被 pthread_cond_signal 释放了

Question

干杯，

我有 2 个线程导致逻辑死锁 => d_santa 和 d_patuljak(抱歉有些文章是用克罗地亚语写的，我没有时间翻译)

d_santa 这样做

void d_santa(){ //dodati join!!!
    int j;
    pthread_mutex_lock(&m);
    while(1){
        pthread_cond_wait(&u_santa,&m);
        if ((br_sob==10)&&(br_patuljak)){
            printf ("Dajem poklone i rijesavam se sobova\n");
            pthread_cond_broadcast(&u_sob);
            sleep(2);
            for (j=2; j<=11; j++){
                printf ("Pokusavam brisat sob na %d\n",j);
                pthread_join(thred[j],NULL);
                br_sob--;
                printf ("broj sobova=%d\n",br_sob);
            }
        }
        if (br_sob==10){
            printf("Hrani nezahvalnu bagru\n");
            sleep(2);
        }
        if ((br_patuljak%3)==0){
            pthread_cond_broadcast(&u_patuljak);
            printf ("Rijesi problem patuljaka\n");
            sleep(1);               
            for (j=0; j<3; j++){
                br_ulaz++;
                printf("Oslobađam dretvu %d\n",H_ULAZ);
                pthread_join(thred[H_ULAZ],NULL);                                   
                br_patuljak--;
                }
        }
    }
    pthread_mutex_unlock(&m);
}

d_patuljak 会这样做

void d_patuljak(){ //zavrsi implementaciju proizvodac potrosac
    pthread_mutex_lock(&m);
    br_patuljak++;
    printf ("Nastao je patuljak %d\n",br_patuljak);
    while(br_patuljak<3){
        pthread_cond_wait(&u_patuljak,&m);
    }
    printf ("Patuljak se oslobodio\n");
    if (br_patuljak==3){
        pthread_cond_signal(&u_santa);
    }
    pthread_mutex_unlock(&m);
}

如果有帮助，这里还有d_sob

void d_sob(){  //dobar
    int id; 
    pthread_mutex_lock(&m);
    id=br_sob+2;    
    br_sob++;
    printf ("Nastao je sob %d\n",br_sob);
    while(br_sob<10){
        pthread_cond_wait(&u_sob,&m);
    }
    pthread_cond_signal(&u_santa);
    printf ("Sob ceka slobodu %d, a za analizu br_sob=%d\n",id,br_sob); 
    pthread_mutex_unlock(&m);
}

任务:d_santa 仅创建一次，并且在 d_patuljak 不断创建时始终保持 sleep 或做一些“有用”的事情，当创建第 3 组时，他们会唤醒圣诞老人，以便他可以帮助他们解决所有问题(请注意，如果 d_patuljak 快速创建，则可以超过 3 个 patuljaks 但圣诞老人只需要 3 个一组!!)。类似于 sob 它们一直被创建直到它们达到 10 之后它们可以被广播(不能有 11 个)

我的解决方案(想法):我将创建 1、2、3 个 patuljaks，每个 patuljaks 在数组中都有自己的位置。创建 patuljak 3 时，他将唤醒圣诞老人(也绕过 pthread_cond_wait)!圣诞老人将醒来并调用 3 个连续的 pthread_cond_signals 来释放 patuljak 1、patuljak 2 然后 patuljak 3 => 注意:patuljak 1 被释放以结束他的线程然后被我放在 pthread_cond_signal 正下方的 pthread_join“销毁”!!

问题:pthread_join(patuljak 1) 一直在等待 patuljak 1，这意味着 pthread_cond_signal 没有设法释放 patuljak 1(可能是 patuljak 2 或 3)？我不知道解决这个问题的方法有没有办法知道将发布什么或者如何准确发布 patuljak 1、2、3？我会使用广播，但我不能 patuljak 4 将被释放，圣诞老人应该只带 3 人一组。编辑:我将 pthread_cond_signal 与 pthread_cond_broadcast 切换为 patuljaks 问题并没有消失。

无论如何，这个程序比这还要大我有一个与 raindeers(=sob) 类似的问题，我可以并尝试广播但他们也卡在 pthread_join，我有一种感觉，如果 patuljaks 的问题同样得到解决将跟随 raindeers (patuljak=>dwarf) xd。

Answer 1

两条规则将解决这类问题:

1. 仅当可能正在等待条件变量的任何线程可以执行任何需要完成的任务时，才调用pthread_cond_signal。否则，总是调用pthread_cond_broadcast。如有疑问，请调用 pthread_cond_broadcast，因为它始终是安全的。

2. 始终在一个循环内调用 pthread_cond_wait，该循环会在发生虚假唤醒时再次调用 pthread_cond_wait。您必须设计您的代码，以便“额外”唤醒是无害的，并且如果线程在“不应该”唤醒时会返回休眠状态。