Chapitre2 Système Dexploitation 2

Université Aboubekr BELKAID
‫كلية العلوم – تيجاني هدام‬

Faculté des Sciences – Tidjani HAddam
‫قسم اإلعالم اآللي‬
Département d’informatique
Chapitre N°2:
Exclusion mutuelle dans un système
d’exploitation
Mr BENAISSA Mohamed
E-mail : benaissa_samir@yahoo.fr
Année universitaire 2020-2021
1
Plan de chapitre N°2 :exclusion mutuelle dans SE

Introduction à l’exclusion mutuelle
Propriétés de l’exclusion mutuelle
Solution logicielle de l’exclusion mutuelle (attente active)
Les différents algorithmes d’exclusion mutuelle
Algorithme de Peterson
Solution matérielle de l’exclusion mutuelle
Solution par masquage interruption
Solution par la fonction TAS(m) 2

Introduction
Lorsque plusieurs processus s’exécutent en parallèles sur un ordinateur,

monoprocesseur ou multiprocesseur avec une mémoire commune, ils
sont amenés à partager des variables communes( ressources critiques).
le problème d’accès concurrence à des variables partagées conduit à

l’utilisation des mécanismes d’exclusion mutuelle pour éviter
l’incohérence des valeurs des données partagées.
Une section critique est un ensemble d’instructions d’un

programme qui peuvent engendrer des résultats imprévisible
(incohérente) lorsqu’elles sont exécutées simultanément par des
processus différents.
3
Définition d’exclusion mutuelle
Lorsque un ensemble de processus qui s’executent en parallèles demandent

simultanément l’accès a une ressource critique , telle que à un instant donnée
un seul processus puisse l’utilisée, on dit que les processus en exclusion
mutuelle pour l’image de cette ressource.
Relation de compétition (concurrence)

Situation dans laquelle plusieurs processus doivent utiliser simultanément
une ressource à accès exclusif (ressource a 1 point d’accée)
la ressource ne pouvant être utilisée que par un seul processus à un moment
donné.
4
Exemple
● Un compte en banque doit être crédité de 10 000 DA et débité de 30 DA
– Un processus est chargé d'ajouter 10 000 DA

● solde=Lire(compte)
● solde = solde + 10000
● Ecrire(solde,compte)
– Un autre est chargé de soustraire 30 DA

● solde=Lire(compte)
● solde = solde -30
● Ecrire(solde,compte)
5
Exemple – scénario 1
Le processus créditeur s’exécute avant le processus débiteur
6
Exemple – scénario 2
Les processus créditeur et débiteur s’exécutent « en même temps »
A l'issue du premier
scénario, le compte
valait 10220 DA !!!
7
Conclusion
Il aurait fallu que le premier processus interdise au second

d’accéder au fichier pendant qu’il calculait le nouveau solde;
● C'est un problème d'exclusion mutuelle
● au maximum un processus à un instant donné utilise une

ressource critique
● ici, le fichier contenant le compte en banque
8
Schéma d’exécution des processus pour entré dans la Section critique
Processus pi
{
Code d’entrée-SC (prologue) //les instructions qui précède l’entré à la SC
utilisation de la section-critique
Code de sortie-SC (epilogue) //instructions exécuté après la sortie de la SC
hors-SC
}
9
Propriétés attendues de l’exclusion mutuelle
1. Exclusion mutuelle
Garantir q’un seul processus a un moment donné entre dans la section critique
2. Absence de l’interblocage (permanent)

En ne doit pas se trouvé dans une situation ou la SC est libre et les processus qui
demande d’entrer a la SC bouclent en même temps.
3. Condition de blocage (cad. blocage que temporaire)

Un processus qui se trouve hors de la SC ne doit pas empêcher un autre
processus d’entrer dans dans la SC.
4. Equité (Absence de famine)

Un processus qui demande d’entrer à la section critique ne doit pas attendre
indéfiniment pour entrer a la section critique.
5. Code identique (symétrique)

