线程rendez vous监视器

Question

我正在尝试使用monitor和mutex实现一个rendez vous，但它并没有真正起作用。我希望你能帮我看看这个问题。这是代码：

void traitement_principal(){
    if(iRdv==NB_RDV){
        iRdv=0;
        continuer=1;
        pthread_cond_signal(&autoContinuer);
    }else{
        continuer=0;
    }
    while(continuer!=1){
        pthread_cond_wait(&autoContinuer,&emAffichage);
    }
    printf("Thread %lu, je finis mon traitement mon traitement \n",pthread_self());
}

void* traitement(){
    pthread_mutex_lock (&emAffichage);//demande accès
    printf("Thread %lu, je commence mon traitement \n",pthread_self());
    iRdv+=1;
    traitement_principal();
    pthread_mutex_unlock (&emAffichage);//rend accès
    pthread_exit((void *)NULL);
}

void thdErreur(int codeErr, char *msgErr, void *codeArret) {
    fprintf(stderr, "%s: %d soit %s \n", msgErr, codeErr, strerror(codeErr));
    pthread_exit(codeArret);
}

int main(int argc, char const *argv[]){
    int etat;
    pthread_t idThd[NB_THREADS];
    for(int i = 0; i <  NB_THREADS; i++){
        if ((etat = pthread_create(&idThd[i], NULL, traitement,NULL)) != 0)
            thdErreur(etat, "Creation thread avec rdv",NULL);
    }
    for (int i = 0; i < NB_THREADS; i++)
        if ((etat = pthread_join(idThd[i], NULL)) != 0)
            thdErreur(etat, "Join threads afficheurs", NULL);
    printf ("\nFin de l'execution du thread principal \n");
    return 0;
}

NB_RDV是一个扩展为3的宏。

iRDV是一个初始化为0的文件范围变量。

continuer是一个初始化为0的文件范围变量。

以下是程序oputput的示例：

这不是我想要的。例如，对于第一个，我想得到

Thread 0 I start
Thread 1 I start
Thread 2 I start

Thread 0 I end
Thread 1 I end 
Thread 2 I end

Answer 1

当traitement_principal()计数器达到pthread_cond_signal()时，代码中最重要的问题似乎是iRdv调用NB_RDV。这将唤醒一个线程等待条件变量，但您需要唤醒多个线程。为此，您应该拨打pthread_cond_broadcast()。

但是如果你想要可靠地唤醒NB_RDV个线程并允许它们继续进行，那么你还有一个问题。在广播到CV的线程释放互斥锁之后，您无法确信刚刚唤醒的线程将在等待它的任何其他线程获取它之前全部重新获取它。如果在traitement()中等待的线程首先获取它，那么该线程将进入traitement_principal()并在唤醒线程继续之前将continuer重置为0，导致后者恢复其等他们最终自己重新获取互斥锁。

如果任何 NB_RDV线程在该数字到达之后继续经过障碍，那么可能包括在NB_RDV ^{之后到达它的线程那么}，那么你可以通过一些修改来实现这一点。不要将continuer实现为标志，而是将其设置为一个计数器，其在任何给定时间的值表示在没有（进一步）等待的情况下可以通过集合点继续多少线程。

另一方面，如果你需要确保到达集合点的第一个NB_RDV ^th 线程也是第一个离开，那么我认为你需要添加某种形式的共享状态跟踪他们的到达顺序。