46 lines
1.9 KiB
Markdown
46 lines
1.9 KiB
Markdown
|
Moniteurs en Java (rappel) :
|
|||
|
|
--------------------
|
|||
|
|
|
|||
|
|
- Créer un objet de type java.util.concurrent.locks.Lock
|
|||
|
|
(à partir de java.util.concurrent.locks.ReentrantLock) :
|
|||
|
|
` mon_moniteur = new java.util.concurrent.locks.ReentrantLock();`
|
|||
|
|
Cet objet réalise le moniteur en fournissant, par son utilisation
|
|||
|
|
explicite, l'exclusion mutuelle et permet de créer des
|
|||
|
|
variables-conditions associées au verrou.
|
|||
|
|
` `
|
|||
|
|
*Remarque* : Il est possible de créer un ReentrantLock équitable (mais pas nécessairement FIFO) :
|
|||
|
|
` mon_moniteur = new java.util.concurrent.locks.ReentrantLock(true);`
|
|||
|
|
|
|||
|
|
|
|||
|
|
- Créer une ou des variables-conditions (java.util.concurrent.locks.Condition)
|
|||
|
|
à partir du "lock" précédemment créé :
|
|||
|
|
|
|||
|
|
`ma_var_condition = mon_moniteur.newCondition();`
|
|||
|
|
|
|||
|
|
- Les opérations doivent explicitement manipuler le verrou pour obtenir
|
|||
|
|
l'exclusion mutuelle :
|
|||
|
|
|
|||
|
|
`mon_opération() {`
|
|||
|
|
` mon_moniteur.lock();`
|
|||
|
|
|
|||
|
|
` ... `
|
|||
|
|
|
|||
|
|
` mon_moniteur.unlock(); `
|
|||
|
|
` }`
|
|||
|
|
|
|||
|
|
- Les variables-conditions s'utilisent avec
|
|||
|
|
|
|||
|
|
` ma_var_condition.await();`
|
|||
|
|
et
|
|||
|
|
` ma_var_condition.signal();`
|
|||
|
|
` ma_var_condition.signalAll();`
|
|||
|
|
|
|||
|
|
- La sémantique est priorité au signaleur, sans file des signalés :
|
|||
|
|
* en outre, l'attente sur les conditions n'est **pas FIFO**, et
|
|||
|
|
* le signaleur conserve l'accès exclusif
|
|||
|
|
* le signalé est réveillé, mais doit réacquérir l'accès exclusif, et il n'est pas
|
|||
|
|
prioritaire par rapport aux entrants en attente (que le verrou soit équitable ou non) ;
|
|||
|
|
il doit donc nécessairement retester la condition attendue, car elle a pu être utilisée/
|
|||
|
|
invalidée par un entrant avant qu'il obtienne l'accès exclusif.
|
|||
|
|
Il faut donc penser à utiliser des boucles "while" pour déterminer si les conditions
|
|||
|
|
attendues sont effectivement vérifiées au moment du réveil.
|