Implementation en C d'une modélisation d'un vaccinodrome composé d’une salle d’attente contenant n sièges pour les patients et d’un service de vaccination comportant m box occupés éventuellement par des médecins.
Note : ce rapport est très détaillé et essaie d’être aussi précis que possible. Il va sur certains points au-delà de ce qui était attendu. Les parties essentielles sont la section 2.1 sur la mémoire partagée, la section 3.3 sur l’interaction entre acteurs, et la section 3.6 pour le traitement des médecins à la fermeture.
Le projet consiste à modéliser un vaccinodrome composé d’une salle d’attente contenant n sièges pour les patients et d’un service de vaccination comportant m box occupés éventuellement par des médecins. Les acteurs (patients ou médecins) peuvent arriver à tout moment, et la vaccination (de durée fixée t) a lieu dès que possible. La fermeture du vaccinodrome empêche de nouvelles entrées de patients dans la salle d’attente (ou de médecin dans un box), mais les médecins présents continuent de vacciner tant que la salle n’est pas vide. Les acteurs sont tous représentés par des processus indépendants, et les seuls objets de synchronisation disponibles sont les sémaphores Nous avons choisi de résoudre ce problème de la façon suivante :
— la salle d’attente est vue comme un tampon circulaire borné contenant des sièges ;
— chaque patient est un producteur d’une seule unité dans ce tampon (lui-même assis sur un siège) ;
— chaque médecin consomme, de façon répétée, un patient assis dans le tampon pour le vacciner ;
— une vaccination est un rendez-vous entre médecin et patient, similaire à celui d’un coiffeur avec ses clients.
Notre projet suit exactement ces modèles : ce sont donc les médecins qui choisissent les patients. La fermeture du vaccinodrome utilise un mécanisme de patients factices (et dans certaines conditions de médecins factices) pour terminer proprement.