当前位置: 首页 > news >正文

【操作系统复习】第6章 虚拟存储器 2

请求分页中的内存分配

在为进程分配物理块时,要解决下列的三个问题:

1. 保证进程可正常运行所需要的最少物理块数

2. 每个进程的物理块数,是固定值还是可变值(分配策略)

3. 不同进程所分配的物理块数,是采用平均分配算法还是根据进程的大小按照比例予以分配(分配算法)

一、最小物理块数的确定

1. 最小物理块数只保证进程正常运行所需的最小物理块数。

2. 进程应获得的最小物理块数与计算机的硬件机构有关,取决于指令的格式、功能和寻址方式。

二、内存分配策略

在请求分页中,可采取两种分配策略,即固定和可变分配策略。在进行置换时,也可采取两种策略,即全局置换和局部置换(置换范围不同)。于是组合出三种适用的策略:

1、固定分配局部置换

思路

– 分配固定数目的内存空间,在整个运行期间都不改变

策略

– 如果缺页,则先从该进程在内存的页面中选中一页,进行换出操作,然后再调入一页

特点

– 为每个进程分配多少页是合适的值难以确定

2、可变分配全局置换

思路

– 每个进程预先分配一定数目的物理块,同时OS也保持

一个空闲物理块队列

策略

– 当缺页时,首先将对OS所占有的空闲块进行分配,从而增加了各进程的物理块数。当OS的空闲块全部用完,将引起换出操作

3、可变分配局部置换

思路

– 系统根据缺页率动态调整各进程占有的物理块数目,使其保持在一个比较低的缺页率状态下

特点

– 使大部分进程可以达到比较近似的性能

三、物理块分配算法

在采用固定分配策略时,可使用下列方法来分配:

1. 平均分配算法:将系统中所有可供分配的物理块,平均分配给各个进程。

2. 按比例分配算法:按照进程的大小比例分配物理块。

3. 考虑优先权的分配算法:为了对于紧迫的作业,能够尽快完成。可以将内存的物理块分成两部分,一部分按照比例分配给各进程,另一部分根据进程优先级,适当增加其相应的份额,分配给各进程。

页面调入策略

何时调入页面

预调页策略:预先调入一些页面到内存

请求调页策略:发现需要访问的页面不在内存时,调入内存

从何处调入页面

如系统拥有足够的对换区空间,全部从对换区调入所需页面

如系统缺少足够的对换区空间,凡是不会被修改的文件,都直接从文件区调入;当换出这些页面时,由于未被修改而不必再将它们重写磁盘,以后再调入时,仍从文件区直接调入

UNIX方式:未运行过的页面,从文件区调入;曾经运行过但又被换出的页面,从对换区调入。

① 进程需要的页面不在内存,引起缺页中断

② 中断处理程序保留现场环境,转入缺页中断处理程序

③ 中断处理程序查找页表,得到对应的外存物理块号。如果内存有空闲,则启动磁盘操作,将所缺的页面读入,并修改页表。否则,到4。

④ 执行置换算法,选出要换出的页面,如果该页修改过,应将其写入磁盘,然后将所缺页调入内存,修改相应表项,将其存在位置为‘1’,并放入快表。

⑤ 利用修改后的页表,形成物理地址,访问内存数据。

缺页率

访问页面成功(在内存)的次数为S

访问页面失败(不在内存)的次数为F

总访问次数为A=S+F

缺页率为 f= F/A

影响因素:页面大小、分配内存块的数目、页面置换算法、程序固有属性

缺页中断处理的时间

请求分页存储管理方式

优点:

– 可提供多个大容量的虚拟存储器:作业的地址空间不再受主存大小的限制

– 主存利用率大大提高:作业中不常用的页不会长期驻留在主存,当前运行用不到的信息也不必调入主存

– 能实现多道作业同时运行

– 方便用户:大作业也无须考虑覆盖问题

缺点:

