Le Producteur/Consommateur avec buffer limité

Un producteur dépose des messages dans un buffer, duquel un comsommateur les retire. La synchronisation doit satisfaire les points suivants :

• Le producteur ne peut pas déposer un message lorsque le buffer est plein.
• Le consommateur ne peut pas retirer un message lorsque le buffer est vide.