Une solution avec deux sémaphores

Deux sémaphores vide (0,vide) et plein (n,vide)

Processus producteur
debut
tant que vrai faire debut
        wait(plein);
        deposer(message);
        signal(vide);
        fin
fin

Processus consommateur
debut
tant que vrai faire debut
        wait(vide);
        retirer(message);
        signal(plein);
        fin
fin