A caixa do correio representa o buffer. Por questões de simplificação considera-se que o buffer enche com um elemento. Cada processo pode pôr coisas no buffer mas tem que esperar que o outro tire e não ponha para que ele possa pôr. O processos sabem que podem pôr ou tirar pela posição da bandeirola. Se estiver ao alto o processo 2 tem algo para tirar, se estiver para a frente o processo 1 tem algo para tirar. Quando a bandeira está na posição em que está nesta imagem qualquer um pode pôr dados. Normalmente a bandeirola é controlada pelos processos, mas mais uma vez por questões de simplificação esta é tratada automaticamente.

Ana Neves e Fernando Mourão