问题描述:
一组生产者进程和一组消费者进程共享一个初始为空,大小为N的缓冲区。
当缓冲区没满的时候,生产者可以向里面放产品,否则必须等待。
当缓冲区满了的时候,消费者可以从里面买产品,否则要进行等待
分析:
1、缓冲区,临界资源,一次只可以一个进程对他进行访问(互斥关系)
2、生产者生产了以后,消费者才可以进去缓冲区(同步关系)
3、消费者买完了东西,有了多余的缓冲空间以后,生产者才能接着生产(同步关系)
具体实现:
1、设置信号量,metux用于互斥信号量,控制消费者和生产者互斥的访问这个缓冲区,初始值为1
2、设置缓冲区空的信号量,full=0;
3、设置缓冲区剩余空间的信号量 empty=n;
对于临界资源的访问需要PV夹紧