Theorie et pratique de la concurrence


Sujets : Probleme de la diffusion atomique de messages (broadcast)



Tâches démandées

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

Énoncé

Soit un système avec un processus producteur et N processus consommateurs qui communiquent via un tampon ayant B cases. Le producteur dépose des messages dans ce tampon et les consommateurs les prennent. Chaque message déposé par le producteur doit être pris par tous les N consommateurs. En plus, chaque consommateur doit prendre les messages dans l'ordre dans lequel ils ont été déposés. Toutefois, des consommateurs différents peuvent prendre les messages à des moments différents. Par exemple, un consommateur peut prendre jusqu'à B messages avant un autre, si ce dernier est lent.