生产者消费者问题

void producer()

{

message pmsg;

while(true)

{

receive(mayproduce,pmsg)

pmsg=produce();

send(mayconsume,pmsg);

}

void consume()

{

massage cmsg;

while(true);

{

receive(mayconsume,pmsg);

consume(cmsg);

send(mayproduce,null);

}

void main()

{

create_mailbox(mayconsume);

create_mailbox(mayproduce);

为了提供对互斥的支持，必须满足以下要求：

①对一个资源来说，同一时刻只允许一个进程在临界区中

②一个在非临界区停止的进程必须不干涉其它进程

③无死锁和饥饿

④当没有进程在临界区中时，任何需要进入临界区的进程必须能够立即进入

⑤对相关进程的速度和处理器的数目没有任何要求和限制

⑥一个进程驻留在临界区中的时间必须是有限的