操作系统笔记——生产者-消费者问题

最新推荐文章于 2024-08-26 23:03:10 发布

ZCC9310

最新推荐文章于 2024-08-26 23:03:10 发布

阅读量2k

点赞数

分类专栏：操作系统文章标签：操作系统

本文链接：https://blog.csdn.net/ZZC14790409310/article/details/121909944

版权

本文详细探讨了操作系统中的生产者-消费者问题，包括问题描述、互斥问题以及PASCAL实现的算法。介绍了如何通过信号量解决互斥和同步问题，确保生产者和消费者对缓冲池的正确访问。并进一步讨论了允许并发访问但禁止同一位置访问的拓展情况。

摘要由CSDN通过智能技术生成

一、问题描述

1.有两个进程，生产者进程和消费者进程

2.临界资源：缓冲池

3.关系：只要缓冲池不满，生产者进程就可以向缓冲池中存入信息；只要缓冲池不空，消费者就可以从缓冲池中拿走信息。缓冲池同时只能被一共进程占用。

二、互斥问题

1.缓冲池中的缓冲区有N个。

2.信号量设置：

（1）互斥信号量mutex，这个信号量用于标注缓冲池是否被占用

互斥信号量的设置，要看有哪几种互斥就设置几个。比如若是允许生产者写的时候，消费者读，互斥的关系就是：生产者和生产者互斥写入缓存区；消费者和消费者互斥读缓冲区；生产者和消费者之间就没有互斥关系了，故一共有两种互斥关系，设置两个互斥信号量。

（2）信号量full：表示满缓冲区的个数

（3）信号量empty:表示空缓冲区的个数

三、算法描述(PASCAL)

1.标准生产者-消费者问题描述：

VAR  
         mutex,empty.full:semaphore :=1,n,0;
         in,out: integer := 0, 0 ;
         Buffer: array [0..n-1] of item ;
Parbegin
    Producer:  
    begin 
            repeat 
                produce an item in nextp ;

                wait(empty);