Exclusion Mutuelle (2)
‘ compt <= N ’ et ‘ compt > 0 ’ peuvent être vérifiées simultanément;
La lecture donne la même valeur par contre seulement l'une des deux écritures en mémoire sera prise en compte:
La valeur de compt sera incohérente avec l'état du tampon pour le Prod ou le Cons .