Synchronisation de Processus

1
Problématique 2
 Dans un système multiprogrammée les processus/Les threads ont
parfois besoin d’interagir (coopérer) avec d’autres
processus/threads pour progresser.
 L’exécution d’un processus/thread peut être affecté par l’exécution
des autres processus/threads ou il peut affecter lui-même leurs
exécutions.
 Pour interagir (coopérer) il y a besoin de communication assurée
généralement par des données partagées qui peuvent se trouver dans la
mémoire principale ou dans un fichier.
 Les accès concurrents (simultanés) à des données partagées peuvent
conduire à des incohérences dans les résultats obtenus.
 Quand plusieurs Processus/threads s’exécutent en parallèle, nous ne
pouvons pas faire d’hypothèses sur leurs vitesses d’exécution, ni leur
entrelacements.
Exemple illustratif 3

 Soient deux processus/threads qui exécute simultanément le même

code suivant: b=a;
b++;
a=b;
 Notons que a est une variable partagée entre les deux entités
communicantes initialisée à 0 et b une variable locale à chacune
d’elles. Quel pourrait être le résultat dans a?

 Sachant que aucune hypothèse n’est connu sur les vitesses d’exécution
des processus et que ces derniers peuvent être interrompu à
n’importe quel moment.
 Exemple illustratif (suite)
 Deux scénarios possibles:
 (1) les processus s’exécute itérativement et dans ce cas le
résultat dans b serais la valeur 2.
 (2) P1
b=a interruption P2
b=a
b++
b++ a=b
a=b

 P1 est interrompu après lecture de a, P2 s’exécute ensuite,

quand P1 reprend son exécution in ne tiendra pas compte de la
modification effectuée par P1. la valeur finale dans a serais 1.
4
 Notion de ressource
DEFINITIONS
 Une ressource désigne toute entité dont un processus a
besoin pour s'exécuter.
 Ressource matérielle (processeur, périphérique,…)
 Ressource logicielle (variable,…)

 Une ressource est caractérisé :

1. par un état : libre /occupée
2. par son nombre de points d'accès : nombre de processus
pouvant l'utiliser en même temps.

5
 Notion de ressource
 Utilisation d'une ressource par un processus passe par trois étapes :
1. Allocation
2. Utilisation
3. Restitution

 Contrainte :
Les phases d'allocation et de restitution doivent assurer que la
ressource soit utilisée conformément à son nombre de points d'accès

 Remarque : Une ressource critique à un seul point d'accès

6
 Section Critique
 La partie de programme dans laquelle se font des accès à une
ressource partagée s'appelle une section critique.

 Dans la plupart des cas l'accès à cette section critique devra

se faire en exclusion mutuelle , ce qui implique de rendre
indivisible ou atomique la séquence d'instructions composant
la section critique.

 Exemple : accès à une base de données. Plusieurs processus

peuvent lire simultanément, mais quand un processus fait une
mise à jour, tous les autres accès doivent être interdits.

7
 Section critique
M. X demande une
réservation
d’avion

Base de données
dit que fauteuil
A est disponible
atomique
Fauteuil A est
assigné à X et
marqué occupé

8
 Le problème de la section critique
 Lorsqu’un processus manipule une donnée (ou ressource)
partagée avec d’autres, il se trouve dans une section
critique (associée à cette donnée)

 Le problème de la section critique est de trouver un

algorithme d’exclusion mutuelle de threads dans l’exécution
de leur SC afin que le résultat de leurs actions ne dépendent
pas de l’ordre d’entrelacement de leur exécution (avec un
ou plusieurs processeurs).

 L’exécution des SC doit être mutuellement exclusive et

atomique: à tout instant, un seul processus peut exécuter
une SC pour une donnée (même lorsqu’il y a plusieurs UCT)
9
 Structure d’un programme type
 Le programme est présenté comme boucle infinie: while(true)
 Chaque processus doit donc demander une permission avant
d’entrer dans une SC
 La section de code qui effectue cette requête est la section
d’entrée
 La section critique est normalement suivie d’une section de sortie
 Le code qui reste est la section non-critique
while (true) {
Section d’entrée
Section critique atomique
Section de sortie
Section non critique
}
10
 Application
M. X demande une
réservation d’avion

Section d’entrée

Base de données dit que

fauteuil A est disponible
Section
critique Fauteuil A est assigné à X et
marqué occupé

Section de sortie

11
 4 Conditions d'accès à une SC
 Exclusion Mutuelle :Deux processus ne peuvent être
ensemble en section critique,
 Progression Un processus bloqué en dehors de sa section
critique ne doit pas empêcher un autre d'entrer dans la sienne
(pas d’Interblocage)
 Attente bornée Si deux processus attendent l'entrée dans
leurs sections critiques respectives, le choix doit se faire en un
temps fini, (pas de famine).
 Aucune hypothèse Pas d'hypothèses sur les vitesses relatives
des processus (indépendance vis à vis du matériel). Tous les
processus doivent avoir la même chance d'entrer en section
critique,
12
 Trois types de solutions
 Solutions fournies par le matériel : s’appuient sur
l’existence de certaines instructions spéciales (du
processeur)

 Solutions par logiciel : des algorithmes qui n’utilisent

pas d’instruction spéciales.

 Solutions fournies pas le SE : procure certains appels

du système au programmeur

13
 Solutions d’exclusion mutuelles
avec attente active.
Dans ce contexte on trouve les solutions
suivantes:

1. Le masquage des interruptions

2. Les variables de verrouillage
3. L’alternance stricte
4. La solution de Peterson

14
 Masquage des interruptions
 Avant d’entrer dans une section critique, le processus masque les
interruptions.
 Il les restaure à la fin de la section critique.
 Il ne peut être alors suspendu durant l’exécution de la section
