1、问题描述：一组生产者进程和一组消费者进程共享一个初始为空大小为n的缓冲区，只有缓冲区没满时，生产者才能给缓冲区投放信息，否则必须等待；只有缓冲区不空时，消费者才能继续取出消息，否则也必须等待。由于缓冲区是临界资源，他只允许一个进程投放资源或者一个进程取出资源。

2、分析：

首先，缓冲区是临界资源，那么不论是生产者还是消费者访问临界资源的时候都必须是互斥的访问。所以，对于访问临界资源必须有个互斥信号量———mutex，其初始值为1，表示可以访问。对于临界资源的访问不分这个生产者还是消费者，谁访问都一样，都是一个进程访问临界资源的时候其他进程得等待。

其次，生产者与消费者是互相合作的关系，我们说，为完成某种任务而建立的多个进程，这些进程因为要在某些位置上协调他们的工作次序而等待，比如说A进程要工作必须等待B进程的一个结果，如果仅仅是A进程单方面的需要B进程的一个结果，那这张制约关系就是单方向的（此处的单方向和下面双方向是我个人的理解而用的词汇），如果同时B进程的工作也需要A进程工作的结果，那么这就是双方向的互相制约了。

而生产者-消费者问题里的同步关系我认为是双方向的，原因如下：生产者要生产的前提是缓冲区没满，而缓冲区没满是消费者运行后的结果，同样消费者要运行的前提是缓冲区不空，而缓冲区不空是生产者不断生成的结果。所以，按本人的理解就是双方向制约的关系。也许有人好奇为什么要搞这么细，原因很简答，在指定同步关系的信号量的时候一个制约就是一个信号量，本题的同步关系需要两个信号量。一个是消费者通知生产者是否可以生产的“有空位”信号量——empty，一个是生产者通知消费者要消费的“有信息”信号量——full。

3，具体描述

semaphore mutex=1;//互斥信号量
semaphore empty=n;//代表的是临界区的空位
semaphore full=0;//代表的是临界区的数据。空位+数据=n
producer(){ //生产者
    while(1){
        produce an item in nextep;
        p(empty);(想要什么p一下)      //获取空的缓冲区单元，有n个单元，每p一下。empty--一次
        p(muetx);                    //进入区。也就是进入临界区，互斥的访问。
        add nextep to buffer;        //临界区， 将数据装入缓冲区
        v(mutex);                    //退出区。
        v(full);(提供什么v一下)       //缓冲区有了数据了，没生产一个数据 full++一次。
    }
}
consumer(){ //消费者
    while(1){
        p(full);//获取满的缓冲单元
        p(muetx);//进入区
        remove an item from buffer;//临界区，取出缓冲区里的数据
        v(muetx);//退出区
        v(empty);//获取缓冲单元里的数据，产生一个空的缓冲单元。
        consume the item;//消费了数据
    }
}