Le code qui protège la section critique (protocole d’entrée et protocole de sortie) est
le même pour toutes les processus
10
Solution logicielle de l’exclusion mutuelle : Attente active
Exclusion mutuelle par attente active et verrouillage par une variable
attente active est une boucle jusqu’à que la section critique devient libre
attente active : tester en permanence la possibilité d'entrer dans la SC,

l’attente active est solution logicielle de l’exclusion mutuelle
Principe d’une solution
Principe d’une solution

- définir un ensemble de variables partagées reflétant l’état d’occupation
de la ressource et l’état des processus concurrents pour cette ressource
- avant d’entrer en section critique, un processus exécute un protocole

testant et modifiant les variables d’état. Si la ressource n’est pas libre,
il exécute une boucle d’attente.
- en sortant de section critique, un processus “libère” la ressource en

modifiant les variables d’état
11
• Pour entrer dans une section critique, chaque processus doit consulter
une variable booléenne unique (initialisée à faux) indiquant si la
ressource critique est occupée
• Si elle vaut faux, le processus la met à vrai et entre en section critique

• Si le verrou est à vrai, le processus attend qu’elle soit à faux
Inconvénient de l’attente active

le temps processeur est gaspillé au test d’une condition (boucle) pour
bloquer un processus
mauvaise utilisation du processeur.
12
Attente active : Solution : verrouillage par une variable
Voila l’algorithme de verrouillage par une variable

Programme
Var occupé: booléen , occupé:= faux (initialisation)
Processus Pi
Debut
tant que occupé faire rien (boucle ou attente active) (interruption *);
occupé := vrai;
< section critique >
occupé := faux
fin
Avec interruption : Problème d’exclusion mutuelle.

deux processus en même temps dans le SC
13
Attente active
Solution avec tableau de booléens qui indiquent qui veut entrer en section
critique
Solution avec tableau de booléens
On a deux processus p1 et p2 partagent les variables suivantes :

Var demande : tableau [1..2] : booléen ; (initialisé a faux)
i ≠ j i =1,2 et j= 1,2
Processus Pi
Debut
demande[i] : = vrai (interruption **);
tant que demande[j] faire rien (boucle)
< section critique >
demande[i] : = faux ;
Fin
Avec interruption: il y a un problème d’interblocage

14
Attente active
Solution avec variable entière tour pour assurer l’alternance
Solution avec variable entière tour
Voila l’algorithme:
Contexte commun : var tour : 1, 2 ;
tour : = 1 ; (tour initialisé a 1)
Processus Pi
Début
Tant que tour ≠ i faire boucle (attente active)
< Section critique >
Tour : = j ;
Fin
Remarque :Il y a un problème de blocage si le

Processus P1 n’est pas intéressé par la section
critique
15
Algorithmes de Dekker(1965) et de Peterson (1981)
Principe :
1- chaque processus annonce sa candidature à l’autre processus

2- en cas de candidatures simultanées, le conflit est réglé en donnant
la priorité à un processus
Les solutions sont présentées pour 2 processus.
16
Algorithme de PETERSON
Vous avez le programme suivant :
Contexte commun : var c : tableau [1..2] : entier ;
tour : 0.. 1 ;
tour := 0 ; c [0] := 0 ; c[1] := 0 ;
Processus Pi
debut
c [i] : = 1 ;
tour :=j;
répéter
faire rien (boucle)
jusqu’à ((c[j]==0) ou (tour == i))
<section critique>
c [i] : = 0 ;
fin
Q1 : vérifier la contrainte de l’exclusion mutuelle.
17
Solution matérielle de l’Exclusion mutuelle
l’Exclusion mutuelle par la fonction TAS
La fonction TAS (Test And Set)
Mécanismes matériels pour l’exclusion mutuelle
Instruction Test and Set Lock (TAS)
fonction Test_And_Set (Modifié occupée : booléen) : booléen
18
La fonction TAS (Test And Set)
Soit m l’état de la zone mémoire, on a par convention :
● m=0 correspond à <SC> libre (occupé := faux) c’est-à-dire zone mémoire

libre
● m=1 correspond à <SC> occupée. (occupé :=vrai) c’est-à-dire zone

