Buffer com sincronização interna: uso simplificado

 
void Produce(void)

		 char c;

		 while (true) {
		 		 ... /* Produz o caracter c */

		 		 Put(c) /* a sincronizacao eh problema do buffer */

		 }

}

void Consume(void){

		 char c;

		 while (true) {

		 		 Get(&c);

		 		 ... /* consome c */

		 }

}

void main(void) {

		 cobegin

		 		 Produce();

		 		  Consume();

		 coend

}