– 缺页中断处理增加系统开销

– 页面的调入调出增加I/O系统的负担

– 此外页表等占用空间且需要管理,存在页内零头

页面置换算法

功能:

需要调入页面时,选择内存中哪个物理页面被置换。

目标:

未来不再使用的或短期内较少使用的页面调出,通常只能在局部性原理指导下依据过去的统计数据进行预测。

抖动:

不适当的算法会导致进程发生“抖动”,即刚换出的页很快就要被访问,又需重新调入

几种页面置换算法:

最佳置换算法(OPT, optimal)*

先进先出算法(FIFO)*

最近最久未使用算法(LRU, Least Recently Used)*

轮转算法(clock)

最不常用置换算法(LFU, Least Frequently Used)*

页面缓冲算法(page buffering)

最佳置换算法(OPT, optimal)

1. 最佳置换算法所选择的被淘汰页面,将是以后永不使用的, 或许是在最长(未来)时间内不再被访问的页面。采用最佳置换算法,通常可保证获得最低的缺页率。

2. 这是一种理想情况,是实际执行中无法预知的,因而不能实现。可用作性能评价的依据

先进先出算法(FIFO)

1. 选择装入最早的页面被置换。可以通过链表来表示各页的建立时间先后。

2. 性能较差。较早调入的页往往是经常被访问的页,这些页在FIFO算法下被反复调入和调出。

3. 并且有抖动现象

最近最久未使用算法(LRU, Least Recently Used)

1. 选择内存中最久未使用的页面被置换

2. 这是局部性原理的合理近似,性能接近最佳算法。(“最近的过去”对“最近的将来”的近似)

3. 但由于需要记录页面使用时间的先后关系,硬件开销太大

轮转算法(clock)

1、简单的Clock置换算法

也称最近未使用算法(NRU, Not Recently Used),它是LRU(最近最久未使用算法)和FIFO的折衷。

–内存中所有页面通过链接指针形成一个循环队列

–每页有一个使用访问位(use bit),若该页被访问则置use bit=1。

–置换时采用一个指针,从当前指针位置开始按地址先后检查各页,寻找use bit=0的页面作为被置换页。

–指针经过的user bit=1的页都修改user bit=0,最后指针停留在被置换页的下一个页。

2、改进型Clock置换算法

由于Clock算法不考虑换出页面时,页面是否修改过的问

题。这样在换出的页面如果被修改过的话,则必须做拷回

磁盘处理,开销比较大。于是,改进型的Clock算法为每

个页又增加了一个修改位

选择页面时,尽量选择既未使用又没有修改的页面。

最不常用置换算法(LFU, Least Frequently Used)

目的

–选择到当前时间为止被访问次数最少的页面被置换;

实现方法1

–每个页面设立移位寄存器:被访问时左边最高位置1,定期右移并且最高位补0,这样,在最近一段时间内时用最少的页面将是ΣRi最小的页。

实现方法2

–每页设置访问计数器,每当页面被访问时,该页面的访问计数器加1;发生缺页中断时,淘汰计数值最小的页面,并将所有计数清零。

页面缓冲算法(page buffering)

页面缓冲算法 PBA

内存分配采用可变分配和局部置换置换算法为FIFO

它是对FIFO算法的发展,通过被置换页面的缓冲,有机会找回刚被置换的页面;

被置换页面的选择和处理:由操作系统中专门的页面置换进程,用FIFO算法选择被置换页,把被置换的页面放入两个链表(空闲页面链表和已修改页面链表)之一。

如果页面未被修改,就将其归入到空闲页面链表的末尾

访问内存的有效时间

• 访问页表、访问实际物理地址数据、缺页中断处理

• 被访问页在主存,且相应页表项在快表

EAT=λ+t

• 被访问页在主存,但相应页表项不在快表

EAT= λ+t+λ+t=2( λ+t )

• 被访问页不在主存

