Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Examen partiel systeme exploitation 2

UniversitéSaadDahlab SUJET Année LMD Option Informatique Matière Système d'exploitation SYST Documents Interdits Durée H Barême Ex pts Ex pts Ex pts Ex pts Décembre Exercice pts Soient processus Pi cycliques i lancés en parallèle chaque Pi éxécute une action Ai spéci ?que On désire programmer la synchronisation de ces processus pour chacun des cas suivants On désire obtenir la suite répétitive ordonnée suivante A A A A A A A A A A A A Var S S S S Semaphore P Repeat I A I Until false P Repeat I A I Until false P Repeat I A I Until false P Repeat I A I Until false Ecrire pour chaque processus Pi en la valeur initiale de son sémaphore Si et les instructions de synchronisation manquantes en et Exercice Analyse de solutions pts Soit à analyser les algorithmes suivants des procédures de dépôt et de retrait d'un élément du bu ?er sachant qu'il y a plusieurs producteurs et plusieurs consommateurs lancés en parallèle Var Buf Array N- of element in out integer init Nplein semaphore init Nvide semaphore init N Mutex semaphore init Procédure Deposer M élément Procedure Retirer Var M élément Begin Begin P Mutex P Mutex P Nvide P Nplein V Nplein V Nvide Buf in M M Buf out in in Mod N out out Mod N V Mutex V Mutex end déposer end retirer Question Analyser le fonctionnement de ces algorithmes en répondant par vrai ou faux à chacune des a ?rmations suivantes Ces algorithmes sont corrects et ne comportent aucune anomalie Si Un producteur et un consommateur demandent l'accès à Buf en même temps et vont à la même vitesse ils risquent d'accéder simultanément à la même case Si un producteur et un consommateur demandent l'accès à Buf en même temps et vont à la même vitesse ils risquent de rester bloqués indé ?niment Plusieurs producteurs risquent de déposer leurs données sur la même case Plusieurs consommateurs risquent de retirer leurs données de la même case Le dépôt et le retrait sur des cases di ?érentes ne peuvent jamais se faire en parallèle La procédure Deposer sera correcte si on déplace l'instruction V Nplein après l ? instruction Buf in M Ces algorithmes seront corrects si on rajoute une section critique commune sémaphore Mutex dans les deux procédures La procédure Retirer sera correcte si on déplace l'instruction V Nvide après l ? instruction M Buf out Ces algorithmes seront corrects si on remplace le sémaphore Mutex par MutexP pour Deposer et MutexC pour Retirer tous les deux initialisés à Exercice Modèle Lecteurs rédacteurs par sémaphores pts On désire programmer le modèle L R sur un ?chier disque commun F à l'aide des sémaphores ordinaires En cas de con it entre les deux classes on désire établir simultanément les priorités suivantes priorité aux rédacteurs s'il y a au moins KR rédacteurs en attente et écriture en cours priorité aux lecteurs s'il y a au moins KL lecteurs en cours de lecture Les protocoles suivis