操作系统:读者写者问题(C++实现)

2023-12-11 02:20

本文主要是介绍操作系统:读者写者问题(C++实现),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

读者写者问题描述:

读者只会读取数据,不会修改数据,而写者即可以读也可以修改数据。

  1. 同一时刻,允许多个读者同时读
  2. 没有写者时读者才能读,没有读者时写者才能写
  3. 没有其他写者时,写者才能写

1、读者优先

代码实现:

semaphore wMutex; //写操作的互斥信号量,初始值为1
semaphore rCountMutex; //对读者的互斥修改,初始值为1
int rCount = 0;  //正在进行读操作的读者个数,初始化为0void writer( )
{while(TRUE){P( wMutex); //进入临界区write( );/**进行写操作*/V(wMutex);//进入临界区}
}
void reader( )
{while(TRUE){P(rCountMutex);//进入临界区if ( rCount == 0){P(wMutex);//如果有写者,则阻塞写者}rCount++    //读者计数+1V(rCountMutex );//离开临界区/**进行读操作*/P(rCountMutex);//进入临界区rCount--;//读完数据,准备离开if ( rCount == 0){V( wMutex);//最后一个读者离开了,则唤醒写者}V( rCountMutex ) ;//离开临界区}
}

上面的这种实现,是读者优先的策略,因为只要有读者正在读的状态,后来的读者都可以直接进入,如果读者持续不断进入,则写者就无法得到运行。

2、写者优先

那既然有读者优先策略,自然也有写者优先策略:

  1. 只要有写者准备要写入,写者应尽快执行写操作,后来的读者就必须阻塞;
  2. 如果有写者持续不断写入,则读者就处于饥饿状态,一直无法进行读操作;

代码实现:

semaphore rCountMutex;//控制对Rcount的互斥修改,初始值为1
semaphore rMutex;//控制读者进入的互斥信号量者,初始值为 1semaphore wCountMutex//控制 wCount互斥修改,初始值为1
semaphore wDataMutex//控制写者写操作的互斥信号量,初始值为1int rCount = 0; //正在进行读操作的读者个数,初始化为0
int wCount = 0;//正在进行读操作的写者个数,初始化为0void writer()
{while(TRUE){P(wCountMutex);//进入临界区if ( wCount ==0 ){P( rMutex);1/当第一个写者进入,如果有读者则阻塞读者}wCount++; //写者计数+1V(wCountMutex);//离开临界区P( wDataMutex);//写者写操作之间互斥,进入临界区/**进行写操作*/V(wDataMutex);    //离开临界区P(wCountMutex);    //进入临界区wCount--;    //写完数据,准备离开if (wCount == 0 ){V(rMutex);// 最后一个写者离开了,则唤醒读者}V(wCountMutex);//离开临界区}
}void reader()
{while(TRUE){P(rMutex);P(rCountMutex);//进入临界区if ( rCount == 0){P(wDataMutex);//当第一个读者进入,如果有写者则阻塞写者写操作}rCount++;V(rCountMutex);//离开临界区V(rMutex);/**进行读操作*/P(rCountMutex);//进入临界区rCount--;if (rCount == 0){V(wDataMutex);//当没有读者了,则唤醒阻塞中写者的写操作}v(rCountMutex);//离开临界区}
}

注意,这里rMute的作用,开始有多个读者读数据,它们全部进入读者队列,此时来了一个写者,执行了 P(rMute) 之后,后续的读者由于阻塞在 rMute 上,都不能再进入读者队列,而写者到来,则可以全部进入写者队列,因此保证了写者优先。

同时,第一个写者执行了 P(rMute) 之后,也不能马上开始写,必须等到所有进入读者队列的读者都执行完读操作,通过V(wDataMutex)唤醒写者的写操作。

3、读者写者公平策略

 要求:

  1. 优先级相同;
  2. 写者、读者互斥访问;
  3. 只能一个写者访问临界区;
  4. 可以有多个读者同时访问临界资源;

具体代码实现:

semaphore rCountMutex; //控制对Rcount的互斥修改,初始值为1
semaphore wDataMutex  //控制写者写操作的互斥信号量,初始值为1
semaphore flag;   //用于实现公平竞争,初始值为1
int rCount = 0;   //正在进行读操作的读者个数,初始化为0void writer()
{while(TRUE){P( flag );P(wDataMutex);//写者写操作之间互斥,进入临界区/**进行写操作*/V(wDataMutex); //离开临界区V(flag);}
}void reader( )
{while(TRUE){P(flag);P(rCountMutex);//进入临界区if (rCount==0){P(wDataMutex);//当第一个读者进入,如果有写者则阻塞写者写操作}rCount++;V(rCountMutex);//离开临界区V(flag);/**进行写操作*/P(rCountMutex ); //进入临界区rCount--;if (rCount == 0){V(wDataMutex);//当没有读者了,则唤醒阻塞中写者的写操作}V(rCountMutex); //离开临界区}
}

对比方案一的读者优先策略,可以发现,读者优先中只要后续有读者到达,读者就可以进入读者队列, 而写者必须等待,直到没有读者到达。

没有读者到达会导致读者队列为空,即 rCount==0,此时写者才可以进入临界区执行写操作。

而这里 flag 的作用就是阻止读者的这种特殊权限(特殊权限是只要读者到达,就可以进入读者队列)。

比如:开始来了一些读者读数据,它们全部进入读者队列,此时来了一个写者,执行 P(flag) 操作,使得后续到来的读者都阻塞在 flag 上,不能进入读者队列,这会使得读者队列逐渐为空,即 rCount 减为 0。

这个写者也不能立马开始写(因为此时读者队列不为空),会阻塞在信号量 wDataMutex 上,读者队列中的读者全部读取结束后,最后一个读者进程执行 V(wDataMutex),唤醒刚才的写者,写者则继续开始进行写操作。

而如果是写者先到,然后读者随之而来,那么后面再来的写者程序也会应为读者的P(flag)阻塞再这个信号量之上,带读者读完后再能继续写。

从这两个方面来看确实完成了读者和写者的公平对待。

这篇关于操作系统:读者写者问题(C++实现)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/479125

相关文章

Python中pywin32 常用窗口操作的实现

《Python中pywin32常用窗口操作的实现》本文主要介绍了Python中pywin32常用窗口操作的实现,pywin32主要的作用是供Python开发者快速调用WindowsAPI的一个... 目录获取窗口句柄获取最前端窗口句柄获取指定坐标处的窗口根据窗口的完整标题匹配获取句柄根据窗口的类别匹配获取句

MyBatis模糊查询报错:ParserException: not supported.pos 问题解决

《MyBatis模糊查询报错:ParserException:notsupported.pos问题解决》本文主要介绍了MyBatis模糊查询报错:ParserException:notsuppo... 目录问题描述问题根源错误SQL解析逻辑深层原因分析三种解决方案方案一:使用CONCAT函数(推荐)方案二:

在 Spring Boot 中实现异常处理最佳实践

《在SpringBoot中实现异常处理最佳实践》本文介绍如何在SpringBoot中实现异常处理,涵盖核心概念、实现方法、与先前查询的集成、性能分析、常见问题和最佳实践,感兴趣的朋友一起看看吧... 目录一、Spring Boot 异常处理的背景与核心概念1.1 为什么需要异常处理?1.2 Spring B

Python位移操作和位运算的实现示例

《Python位移操作和位运算的实现示例》本文主要介绍了Python位移操作和位运算的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录1. 位移操作1.1 左移操作 (<<)1.2 右移操作 (>>)注意事项:2. 位运算2.1

如何在 Spring Boot 中实现 FreeMarker 模板

《如何在SpringBoot中实现FreeMarker模板》FreeMarker是一种功能强大、轻量级的模板引擎,用于在Java应用中生成动态文本输出(如HTML、XML、邮件内容等),本文... 目录什么是 FreeMarker 模板?在 Spring Boot 中实现 FreeMarker 模板1. 环

Qt实现网络数据解析的方法总结

《Qt实现网络数据解析的方法总结》在Qt中解析网络数据通常涉及接收原始字节流,并将其转换为有意义的应用层数据,这篇文章为大家介绍了详细步骤和示例,感兴趣的小伙伴可以了解下... 目录1. 网络数据接收2. 缓冲区管理(处理粘包/拆包)3. 常见数据格式解析3.1 jsON解析3.2 XML解析3.3 自定义

SpringMVC 通过ajax 前后端数据交互的实现方法

《SpringMVC通过ajax前后端数据交互的实现方法》:本文主要介绍SpringMVC通过ajax前后端数据交互的实现方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价... 在前端的开发过程中,经常在html页面通过AJAX进行前后端数据的交互,SpringMVC的controll

Redis 热 key 和大 key 问题小结

《Redis热key和大key问题小结》:本文主要介绍Redis热key和大key问题小结,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录一、什么是 Redis 热 key?热 key(Hot Key)定义: 热 key 常见表现:热 key 的风险:二、

Spring Security自定义身份认证的实现方法

《SpringSecurity自定义身份认证的实现方法》:本文主要介绍SpringSecurity自定义身份认证的实现方法,下面对SpringSecurity的这三种自定义身份认证进行详细讲解,... 目录1.内存身份认证(1)创建配置类(2)验证内存身份认证2.JDBC身份认证(1)数据准备 (2)配置依

利用python实现对excel文件进行加密

《利用python实现对excel文件进行加密》由于文件内容的私密性,需要对Excel文件进行加密,保护文件以免给第三方看到,本文将以Python语言为例,和大家讲讲如何对Excel文件进行加密,感兴... 目录前言方法一:使用pywin32库(仅限Windows)方法二:使用msoffcrypto-too