SYNCHRONISATION

DES PROCESSUS
PARADIGMES UNIVERSELS
SAIDOUNI Djamel Eddine
BOUZENADA Mourad

Université Constantine 2 - Abdelhamid Mehri

Faculté des Nouvelles Technologies de l’Information et de la Communication
Département d’Informatique Fondamentale et ses Applications

Laboratoire de Modélisation et d’Implémentation des Systèmes Complexes

MISC

Djamel.saidouni@univ-constantine2.dz
mourad.bouzenada@univ-constantine2.dz
 PLAN DE LA SÉANCE
• Introduction
• Paradigme des Producteurs / Consommateurs
• Paradigme des Lecteurs / Rédacteurs
• Paradigmes des Philosophes
• Présentation du problème
• Solution 1
• Solution 2
• Solution 3
• Solution 4
• Solution 5

2020-12-08

2
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 TROISIÈME SOLUTION
En utilisant les sémaphores
Le philosophe 3 a proposé de changer le protocole et de laisser la prise
des baguettes comme dans la première solution tout en limitant le nombre
de philosophes en compétition pour l’acquisition des baguettes à 4.

Implémentation: Comportement de Philosophe i:

while(true)
{
 Ajout d’un sémaphore de penser();
comptage Comp qui limite à 4 le wait(Comp);
nombre de philosophes qui wait(baguette[i]);
rentrent en compétition pour Prendre baguette de droite;
l’acquisition des baguettes. wait(baguette[(i+1)% 5]);
 Var Comp: sémaphore init. 4 Prendre baguette de gauche;
manger();
Déposer baguette de droite;
signal(baguette[i]);
Cette Solution ne souffre ni de Déposer baguette de gauche;
blocage ni de famine. signal(baguette[(i+1)% 5]);
2020-12-08 signal(Comp)}

3
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 TROISIÈME SOLUTION
En utilisant les moniteurs

Protocole 3: Adopter le protocole 1 en limitant les philosophes qui rentrent en

compétition pour l’acquisition des baguettes à 4
DP3: est le nom du moniteur
prendrebaguetted(), prendrebaguetteg(), déposerbaguettes(): sont des
procédures du moniteur DP3
Comportement de philosophe i
While (true)
{
penser
DP1.Prendrebaguetted(i)
DP1.Prendrebaguetteg(i)
manger
DP1.Déposerbaguettes(i)
}
2020-12-08

