进程同步经典问题:读者-写者问题

2024-04-14 14:52

本文主要是介绍进程同步经典问题:读者-写者问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

解决问题必须了解的知识:

进程同步

可以简单理解为先后顺序,即A进程执行完之后B进程才能执行。

进程互斥

同一个资源同一时刻只能有一个进程访问。

P、V操作

P即wait操作,可以理解为申请资源或者等待资源(资源数减1),如果资源被用完,那么该进程释放CPU资源,进入阻塞状态。V即signal操作,可以理解为释放资源(资源数加1),此操作内可选做唤醒其他进程的操作。P、V操作都是原子操作。

信号量

一种表示资源的变量,表示资源的可用量。分为整形信号量和记录型信号量,整型信号量的值表示当前资源可用个数。可以用信号量机制表示进程间同步互斥的关系。如果信号量的值为1,表示同一时刻只能由一个进程对资源申请进行访问。

读者-写者问题

有一个文件,同时可以有多个读者读取,但是某一时刻只能有一个写进程进行修改,并且写者修改的时候读者无法读取文件。

包含的互斥关系:每一个写进程与其他写进程和所有读进程都是互斥的。

可以看到这个问题主要是解决互斥问题,而不是同步问题。

在写者进程内伪代码如下:

semaphore rw = 1;//信号量,用于互斥地访问文件writer() {while(1) {p(rw);//申请访问文件,rw减1write();v(rw);//释放对文件的占有权,rw加1}
}

读者进程的处理是一个难点,因为所有读者进程可以同时访问文件,但是不能和写者进程一起访问文件。为了这种要求,在第一个读者进程读取文件的时候执行P操作申请资源,在最后一个进程读完后执行V操作释放资源。伪代码如下:

int count = 0;// 用于记录当前读者的数量
semaphore rw = 1;// 用于互斥地访问文件reader() {while(1) {if (count == 0) P(rw); // 第一个读者进程执行P操作,来实现和写者进程互斥count++;reading();// 执行读操作count--;if (count == 0)V(rw);// 最后一个进程执行V操作,释放资源}
}

细心地的伙伴可能发现了,如果有多个读者进程同时执行到if(count == 0),那么只有其中一个才能成功执行P操作,其它进程执行P操作时,rw的值已经变成了0,然后就阻塞住了。所以我们还需要一个信号量来实现对count的互斥操作。优化后的伪代码如下:

int count = 0;// 用于记录当前读者的数量
semaphore rw = 1;// 用于互斥地访问文件
semaphore mutex = 1;// 用于互斥地对count进行加减操作reader() {while(1) {P(mutex);if (count == 0) P(rw); // 第一个读者进程执行P操作,来实现和写者进程互斥count++;V(mutext);reading();// 执行读操作P(mutex);count--;if (count == 0)V(rw);// 最后一个进程执行V操作,释放资源V(mutex);}
}

这样优化之后就可以了,但是仅仅“可以”还是不够的,还不够完美。假如现在有很多个读者进程,源源不断地来读,那么就不会释放文件资源,那么写者进程就可能进入饥饿状态。再次进行优化:

int count = 0;// 用于记录当前读者的数量
semaphore rw = 1;// 用于互斥地访问文件
semaphore mutex = 1;// 用于互斥地对count进行加减操作
semaphore just = 1;// 用于避免写者进程长时间申请不到资源writer() {while(1) {P(just);P(rw);write();V(rw);V(just);}
}reader() {while(1) {P(just);P(mutex);if (count == 0) P(rw); // 第一个读者进程执行P操作,来实现和写者进程互斥count++;V(mutext);V(just);reading();// 执行读操作P(mutex);count--;if (count == 0)V(rw);// 最后一个进程执行V操作,释放资源V(mutex);}
}

完。

 

 

这篇关于进程同步经典问题:读者-写者问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

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

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

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

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

Python Jupyter Notebook导包报错问题及解决

《PythonJupyterNotebook导包报错问题及解决》在conda环境中安装包后,JupyterNotebook导入时出现ImportError,可能是由于包版本不对应或版本太高,解决方... 目录问题解决方法重新安装Jupyter NoteBook 更改Kernel总结问题在conda上安装了

pip install jupyterlab失败的原因问题及探索

《pipinstalljupyterlab失败的原因问题及探索》在学习Yolo模型时,尝试安装JupyterLab但遇到错误,错误提示缺少Rust和Cargo编译环境,因为pywinpty包需要它... 目录背景问题解决方案总结背景最近在学习Yolo模型,然后其中要下载jupyter(有点LSVmu像一个

解决jupyterLab打开后出现Config option `template_path`not recognized by `ExporterCollapsibleHeadings`问题

《解决jupyterLab打开后出现Configoption`template_path`notrecognizedby`ExporterCollapsibleHeadings`问题》在Ju... 目录jupyterLab打开后出现“templandroidate_path”相关问题这是 tensorflo

如何解决Pycharm编辑内容时有光标的问题

《如何解决Pycharm编辑内容时有光标的问题》文章介绍了如何在PyCharm中配置VimEmulator插件,包括检查插件是否已安装、下载插件以及安装IdeaVim插件的步骤... 目录Pycharm编辑内容时有光标1.如果Vim Emulator前面有对勾2.www.chinasem.cn如果tools工

最长公共子序列问题的深度分析与Java实现方式

《最长公共子序列问题的深度分析与Java实现方式》本文详细介绍了最长公共子序列(LCS)问题,包括其概念、暴力解法、动态规划解法,并提供了Java代码实现,暴力解法虽然简单,但在大数据处理中效率较低,... 目录最长公共子序列问题概述问题理解与示例分析暴力解法思路与示例代码动态规划解法DP 表的构建与意义动

Java多线程父线程向子线程传值问题及解决

《Java多线程父线程向子线程传值问题及解决》文章总结了5种解决父子之间数据传递困扰的解决方案,包括ThreadLocal+TaskDecorator、UserUtils、CustomTaskDeco... 目录1 背景2 ThreadLocal+TaskDecorator3 RequestContextH

关于Spring @Bean 相同加载顺序不同结果不同的问题记录

《关于Spring@Bean相同加载顺序不同结果不同的问题记录》本文主要探讨了在Spring5.1.3.RELEASE版本下,当有两个全注解类定义相同类型的Bean时,由于加载顺序不同,最终生成的... 目录问题说明测试输出1测试输出2@Bean注解的BeanDefiChina编程nition加入时机总结问题说明

关于最长递增子序列问题概述

《关于最长递增子序列问题概述》本文详细介绍了最长递增子序列问题的定义及两种优化解法:贪心+二分查找和动态规划+状态压缩,贪心+二分查找时间复杂度为O(nlogn),通过维护一个有序的“尾巴”数组来高效... 一、最长递增子序列问题概述1. 问题定义给定一个整数序列,例如 nums = [10, 9, 2