• Objectifs: 
• Communication de messages entre un processus "producteur" et un processus "consommateur".
• Problèmes: 
• Le producteur ne doit pas produire si le consommateur n'a pas consommé le message précédent (1 seule place).
• Le consommateur doit consommé si et seulement si un message a été déposé. 
• Donc il faut synchroniser les deux processus.
• Contexte: 
• On suppose qu'il n'y a qu'une seule place.
• Solution: 
• Deux sémaphores:
• Libre (initialisé à 1) pour savoir si le producteur peut produire 
• Occupé (initialisé à 0) pour savoir si le consommateur peut consommer.

 

Graphe	Producteur	Consommateur
	{ Tant que non-fin { P(Libre)        /* Puis-je produire? */ Déposer-le-message(); V(Occupé);  /* Tu peux consommer*/ }}	{ Tant que non-fin { P(Occupé)       /* Puis-je consommer? */ Prendre-le-message(); V(Libre);          /* Tu peux produire? */ Traiter-le-message(); }}