Théorie et pratique de la concurrence

Sujets : Problème du transport de côte

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é

Soient N processus passagers et un processus bus. Les passagers attendent régulièrement de monter dans le bus. Celui-ci ne peut contenir que C passagers avec C < N et ne peut partir que s'il est plein.

Donner le code du processus passager et du processus bus, ainsi que le code nécessaire à leur synchronisation.
Généraliser la solution proposée ci-dessus pour avoir M bus, M > 1. De plus, on considère que les bus ne peuvent pas se doubler, donc ils respectent l'ordre à l'arrivée et au chargement des passagers.