Synchronisation

Objectifs : Synchroniser les processus afin qu'il s'éxécutent dans un ordre défini.

Sémantique des primitives P et V:
Graphe de synchronisation: Un graphe orienté. Les noeuds sont les processus, les flêches (éventuellement étiquetées du nom du sémaphore) entrantes des P et les flêches sortantes des V.

Tous les sémaphores(SC,SD,SE,SF,SG) sont initialisés à 0
Graphe
 A
 B
 C
 D
 E
 F
 G

{...
V(SC );
...
V(SE);
}
 		{...
V(SD);
}
 		{...
P(SC);
...
V(SF);
...
V(SD);
}
 {
P(SD);
P(SD);
...
V(SG);
}
 {
P(SE);
...
V(SF);
}
 {
P(SF);
P(SF);
...
V(SG);
}
 {
P(SG);
P(SG);
...
}

suivant      plan