EAT= λ+t+ε+λ+t=ε+2( λ+t )

抖动

如果一个进程没有足够的页,那么缺页率将很高,这将导致:

CPU利用率低下.

操作系统认为需要增加多道程序设计的道数

系统中将加入一个新的进程

抖动(Thrashing) :一个进程的页面经常换入换出

根本原因:

同时在系统中运行的进程太多;

因此分配给每一个进程的物理块太少,不能满足进程运行的基本要求,致使进程在运行时,频繁缺页,必须请求系统将所缺页面调入内存。

工作集定义

所谓工作集,指在某段时间间隔Δ里进程实际要访问页面的集合。

把某进程在时间t的工作集记为w(tΔ),其中的变量Δ称为工作集的“窗口尺寸”。

工作集w(tΔ)是二元函数,即在不同时间t的工作集大小不同,所含的页面数也不同;工作集与窗口尺寸Δ有关,是Δ的非降函数,即:

抖动的预防方法

01 采取局部置换策略:只能在分配给自己的内存空间内进行置换;

02 把工作集算法融入到处理机调度中;

03 利用“L=S”准则调节缺页率:

L是缺页之间的平均时间

S是平均缺页服务时间,即用于置换一个页面的时间

L>S,说明很少发生缺页

L<S,说明频繁缺页

L=S,磁盘和处理机都可达到最大利用率

04 选择暂停进程。

请求分段存储管理方式

1. 请求分页系统建立的虚拟存储器,是以页面为单位进行换入、换出操作的。

2. 在请求分段系统中实现的虚拟存储器,以分段为单位进行换入和换出。

3. 程序在运行之前,只需要装入必要的若干个分段即可运行。当访问的分段不在内存时,可由OS将所缺少的段调入内存

请求段表机制

存取方式:表示段存取属性为只执行、只读或允许读/

访问字段A:记录该段在一段时间内被访问的次数

修改位M:标志该段调入内存后是否被修改过

存在位P:指示该段是否在内存

增补位:表示该段在运行过程中是否做过动态增长,在请求页式中没有该位

外存始址:指示该段在外存中的起始地址(盘块号)

缺段中断机构

在指令执行期间产生和处理中断信号

一条指令在执行期间,可能产生多次缺段中断

由于段不是定长的,对缺段中断的处理要比对缺页中断的处理复杂

地址变换机构

请求分段系统的地址变换机构,是在分段系统的地址变换机构基础上形成的。

由于分段可能不在内存,因此会引起缺段中断。先将需要的段调入内存,修

改段表,然后再利用段表进行地址变换。

分段保护

越界检查:

由地址变换机构来完成;

比较段号与段表长度;段内地址与段表长度。

存取控制检查:以段为基本单位进行。

通过“存取控制”字段决定段的访问方式;

基于硬件实现。

环保护机构:

低编号的环具有高优先权;

一个程序可以访问驻留在相同环或较低特权环(外环)中的数据;

一个程序可以调用驻留在相同环或较高特权环(内环)中的服务。

相关文章:

【操作系统复习】第6章 虚拟存储器 2

请求分页中的内存分配 在为进程分配物理块时&#xff0c;要解决下列的三个问题&#xff1a; 1. 保证进程可正常运行所需要的最少物理块数 2. 每个进程的物理块数&#xff0c;是固定值还是可变值&#xff08;分配策略&#xff09; 3. 不同进程所分配的物理块数&#xff…...

【OAI】OAI5G核心网VPP-UPF网元分析

文章目录 VPP_UPF_CONFIG_GENERATION.mdVPP UPF Configuration GenerationEnvironment variablesInterfacesInterface Configuration ExamplesCentral UPFA-UPFI-UPFUL CL FEATURE_SET.mdVPP_UPG_CLI参考文献 VPP_UPF_CONFIG_GENERATION.md VPP UPF Configuration Generation …...

【上进小菜猪】使用Ambari提高Hadoop集群管理和开发效率:提高大数据应用部署和管理效率的利器

