操作系统:读者写者问题(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

相关文章

C++使用栈实现括号匹配的代码详解

《C++使用栈实现括号匹配的代码详解》在编程中,括号匹配是一个常见问题,尤其是在处理数学表达式、编译器解析等任务时,栈是一种非常适合处理此类问题的数据结构,能够精确地管理括号的匹配问题,本文将通过C+... 目录引言问题描述代码讲解代码解析栈的状态表示测试总结引言在编程中,括号匹配是一个常见问题,尤其是在

Java实现检查多个时间段是否有重合

《Java实现检查多个时间段是否有重合》这篇文章主要为大家详细介绍了如何使用Java实现检查多个时间段是否有重合,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录流程概述步骤详解China编程步骤1:定义时间段类步骤2:添加时间段步骤3:检查时间段是否有重合步骤4:输出结果示例代码结语作

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定

Java覆盖第三方jar包中的某一个类的实现方法

《Java覆盖第三方jar包中的某一个类的实现方法》在我们日常的开发中,经常需要使用第三方的jar包,有时候我们会发现第三方的jar包中的某一个类有问题,或者我们需要定制化修改其中的逻辑,那么应该如何... 目录一、需求描述二、示例描述三、操作步骤四、验证结果五、实现原理一、需求描述需求描述如下:需要在

如何使用Java实现请求deepseek

《如何使用Java实现请求deepseek》这篇文章主要为大家详细介绍了如何使用Java实现请求deepseek功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1.deepseek的api创建2.Java实现请求deepseek2.1 pom文件2.2 json转化文件2.2

mybatis和mybatis-plus设置值为null不起作用问题及解决

《mybatis和mybatis-plus设置值为null不起作用问题及解决》Mybatis-Plus的FieldStrategy主要用于控制新增、更新和查询时对空值的处理策略,通过配置不同的策略类型... 目录MyBATis-plusFieldStrategy作用FieldStrategy类型每种策略的作

python使用fastapi实现多语言国际化的操作指南

《python使用fastapi实现多语言国际化的操作指南》本文介绍了使用Python和FastAPI实现多语言国际化的操作指南,包括多语言架构技术栈、翻译管理、前端本地化、语言切换机制以及常见陷阱和... 目录多语言国际化实现指南项目多语言架构技术栈目录结构翻译工作流1. 翻译数据存储2. 翻译生成脚本

C++初始化数组的几种常见方法(简单易懂)

《C++初始化数组的几种常见方法(简单易懂)》本文介绍了C++中数组的初始化方法,包括一维数组和二维数组的初始化,以及用new动态初始化数组,在C++11及以上版本中,还提供了使用std::array... 目录1、初始化一维数组1.1、使用列表初始化(推荐方式)1.2、初始化部分列表1.3、使用std::

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没

linux下多个硬盘划分到同一挂载点问题

《linux下多个硬盘划分到同一挂载点问题》在Linux系统中,将多个硬盘划分到同一挂载点需要通过逻辑卷管理(LVM)来实现,首先,需要将物理存储设备(如硬盘分区)创建为物理卷,然后,将这些物理卷组成... 目录linux下多个硬盘划分到同一挂载点需要明确的几个概念硬盘插上默认的是非lvm总结Linux下多