Td corrigé median lo41 - Moodle UTBM pdf

median lo41 - Moodle UTBM

Devoir avec documents (Cours, TD et TP ) et d'une durée de 2 heures. PARTIE I. Synchronisation avec sémaphore Barème 8 points. N'oubliez ... ils passent dans une salle de préparation où ils tirent au hasard un sujet et enfilent une blouse.




part of the document



décrites ci-après :

Candidat

S'il y a de la place, il s'installe dans la salle d'attente, sinon, il attend dehors
Quand il en reçoit l'autorisation, il entre dans la salle de préparation
Il tire son sujet et met sa blouse
Il sort de la salle, referme la porte et appelle son examinateur
Il est pris en charge par l'examinateur
Il réalise son TP
Il rend son compte-rendu
Il part

Examinateur

répète
S'il y a un candidat dans la salle d'attente
S'il y a encore une paillasse de TP disponible
Attend que la salle de préparation soit disponible
Appelle le candidat
Attend le candidat
Accueille le candidat et surveille son TP
Corrige le compte-rendu


1 - Indiquer quelles sont les conditions de synchronisation à mettre en œuvre

2 - Écrire les procédures Candidat et Examinateur en utilisant des sémaphores qui seront soigneusement définis (sémantique et valeur initiale) et les primitives: s_asseoir, tirer_sujet_mettre_blouse, entrer_dans_la_salle_de_preparation, surveiller_TP, entrer_salle_TP, partir, rendre_compte_rendu, installer_candidat, réaliser_TP, noter_compte-rendu.


PARTIE II. Programmation en C avec les IPC Barème 12 points

1- Ecrire un programme qui permet à plusieurs processus de s’exécuter jusqu’à un point de rendez vous et de continuer dans l'ordre inverse de leur ordre d'arrivée. Pour résoudre ce problème, les processus utilisent une zone de mémoire partagée à partir de laquelle ils partagent :
une variable NbArrivés qui comptabilisent le nombre de processus arrivés,
une variable Repartir qui comptabilisent le nombre de processus qui redémarrent

2- Modéliser par un réseau de pétri le problème de synchronisation


 EMBED PBrush 
Exemple d'exécution
PAGE 2


PAGE 2