L3

Sujet

Processus A Processus B
while (true) {
  A1();
  A2();
}
while (true) {
  B1();
  B2();
}

Synchroniser les processus A et B à l'aide de sémaphores de telle sorte qu'il y ait plus d'actions A terminées que d'actions B commencées à chaque instant.


// Initialisation
S = 0;

// Programme A while (true) { A1(); A2(); V(S) }

// Programme B while (true) { P(S) B1(); B2(); }