Remerciez-le!

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

C12semaphoresb 1 pdf Contrôle de concurrence par sémaphores NFP Cours CRappel du concept de sémaphore Dé ?nition Dijkstra- Un sémaphore S est un objet partagé constitué de - un entier E initialisé à une valeur ? - une ?le d ? attente F des processus bloqu

Contrôle de concurrence par sémaphores NFP Cours CRappel du concept de sémaphore Dé ?nition Dijkstra- Un sémaphore S est un objet partagé constitué de - un entier E initialisé à une valeur ? - une ?le d ? attente F des processus bloqués Un sémaphore est accessible uniquement par primitives atomiques P S Puis-je Proberen contrôle d ? autorisation blocage éventuel du demandeur V S Vas-y Verhogen ajout d ? une autorisation déblocage éventuel d ? un demandeur E S I initialisation du sémaphore à I ? autorisations et ?le d ? attente vide NFP Cours CRappel du concept de sémaphore Dé ?nition Primitive P sémaphore S début S E S E- retrait d ? une autorisation si S E alors bloquer le processus placer son id dans la ?le ?n Primitive V sémaphore S début S E S E ajout d ? une autorisation si S E ? alors il y a au moins un processus bloqué choix et retrait d ? un processus de F réveil du processus ?nsi ?n Primitive E sémaphore S entier I début S E I S F vide I ? ?n NFP Cours CRappel du concept de sémaphore Propriétés Un processus qui se bloque en exécutant P S termine son exécution de P S Un processus ne peut accéder à un sémaphore que par les primitives P S et V S l ? initialisation E S I doit précéder tout accès au sémaphore Un seul processus peut exécuter P S ou V S à un instant donné S E initialisé à I ? signi ?e qu ? on peut exécuter I fois P S sans blocage -S E ? représente le nombre d ? autorisations de franchissements de P S sans blocage à un instant donné -S E S E représente le nombre de processus bloqués à un instant donné NFP Cours CRappel du concept de sémaphore Propriétés Soient NP S le nombre d ? appels à P S NV S le nombre d ? appels à V S NF S le nombre de franchissements de P S NBLOC S le nombre de processus bloqués -S E I- NP S NV S -NBLOC S max -S E -NF S Min NP S I NV S NFP Cours CExclusion mutuelle Accès exclusif à une ressource critique ou à un ensemble de variables partagées par N processus s ? exécutant en concurrence Contexte commun ressource ou variables partagées Sémaphore mutex E mutex Processus Pi Début tant que vrai faire P mutex entrée en section critique Section critique V mutex sortie de section critique Hors section critique Fin NFP Cours ? ? ? ? CExclusion mutuelle Respect des propriétés - Accès exclusif L ? accès est autorisé dans P mutex si mutex E ? soit NP mutex ? NV mutex c ? est-à- dire NP mutex -NV mutex ? Il y a donc au plus un processus au plus en section critique -Pas d ? interblocage actif si aucun processus en SC mutex E -pas d