Moniteurs, Java, Threads et Processus - Montefiore

public synchronized void semSignal()
{ value++;
if (nbWait > 0)
{ nbWait--; notify();
}
}
}
public synchronized int semNbWait()
{ return nbWait;
}
L’opération nbWait-- se fait dans semSignal() juste avant le notify() car,
étant donné l’absence de reprise immédiate, effectuer cette opération dans
semWait() après le wait() pourrait mener au renvoi d’une valeur incorrecte
par semNbWait().
La sémantique de wait() et notify() implique que cette implémentation
n’est pas équitable.
32