nblac : nombre de lecteurs actifs.
nbrac : nombre de rédacteurs actifs. |
nblatt : nombre de lecteur en attente.
nbratt : nombre de rédacteurs en attente. |
|
Invariant : nblac * nbrac = 0 et 0 <= nbrac <= 1. |
procedure LECT =
deb_lect
lecture
fin_lect |
procedure ECR =
deb_ecr
ecriture
fin_ecr |