&#x1f4ec;&#x1f4ec;我是上进小菜猪&#xff0c;沈工大软件工程专业&#xff0c;爱好敲代码&#xff0c;持续输出干货&#xff0c;欢迎关注。 介绍 Hadoop是一种开源的分布式处理框架&#xff0c;用于在一组低成本硬件的集群上存储和处理大规模数据集。Ambari是一种基…...

Day3--C高级3

一.编写一个名为myfirstshell.sh的脚本&#xff0c;它包括以下内容。 1、包含一段注释&#xff0c;列出您的姓名、脚本的名称和编写这个脚本的目的 2、和当前用户说“hello 用户名” 3、显示您的机器名 hostname 4、显示上一级目录中的所有文件的列表 5、显示变量PATH和HO…...

第9章 CURD操作与MemoryCache缓存的强制清理的实现

1 重构 Data.Repository<TEntity> using Core.Caching; using Core.Domain; using Core.Events; using Microsoft.EntityFrameworkCore; namespace Data { ///<typeparam name"TEntity">泛型类型实例(这里特指:1个指定实体的类型实例)。</typepa…...

TCP 协议特性详解

TCP 协议特性总结 TCP协议特点TCP协议段格式TCP原理确认应答&#xff08;安全机制&#xff09;超时重传&#xff08;安全机制&#xff09;连接管理&#xff08;安全机制&#xff09;(面试高频题)三次握手四次挥手 滑动窗口&#xff08;效率机制&#xff09;流量控制&#xff08…...

电子招投标采购系统源码:采购过程更规范,更透明

满足采购业务全程数字化&#xff0c; 实现供应商管理、采购需求、全网寻源、全网比价、电子招 投标、合同订单执行的全过程管理。 电子招标采购&#xff0c;是指在网上寻源和采购产品和服务的过程。对于企业和企业主来说&#xff0c;这是个既省钱又能提高供应链效率的有效方法…...

一篇了解智慧网关

智慧网关是指基于互联网技术的智能网关&#xff0c;能够连接不同的物联网设备和传感器&#xff0c;实现数据采集、信息传递、远程控制、通信管理等功能。作为物联网架构中的核心设备之一&#xff0c;智慧网关在智能家居、智慧城市、智能制造、智能交通、智能农业等领域得到了广…...

自学软件测试,从10K到40K的技术路线,也就是这些东西...

如果有一天我从梦中醒来时&#xff0c;发现自己的几年自动化测试工程师经验被抹掉&#xff0c;重新回到了一个小白的状态。我想要重新自学自动化测试&#xff0c;然后找到一份自己满意的测试工作&#xff0c;我想大概只需要6个月的时间就够了&#xff0c;如果比较顺利的话&…...

Qt libqrencode二维码——QtWidgets

前言 之前写过二维码的程序&#xff0c;但是在U盘上&#xff0c;没带&#xff0c;又重新找的网上资料写的。 网上二维码的生成&#xff0c;大多用到是第三方库libqrencode,这也一样&#xff1a; 效果图 本来是个动图的&#xff0c;都被和谐了&#xff0c;所以换成截图&…...

KDZD绝缘子表面电导盐密度测试仪

一、简介 智能电导盐密测试仪&#xff0c;也称为直读式等值盐密度测试仪&#xff0c;专为测试智能电导盐密度而设计。系统内置智能电导盐密度计算公式&#xff0c;读数直观。 人机交互采用真彩TFT液晶屏&#xff0c;操作简单&#xff0c;测试参数和结果一目了然。仪器自带微型打…...

如何降低电动汽车软件的开发成本和风险?

大多数的汽车制造商无法从销售电动汽车&#xff08;EV&#xff09;中获得利润&#xff0c;但计划快速进入市场的电动汽车初创公司是无法承担这样的损失的。 由于飙升的电池价格、高昂的组件成本和低迷的销量削弱了盈利能力&#xff0c;电动汽车初创公司必须将视线转到软件开发…...

使用pytest和allure框架实现自动化测试报告优化

目录 -x出现一条测试用例失败就退出测试 生成测试报告json pytest&#xff1a; 需要安装pytest和pytest-html(生成html测试报告&#xff09; pip install pytest 和 pip install pytest-html 命名规则 Pytest单元测试中的类名和方法名必须是以test开头,执行中只能找到test开头…...

chatGPT免费站点分享

下面的应该都能用&#xff0c;试试吧... ChatGPT是一种人工智能聊天机器人&#xff0c;能够生成虚拟语言和交互回复。使用ChatGPT&#xff0c;您可以与机器人进行真实的交互&#xff0c;让机器人根据您提出的问题或请求来生成回复。但是&#xff0c;在使用ChatGPT时&#xff0…...

【计算机网络】已知一个/27网络中有一个地址是 167.199.170.82,问这个网络的网络掩码,网络前缀长度和网络后缀长度是多少?网络前缀是多少?

目录 题&#xff1a; 1. 网络掩码 2.网络前缀长度 3.网络前缀 4.网络后缀长度 题&#xff1a; 已知一个/27网络中有一个地址是 167.199.170.82&#xff0c; 问这个网络的网络掩码&#xff0c;网络前缀长度和网络后缀长度是多少&#xff1f;网络前缀是多少&#xff1f; 1.…...

Java8 - Stream

介绍 Java8中有两大最为重要的改变。第一个是 Lambda 表达式; 另外一个则是 Stream API(java.util.stream.*)。Stream是 Java8中处理集合的关键抽象概念&#xff0c;它可以指定你希望对集合进行的操作&#xff0c;可以执行非常复杂的查找、过滤和映射数据等操作。使用 Stream …...

什么样的冷链保温箱,既环保又实用?

冷链物流运输已经应用在了很多行业中&#xff0c;作为冷链物流运输中的重要设备——冷链保温箱&#xff0c;起到了举足轻重的作用。如果选择不当&#xff0c;选到了劣质产品&#xff0c;尤其是化学行业或者食品行业&#xff0c;就有可能造成试剂失效或者是影响粮食食品安全问题…...

Eclipse的介绍与安装

Eclipse简介 Eclipse 是一个开放源代码的&#xff0c;基于 Java 的可扩展开发平台。Eclipse官方版是一个集成开发环境(IDE)&#xff0c;可以通过安装不同的插件实现对其它计算机语言编辑开发&#xff0c;如C、Php、Python等等。 Eclipse的下载 下载时需要访问网址 http://…...

<IBM AIX> 《AIX中HA的网卡IP确认方法》

《HA网卡确认方法》 1 HA IP地址类型2HA IP地址设置原则3 HA网卡日常查看方法3.1 查看hosts文件3.2 查看网卡和IP 4 通过命令方式直接查看5 直接查看HA配置4 HA网卡SMIT查看方法&#xff08;暂不完整&#xff09;4.1 根据hosts文件确认IP对应的别名4.2 根据serviceIP确认Persis…...

AMB300系列母线槽红外测温解决方案某锂电厂房项目案例分享

安科瑞 耿敏花 一、 行业背景 近年来&#xff0c;在国家政策引导与技术革新驱动的双重作用下&#xff0c;锂电产业保持快速增长态势&#xff0c;产业规模持续扩大&#xff0c;同时新能源产业工厂锂电池生产线对于电的依赖性很高&#xff0c;因而对供电设备的可靠性提出…...

wordpress后台更新后 前端没变化的解决方法

使用siteground主机的wordpress网站&#xff0c;会出现更新了网站内容和修改了php模板文件、js文件、css文件、图片文件后&#xff0c;网站没有变化的情况。 不熟悉siteground主机的新手&#xff0c;遇到这个问题&#xff0c;就很抓狂&#xff0c;明明是哪都没操作错误&#x…...

第19节 Node.js Express 框架

Express 是一个为Node.js设计的web开发框架&#xff0c;它基于nodejs平台。 Express 简介 Express是一个简洁而灵活的node.js Web应用框架, 提供了一系列强大特性帮助你创建各种Web应用&#xff0c;和丰富的HTTP工具。 使用Express可以快速地搭建一个完整功能的网站。 Expre…...

C++实现分布式网络通信框架RPC(3)--rpc调用端

目录 一、前言 二、UserServiceRpc_Stub 三、 CallMethod方法的重写 头文件 实现 四、rpc调用端的调用 实现 五、 google::protobuf::RpcController *controller 头文件 实现 六、总结 一、前言 在前边的文章中&#xff0c;我们已经大致实现了rpc服务端的各项功能代…...

工业安全零事故的智能守护者:一体化AI智能安防平台

前言&#xff1a; 通过AI视觉技术&#xff0c;为船厂提供全面的安全监控解决方案&#xff0c;涵盖交通违规检测、起重机轨道安全、非法入侵检测、盗窃防范、安全规范执行监控等多个方面&#xff0c;能够实现对应负责人反馈机制&#xff0c;并最终实现数据的统计报表。提升船厂…...

大型活动交通拥堵治理的视觉算法应用

大型活动下智慧交通的视觉分析应用 一、背景与挑战 大型活动&#xff08;如演唱会、马拉松赛事、高考中考等&#xff09;期间&#xff0c;城市交通面临瞬时人流车流激增、传统摄像头模糊、交通拥堵识别滞后等问题。以演唱会为例&#xff0c;暖城商圈曾因观众集中离场导致周边…...

Mybatis逆向工程,动态创建实体类、条件扩展类、Mapper接口、Mapper.xml映射文件

今天呢&#xff0c;博主的学习进度也是步入了Java Mybatis 框架&#xff0c;目前正在逐步杨帆旗航。 那么接下来就给大家出一期有关 Mybatis 逆向工程的教学&#xff0c;希望能对大家有所帮助&#xff0c;也特别欢迎大家指点不足之处&#xff0c;小生很乐意接受正确的建议&…...

MVC 数据库

MVC 数据库 引言 在软件开发领域,Model-View-Controller(MVC)是一种流行的软件架构模式,它将应用程序分为三个核心组件:模型(Model)、视图(View)和控制器(Controller)。这种模式有助于提高代码的可维护性和可扩展性。本文将深入探讨MVC架构与数据库之间的关系,以…...

SpringBoot+uniapp 的 Champion 俱乐部微信小程序设计与实现,论文初版实现

摘要 本论文旨在设计并实现基于 SpringBoot 和 uniapp 的 Champion 俱乐部微信小程序&#xff0c;以满足俱乐部线上活动推广、会员管理、社交互动等需求。通过 SpringBoot 搭建后端服务&#xff0c;提供稳定高效的数据处理与业务逻辑支持&#xff1b;利用 uniapp 实现跨平台前…...

论文浅尝 | 基于判别指令微调生成式大语言模型的知识图谱补全方法(ISWC2024)

笔记整理&#xff1a;刘治强&#xff0c;浙江大学硕士生&#xff0c;研究方向为知识图谱表示学习&#xff0c;大语言模型 论文链接&#xff1a;http://arxiv.org/abs/2407.16127 发表会议&#xff1a;ISWC 2024 1. 动机 传统的知识图谱补全&#xff08;KGC&#xff09;模型通过…...

Axios请求超时重发机制

Axios 超时重新请求实现方案 在 Axios 中实现超时重新请求可以通过以下几种方式&#xff1a; 1. 使用拦截器实现自动重试 import axios from axios;// 创建axios实例 const instance axios.create();// 设置超时时间 instance.defaults.timeout 5000;// 最大重试次数 cons…...