生产者-消费者问题
问题的描述
生产者生产产品,放入缓冲区.消费者从缓冲区拿出产品,并消费掉.
问题的分析
- 生产者,消费者共享一个
初始为空,大小为n的缓冲区
. - 只有缓冲区没满时,生产者才能把产品放入缓冲区,否则必须等待.(这是同步问题,有先后顺序)
- 只有缓冲区不空时,消费者才能从中取出产品,否则必须等待.(这是同步问题,有先后顺序)
- 缓冲区是临界资源,各进程必须互斥的访问(互斥问题)
深入分析:
1.为什么各进程必须互斥的访问缓冲区资源呢?
生产者和生产者之间,消费者与消费者不能同时进行访问
2.生产者和生产者之间,消费者与消费者之间不能同时进行访问?
拿生产者为例,如果生产者和生产者之间能同时进行生产,很可能就生产到了同一个缓冲区的同一块区域中.
3.操作系统不是能智能的分配区域吗?
智能的分配区域,只限于比如说5块区域,这块用完了,下次再分配就从剩下的4块中分配,而不是能够让同时让正在进行2个生产者,分配到不同的两块区域
4.生产者和消费者为什么不能同时进行生产和消费
原因在于,如果同时进行生产和消费,mutex就不能=1,就会导致生产者和生产者之间,消费者与消费者同时访问
问题的实现
p(empty)和p(mutex)能否顺序交换?
不能.如果交换了顺序,会造成程序的死锁.
进程的同步信号量要放在互斥信号量的后面
.