4
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 TROISIÈME SOLUTION
En utilisant les moniteurs
monitor DP3 {
Var Baguettelibre: array[0..4] of boolean;
Nbrencomp: int;
Attendrebaguette: array[0..4] of condition;
Compfaible: condition;
Procédure Prendrebaguetted(int i) {
if Nbrencomp = 4 { Compfaible.wait };
Nbrencomp++;
if not Baguettelibre[i] { Attendrebaguette[i].wait };
Baguettelibre[i] = false }
Procédure Prendrebaguetteg(int i) {
if not Baguettelibre[(i+1)%5] { Attendrebaguette[(i+1)%5].wait };
Baguettelibre[(i+1)%5] = false }
2020-12-08

5
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 TROISIÈME SOLUTION
En utilisant les moniteurs

Procédure Déposerbaguettes(int i) { /*philosophe i dépose ses baguettes

Baguettelibre[i] = true;
Baguettelibre[(i+1)%5] = true;
Nbrencomp--;
Attendrebaguette[i].signal; /*réveil éventuel du philosophe (i+4)%5

Attendrebaguette[(i+1)%5].signal; /*réveil éventuel du philosophe (i+1)%5

Compfaible.signal; } /*révéil du cinquième philosophe s’il désire rentrer
en compétition

Initialisation {Nbrencomp = 0; for (int i = 0; i < 5; i++) { Baguettelibre[i] = true; } }

}

2020-12-08

6
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 QUATRIÈME SOLUTION
Malgré que le protocole proposé par le troisième philosophe résout le
problème tout en assurant l’exclusion mutuelle pour l’utilisation des
baguettes, l’absence de l’interblocage et l’absence de famine, malgré cela
le philosophe 4 a commenté son désagrément comme suit:
 En général, nous ne rentrons pas tous en compétition pour l’acquisition
des baguettes. Et même si cela arrive, il est rare que chacun de nous
prenne la baguette qui est sur sa droite en même temps.
 Autoriser la compétition de tous les philosophes augmentera
l’exploitation des baguettes et nous permettra de réduire notre attente
pour manger.
Ainsi, le philosophe 4 propose le protocole suivant:
 Vous tous, vous prenez les baguettes dans l’ordre droite puis
gauche, sauf moi, je prendrai la baguette qui est sur ma gauche
puis celle qui est sur ma droite.

2020-12-08

7
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 QUATRIÈME SOLUTION
En utilisant les sémaphores
Comportement
n des philosophes i=0..3
Repeat
Penser;
Wait(Baguette[i]);
Prendre baguette de droite;
Wait(Baguette[i + 1]);
Prendre baguette de gauche;
Manger;
Déposer baguette de droite;
Signal(Baguette[i]);
Déposer baguette de gauche;
Signal(Baguette[i + 1]);
Until false
2020-12-08
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
Comportement du philosophe 4
Repeat
Penser;
Wait(Baguette[0]);
Prendre baguette de droite;
Wait(Baguette[4]);
Prendre baguette de gauche;
Manger;
Déposer baguette de droite;
Signal(Baguette[0]);
Déposer baguette de gauche;
Signal(Baguette[4]);
Until false
8
 QUATRIÈME SOLUTION
En utilisant les moniteurs
Protocole 4: Les philosophes 0, 1, 2 et 3 prennent les baguettes de droite puis
de gauche. Philosophe 4 prend la baguette de gauche puis celle de droite.
DP4 : est le nom du moniteur il est identique à DP1

Comportement de philosophe i Comportement de philosophe 4

i={0,1,2,3}
While (true) While (true)
{ {
penser penser
DP1.Prendrebaguette(i) DP1.Prendrebaguette(0)
DP1.Prendrebaguette(i+1) DP1.Prendrebaguette(4)
manger manger
DP1.Déposerbaguettes(i) DP1.Déposerbaguettes(4)
} }

2020-12-08

9
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 CINQUIÈME SOLUTION
La solution proposée par le philosophe 4 n’a pas fait l’unanimité. En effet, le
philosophe 0 a eu le sentiment que le philosophe 4 a proposé cette solution
pour se distinguer des autres philosophes, ce qui pourrait ouvrir son appétit
pour d’autres ambitions, se proclamer le futur chef par exemple. Afin de
remettre les choses à leurs places tout en assurant la continuité dans les cycles
d’évolution de chaque philosophe, le philosophe 0 proposa le protocole suivant:
 Adopter le premier protocole pour l’acquisition des baguettes, c-à-d chaque
philosophe prendra la baguette qui est sur sa droite puis celle qui est sur sa
gauche.
 Désigner une tierce personne du restaurant qui supervisera l’état des
philosophes. Si un interblocage se produit, cette personne réquisitionnera
une baguette de l’un des philosophes et la remettra sur la table. Le
philosophe concerné reprendra la tentative d’acquisition de la baguette.
 La personne qui arbitre la scene, doit choisir un philosophe tout en assurant
l’équité du choix.

Point de vue implémentation, cette personne est un processus que nous

appelons Processus arbitre.

10
2020-12-08
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 CINQUIÈME SOLUTION
En utilisant les sémaphores
Var BaguetteRequisitionnée : array [0..4] of boolean initialisé à [f,f,f,f,f];
/* BaguetteRequisitionnée [i] = true si le processus arbitre a réquisitionné la baguette
du philosophe i.

temp:array[0..4] of boolean initialisé à [f,f,f,f,f];

BaguetteDroitePh : array [0..4] of boolean initialisé à [f,f,f,f,f];

/* BaguetteDroitePh [i] = true si le philosophe i occupe la baguette i

tour : integer initialisée à (Random % 5);

/*Désigne le prochain philosophe concerné par la réquisition de sa baguette

mutex : sémaphore initialisé à 1;

/*Utilisé pour protéger l’accès aux variables partagées

interblocage : boolean initialisé à false;

/*La variable interblocage prend la valeur true si un interblocage se produit

11
2020-12-08
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 CINQUIÈME SOLUTION
En utilisant les sémaphores
Comportement de philosophe i
Repeat Processus arbitre
if temp[i] then { Repeat
wait(mutex); Delay(15 mn);
BaguetteRequisitionnée[i]=false; wait(mutex);
signal(mutex);} interblocage = ( BaguetteDroitePh[0] and
else {Penser;} BaguetteDroitePh[1] and
Wait(Baguette[i]); BaguetteDroitePh[2] and
wait(mutex); BaguetteDroitePh[3] and
BaguetteDroitePh[i] := true; BaguetteDroitePh[4] )
signal(mutex); signal(mutex);
Prendre baguette de droite; if interblocage {
Wait(Baguette[(i + 1) % 5]); réquisitionner baguette tour de philosophe tour;
temp[i] = BaguetteRequisitionnée[i]; wait(mutex);
if not temp[i] { BaguetteRequisitionnée[tour] := true;
Prendre baguette de gauche; signal(mutex);
Manger; déposer baguette tour;
Déposer baguette de droite; wait(mutex);
wait(mutex); BaguetteDroitePh[tour] := false;
BaguetteDroitePh[i] := false; signal(mutex);
signal(mutex); signal(Baguette[tour]);
Signal(Baguette[i]); Signal(Baguette[(tour + 4) % 5]);
Déposer baguette de gauche; tour = (tour + 1) % 5;
Signal(Baguette[(i + 1) % 5]); }; }
Until false Until false

12
2020-12-08
SAIDOUNI Djamel Eddine & BOUZENADA Mourad
 CONDITIONS NÉCESSAIRES POUR
L’OCCURRENCE DE L’INTER-BLOCAGE

Quatre conditions sont nécessaires pour l’occurrence de l’interblocage

1. Exclusion mutuelle
2. Occupation et attente
3. Attente circulaire
4. Pas de réquisition

Pour prévenir l’occurrence de l’interblocage, il suffit de supprimer l’une

des conditions 2, 3 et 4.

Dans l’exemple des philosophes

Le protocole 2 a supprimé la condition d’occupation et attente
Le protocole 3 et le protocole 4 ont supprimé l’attente circulaire
Le protocole 5 a autorisé la réquisition des ressources.

13
2020-12-08
SAIDOUNI Djamel Eddine & BOUZENADA Mourad