进程同步问题是一个非常重要且相当有趣的问题,因而吸引了很多学者对他进行研究。本文就选取其中较为代表性的生产者-消费者问题来进行学习,以帮助我们更好的理解进程同步的概念及实现方法。
一、问题描述
有一群生产者进程在生产产品,并将这些产品提供给消费者进程进行消费。为了使生产这边进程与消费进程能够并发的执行,在两者之间设置了一个具有n 个缓冲区的缓冲池,生产者进程将其他生产的产品放到一个缓冲区中,消费者进程可以从一个缓冲区中取走产品去消费。
需要注意的是,尽管所有的生产者和消费者都是以异步的方式运行的,但是他们之间必须保持同步,
既不允许消费者进程在缓冲区为空时去取产品,也不允许生产者进程在缓冲区已满且产品尚未被取走时向缓冲区投放产品。
下图是一个生产者与消费者进程执行的流程图,比图中我们可以很清晰的看到上述的三个进程间的关系,其中生产者和消费者中操作缓冲区都需要先进行申请,也就是进入区,操作完成后要执行释放,也就是退出区,通过这样来实现对缓冲池的互斥访问。
二、问题分析
- 缓冲池一次只能有一个进程访问。
- 只要缓冲池未满,生产者就可以把产品放入缓冲区。
- 只要缓冲池未空,消费者就要可以从缓冲区中取走产品。
通过图中的贯通两个进程的虚线来实现生产者和消费者的同步关系。