Theorie et pratique de la concurrence

Sujets : Probleme de la liste partagée

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é

Trois types de processus accèdent à une liste partagée :

ceux qui font de la recherche (S)
ceux qui font l'insertion (I)
ceux qui font l'effacement (D)

Les processus S examinent la liste, donc ils peuvent la faire de façon concurrente entre eux.
Les processus I ajoutent des nouvelles cellules à la fin de la liste, donc ils doivent être en exclusion mutuelle entre eux; toutefois, un processus I peut agir en concurrence avec un nombre quelconque de processus de type S.
Les processus D effacent des cellules à tout endroit de la liste, donc ils doivent agir en exclusion mutuelle entre eux et avec les I et S.