操作系统(生产者、消费者问题)

进程同步是对多个相关进程在执行次序上进行协调,使并发执行的多个进程之间按照一定的规则共享系统资源。

1、生产者消费者问题:

生产者、消费者问题生产者生产产品放入缓冲区中,消费者从缓冲区中取出产品去消费。不允许消费者从空缓冲区中取产品,也不允许生产者向已经满了的缓冲区添加产品。

操作系统(生产者、消费者问题)_第1张图片

 

 2、过程描述:

生产者:

void producer(){
    while(1)
    {
      while(counter==n);//缓冲池已满,不再执行后面的操作 
      buffer[in]=nextp;//将生产出来的产品放入缓冲池
      in=(in+1)%n;//指针后移
      counter++;    
    }
 
} 

消费者:

void consumer(){
    while(1)
    {
      while(counter==0);//缓冲池为空,不再执行后面的操作
      nextc=buffer[out];//取出一件产品
      out=(out+1)%n;//指针后移 
      counter--; 
    }
} 

如果不对生产者和消费者进程加以控制会出现不同的结果 (有正确的有错误的),即进程的不可再现性,这是由于进程失去了封闭性引起的。

3、进程同步(信号量机制):

(1)使用wati()和signal()操作来实现对临界资源的访问。

semaphone mutex=1;
Pa(){
    while(1){
        wait(mutex);//进入区 
        临界区;//访问临界资源的代码 
        signal(mutex);//退出区 
        剩余区; //其他部分 
    }
} 

(2)信号量机制解决进程同步问题:

生产者:

int n=0,out=0;
item buffer[n];
semaphore mutex=1,empty=n,full=0;//缓冲池一个,空缓冲区n个,满缓冲区0个
void producer)(){
    while(1){
        wait(empty);//先对缓冲区执行p操作,如果empty执行之前为0,则阻塞,不必在执行后面的
        wait(mutex);//减缓冲池
        buffer[in]=nextp;//将生产出来的产品放入缓冲池
        in=(in+1)%n;//指针后移
        signal(mutex);//释放资源,v操作 
        signal(full);    
    }
} 

消费者:

int n=0,out=0;
item buffer[n];
semaphore mutex=1,empty=n,full=0;//缓冲池一个,空缓冲区n个,满缓冲区0个
void consumer(){
    while(1){
        wait(full);//先对缓冲区执行p操作,如果full执行之前为0,则阻塞,不必在执行后面的
        wait(mutex);//减缓冲池
        buffer[in]=nextp;//将消费的产品放入缓冲池
        out=(out+1)%n;//指针后移
        signal(mutex);//释放资源,v操作 
        signal(full);        
        }
}  

其中,mutex信号量保证了消费者和生产者对缓冲池的互斥访问,即在消费者(或生产者)释放资源之前, 消费者(或者生产者)不能再利用缓冲池。

(3)信号量值的意义:

例如:设某一个信号量的初始值为1,进行一次p操作后变为0,此时,已经没有资源了,但是没有进程处于阻塞;

           进行第二次操作后,变为-1,表示已经没有资源了,并且另外一个进程处于阻塞状态;

           初始值1表示可用资源数量。

 

你可能感兴趣的:(操作系统(生产者、消费者问题))