经典进程同步与互斥问题
前言
在多道程序设计环境中,进程同步是一个非常重要的问题,下面讨论几个经典的进程同步问题。
一、生产者-消费者问题
1.问题描述
生产者-消费者问题是指有两个进程共享一个环形的缓冲池,一组进程为生产者,另一组进程为消费者。缓冲池由若干个大小相等的缓冲区组成。生产者不断将产品放入缓冲池,消费者不断从缓冲池中取出产品。
2.问题分析
消费者和生产者既存在同步关系,也存在互斥关系。
这里简单区别一下什么是同步,什么是互斥
同步不是我们常识中的共同进行,此处的同步是说不同进程之间相互有时序关系,也就是说一定有个先来后到的固定顺序。拿这里的生产者消费者为例,当缓冲池中产品数量满了时候,生产者只能暂时停止,等到消费者来唤醒他,同理当产品没有了,消费者只能暂停,等到生产者来唤醒他。
互斥就是说两者之间有竞争关系,这两个人之间可能没有什么关系,但他们需要共同竞争同一个事物。比如这里的消费者和生产者都要对产品进行竞争。
3.代码
代码如下(示例):
semaphore mutex=1;
semaphore empty=n;
semaphore full=0;
int i,j;
INEM buffer[n];
ITEM data_p,data_c;
void producer() /*生产者进程*/
{
while(true)
{
produce an item in data_p;
P(empty);
P(mutex);
buffer[i]=data_p;
i=(i+1