Table des matières
Synchronisation des Processus
PLAN
Spécification du Problème
Problème de synchronisation: Exemple
Hypothèses d’exécution
Hypothèses d ’exécution: exemple
Sections critiques(SC): Définition
Section Critiques (2)
Détermination des SC
Exclusion Mutuelle: Principe(1)
Exclusion Mutuelle: Principe(2)
Protocole d ’entrée/sortie en SC
Structure des processus
Propriétés de l’exclusion Mutuelle
Autres propriétés de l ’exclusion Mutuelle
Exclusion Mutuelle
Réalisation d’exclusion Mutuelle
Réalisation d’exclusion Mutuelle: solutions logicielles
Exclusion Mutuelle: solutions matérielles sur monoprocesseur
Exclusion mutuelle: solution brutale
Exclusion Mutuelle:solution monoprocesseur(1)
Exclusion Mutuelle:solution monoprocesseur (2)
Exclusion Mutuelle:solution Multiprocesseur (1)
Exclusion Mutuelle:solution Multiprocesseur (2)
Exclusion Mutuelle: Algorithmes de Dekker
Exclusion Mutuelle: Algorithmes de Peterson
Les sémaphores
Sémaphores: Définition(1)
Sémaphores: définition (2)
Sémaphores: Réalisations logicielles
Réalisations logicielles des primitives P et V
Réalisations logicielles des primitives P et V (2)
Sémaphores: une deuxième implantation logicielle
Sémaphore d'exclusion Mutuelle
Sémaphores d’exclusion mutuelle: interblocage
Sémaphore de synchronisation: principe
Exemple:Producteur/ Consommateur
Sémaphores: Producteur/consommateur
|
Auteur:U.P.P.A
Messagerie: nabil.hameurlain@univ-pau.fr
Page d'accueil: http://www.univ-pau.fr/~bruel/cnam.html
Télécharger la source de la présentation
|