critique.
Process Pi:
Répéter
Protocole d’entrée en SC = désarmer les Interruptions
Section critique ( SC In-interruptible, donc
indivisible car pas de commutation de contexte)
Protocole de sortie de SC = armer les Interruptions
Section restante
Fin Répéter

15
 Masquage des interruptions
 Problèmes
 Solution dangereuse : si le processus, pour une raison ou
pour une autre, ne restaure pas les interruptions à la sortie de la
section critique, ce serait la fin du système.
 Elle n’assure pas l’exclusion mutuelle, si la machine est
multiprocesseurs (le masquage des interruptions concerne
uniquement le processeur qui a demandé l’interdiction). Les
autres processus exécutés par un autre processeur pourront
donc accéder aux objets partagés.
 Cette technique parfois utilisée et, est réservée aux
systèmes d’exploitation
16
 Attente active et verrouillage
 Utiliser une variable partagée verrou, unique, initialisée
à 0.
 Pour rentrer en section critique, un processus doit tester la
valeur du verrou.
 Si verrou = 0, le processus met le verrou à 1 puis
exécute sa section critique.
 A la fin de la section critique , il remet le verrou à 0.
 Sinon, il attend (attente active ) que le verrou devienne
égal à 0 : while(verrou !=0) ;

17
 Attente active et verrouillage

18
 Attente active et verrouillage
Problèmes
 Elle n’assure pas l’exclusion mutuelle :
 Supposons qu’un processus est suspendu juste après avoir lu la valeur du
verrou qui est égal à 0.
 Ensuite, un autre processus est élu. Ce dernier teste le verrou qui est
toujours égal à 0, met le verrou à 1 et entre dans sa section
critique.
 Ce processus est suspendu avant de quitter la section critique. Le
premier processus est alors réactivé, il entre dans sa section critique et
met le verrou à 1.
 Les deux processus sont en même temps en section critique

 L’attente active surcharge le CPU

19
 Instruction indivisible:
Test-And-Set (TAS)
 Instruction disponible sur presque toutes les machines
(mais on n'a pas toujours le droit de l'utiliser). Quand
X vaut 1, cela veut dire que la ressource est prise.

 Utilisation (X est une variable partagée par plusieurs

processus, initialisée à zéro) :

 Inconvénient: Attente active

20
 Instruction indivisible: Test-and-Set
(TAS)

21
 Attente active avec alternance
 Utiliser une variable tour qui mémorise le tour
du processus qui doit entrer en section
critique. tour est initialisée à 0.

22
 Attente active avec alternance

Processus P0 Processus P1
while (1) while (1)
{ /*attente active*/ { /*attente active*/
while (tour !=0) ; while (tour !=1) ;
section_critique_P0() ; section_critique_P1() ;
tour = 1 ; tour = 0 ;
…. ….
} }

 Un processus peut être bloqué par un

processus qui n’est pas en section critique.
 Attente active consomme du temps CPU.
23
 Solution de Peterson
 Cette solution se base sur deux fonctions entrer_region et
quitter_region.
 Chaque processus doit, avant d’entrer dans sa section critique
appeler la fonction entrer_region en lui fournissant en
paramètre son numéro de processus.
 Cet appel le fera attendre si nécessaire jusqu’à ce qu’il n’y ait
plus de risque.
 A la fin de la section critique, il doit appeler quitter_region
pour indiquer qu’il quitte sa section critique et pour autoriser
l’accès aux autres processus.
24
 Solution de Peterson

25
 Solutions d’exclusion mutuelle
sans attente active.

Dans ce contexte on considère les méthodes

suivantes
1. Les primitives systèmes sleep et wakeup
2. Les sémaphores
3. Les moniteurs

26
 Les primitives SLEEP et WAKEUP

 SLEEP est un appel système qui suspend l’appelant en

attendant qu’un autre le réveille.
 WAKEUP(process) : est un appel système qui réveille le
processus process.
 Un processus H qui veut entrer dans sa section critique
est suspendu si un autre processus B est déjà dans sa
section critique.
 Le processus H sera réveillé par le processus B, lorsqu’il
quitte la section critique.

27
 Les primitives SLEEP et WAKEUP

28
 Les primitives SLEEP et WAKEUP

29
  Dans le système Unix, les appels système qui assurent à peu
près, les mêmes fonctions que les primitives SLEEP et
WAKEUP sont :
 pause( ) : suspend le processus appelant jusqu’à réception d’un
signal.
 kill(pid, SIGCONT): envoie le signal SIGCONT au processus
pid. L’émission d’un signal est possible si l’une des deux
conditions est vérifiée :
1. L’émetteur et le destinataire du signal appartiennent au même
propriétaire
2. L’émetteur du signal est le super-utilisateur.
30
 Problème du
producteur/consommateur
 La solution du problème au moyen des sémaphores nécessite
deux sémaphores.
 Le premier, nommé Plein, compte le nombre
d’emplacements occupés. Il est initialisé à 0.
 Il sert à bloquer/débloquer le consommateur (P(Plein) et
V(Plein)).
 Le second, nommé Vide, compte le nombre d’emplacements
Vide. Il est initialisé à N (N est la taille du tampon).
 Il sert à bloquer/débloquer le producteur (P(Vide) et
V(Vide)).
34
 Problème du
producteur/consommateur
 tampon [N];
Consommateur :
Producteur :
{ int ic =0;
{ int ip =0;
Répéter
Répeter
{ P(Plein);
{ P(Vide) ;
consommer(tampon,ic);
produire(tampon, ip);
ic= Mod(ic+1, N);
ip = Mod(ip +1,N);
V(Vide);
V(Plein);
} tantque vrai
} tantque vrai
}
}35