生产者---消费者问题

利用记录型信号量解决生产者–消费者问题：

注意：只要缓冲池未满，生产者便可将消息放入缓冲池，只要缓冲池未空，消费者便可从缓冲池取走一个消息。
假设公用缓冲池中有n个缓冲区，empty表示空缓冲区的数量(资源信号量)，full（资源信号量）表示满缓冲区的数量,mutex实现对缓冲池的互斥使用。

int in = 0,out =0;
item buffer[n];
semaphore mutex = 1, empty = n, full = 0;
void producer()
{
	while(true)
	{
		producer an item nextp; //生产产品
		wait(empty);//P(empty),empty--,申请一个empty资源
		wait(mutex);//P(mutec),mutex--,申请临界资源，将生产者使用缓冲池的阶段保护起来
		//以上两个p操作不能互换顺序，如果互换，当生产者申请到临界资源，而没有申请到empty资源后，
		//便会执行wait()函数里的block原语将自己阻塞挂起，而自己又占用了唯一的临界资源，
		//这样会导致所有程序都不能使用临界资源，从而导致死锁现象。
		buffer[in]=nextp;//放产品
		in=(in+1)%in;
		signal(mutex);//V(mutex),mutex++,释放临界资源
		signal(full);//V(full),full++,发消息告诉消费者，
		//以上两个程序可以互换，释放资源的先后并不会导致死锁现象。
		//比如当V(full)在前时，发消息给消费者，但还没有释放临界资源，此时就算消费者进程插入，
		//没能申请到临界资源，也只会暂时把自己阻塞挂起，等到一旦生产者进程释放临界资源，
		//消费者进程便可立即被生产者进程里signal(mutex)函数中的wakeup原语所唤醒。
	}
}
void consumer()
{
	while(true)
	{   //同上解析
		wait(full);
		wait(mutex);
		nextc=buffer[out]	//取产品
		out=(out+1)%out   
		signal(mutex);
		signal(empty);
		consumer the item in nexc;//消费产品
	}
}
void main()
{
	cobegin
		producer();consumer();
	coend
}