《操作系统》-生产者消费者问题

什么是生产者消费者问题？

系统中有一组生产者进程和一组消费者进程。生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区中取出一个进程并使用，那么他们之间具有这样一层关系
生产者、消费者共享一个初始为空、大小为n的缓冲区。
只有缓冲区没满时，生产者才能把产品放入缓冲区。否则必须等待 (缓冲区没满->生产者生产)
只有缓冲区不空时，消费者才能从中取出产品，否则必须等待 (缓冲区不空->消费者消费)
缓冲区是临界资源，各进程访问时要求互斥 (互斥访问)

对生产者消费者问题进行分析

由上面的描述可知：要执行生产者生产操作的前提条件是缓冲区没满，而执行消费者消费的前提条件是缓冲区不空。上一篇文章我们说过如何用信息量机制来实现进程的同步，还不熟悉的小伙伴可以参考一下这篇文章如何用信息量机制实现进程互斥、进程同步和前驱关系
在前操作之后对相应的同步信息量执行V操作
在后操作之前对相应的同步信息量执行P操作
所以他们之间是这样的关系

代码可以这么来写

semaphore mutex