Théorie et pratique de la concurrence


Sujets : Problème de la pièce des rendez-vous



Tâches demandées

Pour la solution utilisant les sémaphores : ES, EPC, VS, PI
Pour la solution utilisant les moniteurs : EM, EPJ, PF

Énoncé

Deux types de processus, A et B entre dans une pièce. Un processus de type A ne peut pas la quitter jusque il rencontre deux processus de type B. Un processus de type B ne peut pas quitter la pièce que s'il rencontre un processus de type A. Un processus (A ou B) quitte la pièce --- sans rencontrer d'autres processus --- dès qu'il a rencontré le nombre demande de processus de l'autre type.