mémoire occupé
L'exécution de TAS(m) effectue :
Tas :=vrai  autorise l’accès à la zone mémoire m
Tas := faux  block l’accès à la zone mémoire m
19
Fonction TAS (var m : 0…1):booléen;
Début
si m == 0 alors
début
m:= 1;
TAS := vrai;
fin
sinon TAS := faux;
Fin
Contexte commun : var p :0…1 (avec p :=0 initialisation)

Processus pi
debut
repeter
faire rien (boucle attente active)
jusqu’à TAS(p)
< section critique>
p:= 0;
fin
20
Q: vérifiez la contrainte d’exclusion mutuelle
Mr BENAISSA Mohamed
E-mail : benaissa_samir@yahoo.fr
Année universitaire 2020-2021
21

Chapitre2 Système Dexploitation 2

Transféré par

Droits d'auteur :

Formats disponibles

Chapitre2 Système Dexploitation 2

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Chapitre2 Système Dexploitation 2

Transféré par

Droits d'auteur :

Formats disponibles

Université Aboubekr BELKAID

‫كلية العلوم – تيجاني هدام‬

Année universitaire 2020-2021

Plan de chapitre N°2 :exclusion mutuelle dans SE

Propriétés de l’exclusion mutuelle

Solution logicielle de l’exclusion mutuelle (attente active)

Les différents algorithmes d’exclusion mutuelle

Solution matérielle de l’exclusion mutuelle

Solution par masquage interruption

Solution par la fonction TAS(m) 2

Lorsque plusieurs processus s’exécutent en parallèles sur un ordinateur,

le problème d’accès concurrence à des variables partagées conduit à

Une section critique est un ensemble d’instructions d’un

Lorsque un ensemble de processus qui s’executent en parallèles demandent

Relation de compétition (concurrence)

● Un compte en banque doit être crédité de 10 000 DA et débité de 30 DA

– Un processus est chargé d'ajouter 10 000 DA

– Un autre est chargé de soustraire 30 DA

Le processus créditeur s’exécute avant le processus débiteur

Les processus créditeur et débiteur s’exécutent « en même temps »

Il aurait fallu que le premier processus interdise au second

● C'est un problème d'exclusion mutuelle

● au maximum un processus à un instant donné utilise une

● ici, le fichier contenant le compte en banque

2. Absence de l’interblocage (permanent)

3. Condition de blocage (cad. blocage que temporaire)

4. Equité (Absence de famine)

5. Code identique (symétrique)

Exclusion mutuelle par attente active et verrouillage par une variable

attente active : tester en permanence la possibilité d'entrer dans la SC,

Principe d’une solution

Principe d’une solution

- avant d’entrer en section critique, un processus exécute un protocole

- en sortant de section critique, un processus “libère” la ressource en

• Si elle vaut faux, le processus la met à vrai et entre en section critique

Inconvénient de l’attente active

Voila l’algorithme de verrouillage par une variable

< section critique >

Avec interruption : Problème d’exclusion mutuelle.

Solution avec tableau de booléens

On a deux processus p1 et p2 partagent les variables suivantes :

Avec interruption: il y a un problème d’interblocage

Solution avec variable entière tour

Remarque :Il y a un problème de blocage si le

1- chaque processus annonce sa candidature à l’autre processus

Les solutions sont présentées pour 2 processus.

jusqu’à ((c[j]==0) ou (tour == i))

l’Exclusion mutuelle par la fonction TAS

La fonction TAS (Test And Set)

Mécanismes matériels pour l’exclusion mutuelle

Instruction Test and Set Lock (TAS)

fonction Test_And_Set (Modifié occupée : booléen) : booléen

Soit m l’état de la zone mémoire, on a par convention :

● m=0 correspond à <SC> libre (occupé := faux) c’est-à-dire zone mémoire

● m=1 correspond à <SC> occupée. (occupé :=vrai) c’est-à-dire zone

Tas :=vrai  autorise l’accès à la zone mémoire m

Tas := faux  block l’accès à la zone mémoire m

Contexte commun : var p :0…1 (avec p :=0 initialisation)

Année universitaire 2020-2021

Vous aimerez peut-être aussi