【操作系统】内存

news2025/1/13 7:27:29

内存的基础知识

 什么是内存,有何作用?

内存可存放数据。

程序执行前需要先放到内存中才能被CPU处理——缓和CPU与硬盘之间的速度矛盾

指令的工作是基于“地址”的,每个地址对应一个数据的存储单元

如何把逻辑地址转换为物理地址?

1.绝对装入

2.可重定位装入(静态重定位)

3.动态运行时装入(动态重定位)

绝对装入:

在编译时,如果知道程序将放到内存中的哪个位置,编译程序将产生绝对地址的目标代码。装入程序按照装入模块中的地址,将程序和数据装入内存

绝对装入只适用于单道程序环境,灵活性低

静态重定位:

又称为可重定位装入。编译、链接后的装入模块的地址都是从0开始的,指令中使用的地址、数据存放的地址都是相对于起始地址而言的逻辑地址,可根据内存的当前情况,将装入模块装入到内存的适当位置。装入时对地址进行“重定位”,将逻辑地址变换为物理地址(地址变换是在装入时一次完成的)

静态重定位在程序运行期间不可移动,因为指令要操作的物理地址已经写死了

动态重定位:

又称动态运行时装入。编译、链接后的装入模块的地址都是从0开始的。装入程序把装入模块装入内存后,并不会把逻辑地址转换为物理地址,而是把地址转换推迟到程序真正要执行时才进行。因此装入内存后所有的地址依然是逻辑地址。这种方式需要一个重定位寄存器的支持。

从写程序到程序运行

编译:由编译程序将用户源代码编译成若干个目标模块(编译就是把高级语言翻译成机器语言)

链接:由链接程序将编译后形成的一组目标模块、以及需要的库函数链接在一起,形成一个完整的装入模块

装入(装载):由装入程序将装入模块装入内存运行

链接的三种方式

1.静态链接:在程序运行之前,先将各目标模块及它们所需的库函数链接成一个完整的可执行文件(装入模块),之后不再拆开

2.装入时动态链接:将各目标模块装入内存时,边装入边链接的链接方式

3.运行时动态链接:在程序执行中需要该目标模块时,才对它进行链接。其优点是便于修改和更新,便于实现对目标模块的共享

        程序执行中不需要用到,则不需要装入

总结

内存管理的概念

操作系统作为系统资源的管理者,当然也需要对内存进行管理,要管些什么呢?

1.操作系统负责内存空间的分配与回收

2.操作系统需要提供某种技术从逻辑上对内存空间进行扩充

3.操作系统需要提供地址转换功能,负责程序的逻辑地址与物理地址的转换

 4.内存保护

 

总结:

覆盖与交换

 覆盖技术

覆盖技术:用来解决“程序大小超过物理内存总和”的问题

覆盖技术的思想:将程序分为多个段(多个模块)

常用的段常驻内存,不常用的段在需要时调入内存

内存中分为一个“固定区”和若干个“覆盖区”

需要常驻内存的段放在“固定区”中,调入后就不再调出(除非运行结束)

不常用的段放在“覆盖区”,需要用到时调入内存,用不到时调出内存

 必须由程序员声明覆盖结构,操作系统完成自动覆盖

缺点:对用户不透明,增加了用户编程负担

交换技术

交换(对换)技术的设计思想:内存空间紧张时,系统将内存中某些进程暂时换出外存,把外存中某些已具备运行条件的进程换入内存(进程在内存与磁盘间动态调度)

 中级调度(内存调度):就是决定将哪个处于挂起状态的进程重新调入内存

注意:PCB会常驻内存,不会被换出外存

总结

连续分配管理方式

单一连续分配

在单一连续分配方式中,内存被分为系统区和用户区

系统区通常位于内存的低地址部分,用于存放操作系统相关数据;用户区用于存放用户进程相关数据。

内存中只能有一道用户程序,用户程序独占整个用户区空间

优点:实现简单,无外部碎片;可以采用覆盖技术扩充内存;不一定需要采取内存保护(eg:早期的PC操作系统 MS-DOS)

缺点:只能用于单用户、单任务的操作系统中;有内部碎片;存储器利用率极低

        内部碎片:分配给某进程的内部区域中,如果有些部分没有用上,就是“内部碎片”

固定分区分配

20世纪60年代出现了支持多道程序的系统,为了能在内存中装入多道程序,且这些程序之间又不会相互干扰,于是将整个用户空间划分为若干个固定大小的分区,在每个分区中只装入一道作业,这样就形成了最早的、最简单的一种可运行多道程序的内存管理方式

 分区大小相等:缺乏灵活性,但是很适合用于一台计算机控制多个相同对象的场合(比如:钢铁厂有n个相同的炼钢炉,就可把内存分为n个大小相等的区域存放n个炼钢炉控制程序)

操作系统需要建立一个数据结构——分区说明表,来实现各个分区的分配与回收。每个表项对应一个分区,通常按区分大小排列。每个表项包括对应分区的大小、起始地址、状态(是否已分配)

 当某用户程序要装入内存时,由操作系统内核程序根据用户程序大小检索该表,从中找到一个能满足大小的、未分配的分区,将之分配给该程序,然后修改状态为“已分配”

优点:实现简单,无外部碎片

 缺点:a.当用户程序太大时,可能所有的分区都不能满足需求,此时不得不采用覆盖技术来解决,但这又会降低性能

            b.会产生内部碎片,内存利用率低

动态分区分配

动态分区分配又称为可变分区分配。这种分配方式不会预先划分内存分区,而是在进程装入内存时,根据进程的大小动态地建立分区,并使分区的阿晓正好适合进程的需要。因此系统分区的大小和数目是可变的(eg:假设某计算机内存大小为64MB,系统区8MB,用户区共56MB...)

1. 操作系统要用什么样的数据结构记录内存的使用情况?

  2.当很多个空闲分区都能满足需求时,应该选择哪个分区进行分配?

把一个新作业装入内存时,需按照一定的动态分区分配算法,从空闲分区表(或空闲分区链)中选出一个分区分配给该作业。

3.如何进行分区的分配与回收操作?

 

 

 

动态分区分配又称为可变分区分配。这种分配方式不会预先划分内存分区,而是在进程装入内存时,根据进程的大小动态地建立分区,并使分区的大小正好适合进程的需要。因此系统分区的大小和数目是可变的

动态分区分配没有内部碎片,但是有外部碎片

内部碎片:分配给某进程的内存区域中,有些部分没有用上

外部碎片:是指内存中的某些空闲分区由于太小而难以利用

如果内存中空闲空间的总和本来可以满足进程的要求,但由于进程需要的是一整块连续的内存空间,因此这些碎片不能满足进程的需求

可以通过紧凑(拼凑,Compaction)技术解决外部碎片

动态分区分配应使用动态重定位装入方式配合紧凑技术

总结:

动态分区分配算法

动态分区分配算法:在动态分区分配方式中,当很多个空闲分区都能满足需求时,应该选择哪个分区进行分配?

首次适应算法

算法思想:每次都从低地址开始查找,找到第一个能满足大小的空闲分区

如何实现:空闲分区以地址递增的次序排列。每次分配内存时顺序查找空闲分区链(或空闲分区表),找到大小能满足要求的第一个空闲分区

最佳适应算法

算法思想:由于动态分区分配是一种连续分配方式,为各进程分配的空间必须是连续的一整片区域。因此为了保证当“大进程”到来时有连续的大片空间,可以尽可能多地留下大片的空闲区。即,优先使用更小的空闲区

如何实现:空闲分区按容量递增次序链接。每次分配内存时顺序查找空闲分区链(或空闲分区表),找到大小能满足要求的第一个空闲分区

缺点:每次都选最小的分区进行分配,会留下越来越多的、很小的、难以利用的内存块。因此这种方法会产生很多的外部碎片

最坏适应算法

又称最大适应算法(Largest Fit)

算法思想:为了解决最佳适应算法的问题——即留下太多难以利用的小碎片,可以在每次分配时优先使用最大的连续空闲区,这样分配后剩余的空闲区就不会太小,更方便使用

如何实现:空闲分区按容量递减次序链接。每次分配内存时顺序查找空闲分区链(或空闲分区表),找到大小能满足要求的第一个空闲分区

缺点:每次都选最大的分区进行分配,虽然可以让分配后留下的空闲区更大,更可用,但是这种方式会导致较大的连续空闲区被迅速用完。如果之后有“大进程”到达,就没有内存分区可用了

邻近适应算法

算法思想:首次适应算法每次都要从链头开始查找,这可能会导致低地址部分出现很多小的空闲分区。而每次分配查找时,都要经过这些分区,因此也增加了查找的开销。如果每次都从上次查找结束的位置开始检索,就能解决上述问题

如何实现:空闲分区以地址递增的顺序排列(可排成一个循环链表)。每次分配内存时从上次查找结束的位置开始查找空闲分区链(或空闲分区表)。找到大小能满足要求的第一个空闲分区

首次适应算法每次都要从头开始查找,每次都需要检索低地址的小分区。但是这种规则也决定了当低地址部分有更小的分区可以满足需求时,会更有可能用到低地址部分的小分区,也会更有可能把高地址部分的大分区保留下来(最佳适应算法的优点)

临近适应算法的规则可能会导致无论低地址、高地址部分的空闲分区都有相同的概率被使用,也就导致了高地址部分的大分区更有可能被使用,划分成小分区,最后导致无大分区可用(最大适应算法的缺点)

总结

综合来看,四种算法中,首次适应算法的效果反而更好

基本分页存储管理的基本概念

 什么是分页存储

重要的数据结构——页表

 问题一:每个页表项占多少字节?

 页表项时连续存放的,因此页号可以是隐含的,不占用存储空间(类比数组)

 

问题二:如何实现地址的转换?

 

子问题:如何确定一个逻辑地址对应的页号、页内偏移量?

 

逻辑地址结构

 总结

 基本地址变换机构

基本地址变换机构可以借助进程的页表将逻辑地址转换为物理地址

通常会在系统中设置一个页表寄存器(PTR),存放页表在内存中的起始地址F和页表长度M

进程未执行时,页表的始址和页表长度放在进程控制块(PCB)中,当进程被调度时,操作系统内核会把它们放到页表寄存器中

 

例题:

 对页表项大小的进一步探讨:

总结

 具有快表的地址变换机构

 什么是快表

快表,又称联想寄存器(TLB),是一种访问速度比内存快很多的高速缓存(TLB不是内存),用来存放最近访问的页表项的副本,可以加速地址变换的速度。与此同时,内存中的页表常成为慢表

快表工作原理

快表中存放的是页表的一部分副本

 

 

局部性原理

总结

 两级页表

 单级页表存在的问题

 此外,根据局部性原理,很多时候进程在一段时间内只需要访问某几个页面就可以正常运行了,因此没有必要让整个页表都常驻内存

如何解决单级页表的问题?

两级页表的原理、地址结构

如何实现地址变换

解决问题二

需要注意的几个细节

1.采用多级页表机制,则各级页表的大小不能超过一个页面

 如果没有快表,n级页表访存次数是n+1

 总结

基本分段存储管理方式

分段

 

段表

地址变换

 

分段、分页管理的对比

页是信息的物理单位。分页的主要目的是为了实现离散分配,提高内存利用率。分页仅仅是系统管理上的需要,完全是系统行为,对用户是不可见的

段是信息的逻辑单位。分段的主要目的是更好地满足用户需求。一个段通常包含着一组属于一个逻辑模块的信息。分段对用户是可见的,用户编程时需要显式地给出段名

页的大小固定且由系统决定;段的长度不固定,取决于用户编写的程序

分页的用户进程地址空间是一维的,程序员只需要给出一个记忆符即可表示一个地址

分段的用户进程地址空间是二维的,程序员在标识一个地址时,既要给出段名,又要给出段内地址

分段比分页更容易实现信息的共享和保护

 

访问一个逻辑地址需要几次访存?

分页(单级页表):第一次访存——查内存中的页表,第二次访存——访问目标内存单元。总共两次访存

分段:第一次访存——查内存中的段表,第二次访存——访问目标内存单元。总共两次访存

与分页系统类似,分段系统中也可以引入快表结构,将近期访问过的段表项放到快表中,这样可以减少一次访问,加快地址变换速度

总结

段页式管理方式

 分页、分段的优缺点分析

分段+分页=段页式管理

 

段表、页表

 

总结

虚拟内存的基本概念

 

传统存储管理方式的特征、缺点

虚拟内存的定义和特征

如何实现虚拟内存技术

总结

请求分页管理方式

请求分页存储管理与基本分页存储管理的主要区别:

在程序执行过程中,当所访问的信息不在内存时,由操作系统负责将所需信息从外存调入内存,然后继续执行程序(操作系统要提供请求调页功能,将缺失页面从外存调入内存)

若内存空间不够,由操作系统负责将内存中暂时用不到的信息换出外存(操作系统要提供页面置换的功能,将暂时用不到的页面换出外存)

 页表机制

缺页中断机构

 缺页中断是因为当前执行的指令想要访问的目标页面未调入内存而产生的,因此属于内中断

地址变换机构

 

①只有“写指令”才需要修改“修改位”。并且,一般来说只需修改快表中的数据,只有要将快表项删除时才需要写回内存中的慢表。这样可以减少访存次数

②和普通的中断处理一样,缺页中断处理依然需要保留CPU现场

③需要用某种“页面置换算法”来决定一个换出页面

④换入/换出页面都需要启动慢速的I/O操作,可见,如果换入/换出太频繁,会有很大的开销

⑤页面调入内存后,需要修改慢表,同时也需要将表项复制到快表中

总结

页面置换算法

 最佳置换算法(OPT)

最佳置换算法(OPT,Optimal):每次选择淘汰的页面将是以后永不使用,或者在最长时间内不再被访问的页面,这样可以保证最低的缺页率

 缺页率:9/20=45%

 

最佳置换算法可以保证最低的缺页率,但实际上,只有在进程执行的过程中才能知道接下来会访问的是哪个页面。操作系统无法提前预判页面访问序列。因此,最佳置换算法是无法实现的

先进先出置换算法(FIFO)

先进先出置换算法(FIFO):每次选择淘汰的页面是最早进入内存的页面

实现方法:把调入内存的页面根据调入的先后顺序排成一个队列,需要换出页面时选择队头页面即可。队列的最大长度取决于系统为进程分配了多少个内存块

 

最近最久未使用置换算法(LRU)

最近最久未使用置换算法(LRU,least recently used):每次淘汰的页面是最近最久未使用的页面

实现方法:赋予每个页面对应的页表项中,用访问字段记录该页面自上次被访问以来所经历的时间t。当需要淘汰一个页面时,选择现有页面中t值最大的,即最近最久未使用的页面

 最近最久未使用置换算法(LRU)的实现需要专门的硬件支持,虽然算法性能好,但是实现困难,开销大

时钟置换算法(CLOCK)

改进型的时钟置换算法

第一优先级:最近没访问,且没修改过的页面

第二优先级:最近没访问,但修改过的页面

第三优先级:最近访问过,但没修改过的页面

第四优先级:最近访问过,且修改过的页面

总结

页面分配策略

 

页面分配、置换策略

 

 

何时调入页面

从何处调入页面

抖动(颠簸)现象

工作集

驻留集:指请求分页存储管理中给进程分配的内存块的集合

工作集:指在某段时间间隔里,进程实际访问页面的集合

 

总结

 

内存映射文件

 什么是内存映射文件

内存映射文件——操作系统向上层程序员提供的功能(系统调用)

方便程序员访问文件数据

方便多个进程共享同一个文件

传统的文件访问方式

 

内存映射文件(Memory-Mapped Files)

 

总结

 


内存部分完结,希望大家能有所收获~~❀

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/558034.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Linux安装Redis数据库,无需公网IP实现远程连接

文章目录 1. Linux(centos8)安装redis数据库2. 配置redis数据库3. 内网穿透3.1 安装cpolar内网穿透3.2 创建隧道映射本地端口 4. 配置固定TCP端口地址4.1 保留一个固定tcp地址4.2 配置固定TCP地址4.3 使用固定的tcp地址连接 转发自cpolar内网穿透的文章:公网远程连接…

Linux——分析和排查系统故障

个人简介:云计算网络运维专业人员,了解运维知识,掌握TCP/IP协议,每天分享网络运维知识与技能。座右铭:海不辞水,故能成其大;山不辞石,故能成其高。 个人主页:小李会科技的…

分布式事务及Seata 1.6.1案例

文章目录 一、分布式事务二、什么时候需要用到分布式事务三、分布式理论CAP定理BASE理论 四、分布式事务解决方案刚性事务2PC3PC2PC和3PC对比 补偿事务TCC 基于消息队列的最终一致性本地消息表消息事务MQ事务消息和本地消息表对比 各方案常见使用场景总结 五、Seata 1.6.1测试1…

android应用市场的上线流程

国内Android应用市场有很多,各有各的优势,对于开发者而言会在每个市场发布,或者在主要的市场发布后其它应用市场会抓取信息并自动上线App,这也节省开发者上线时间。App上线前首先要申请软件著作权,国内应用市场上线基本…

【GPT科技系列】国内开发者调用openAI-API科技方法

1. 前言 openAI上线7个月了,但是随着openAI的约束越来越多,国内开发者想要使用openai的接口实现开发简直就是难上加难。那真的就没有办法了吗?no no no,CF解决一切不开心~ 2.准备工作 我们需要一个国际域名 注册cloudflare账号 …

OPPO哲库事件 “ 始末 ” ! 集体打哑谜?

1►OPPO哲库解散 2019 年,美国商务部以“科技网络安全”为由,将华为公司及其70家附属公司列入出口管制“实体名单”。与此同时,OPPO 创始人兼 CEO陈明永对外宣布,公司将为未来三年内投入 500 亿元用于前沿技术和深水区技术的探索…

Colab解压压缩包删除非空文件夹的方式

Colaboratory 简称“Colab”,Google Research 团队开发,任何人都可以通过浏览器编写和执行任意 Python 代码,尤其适合机器学习、数据分析、教育目的。Colab 是一种托管式 Jupyter 笔记本服务,用户无需设置,就可直接使用…

【Spring】Spring之publishEvent

观察者模式Spring之publishEvent事件处理 1.使用场景 这个一般什么时候使用,我们一般是在不同的bean直接进行信息传递,比如我们beanA的事件处理完后,需要beanB进行处理一些业务逻辑的时候这种情况就一般可以使用publish-event解决。 可用于…

如何将大批量的车辆合格证图片转为excel表格?

之前我们介绍了用金鸣识别在线将车辆合格证转为excel的操作方法,但这种方法有一个局限性,就是网页版仅支持一次性5张图片的识别转换,如果量大,我们需要分为很多次反复地进行转换,会略显繁琐,有没有一种更快…

Linkage Mapper中的局部和全局地图比较

✅创作者:陈书予 🎉个人主页:陈书予的个人主页 🍁陈书予的个人社区,欢迎你的加入: 陈书予的社区 🌟专栏地址: Linkage Mapper解密数字世界链接 文章目录 一、介绍1.1 Linkage Mapper概述二、局部地图2.1 局部地图的定义2.2 局部地图的构建方法

高维向量搜索:在 Elasticsearch 8.X 中利用 dense_vector 的实战探索

近年来,随着深度学习技术的发展,向量搜索引发了人们的广泛关注。早在 Elasticsearch在7.2.0 版本引入了dense_vector字段类型,支持存储高维向量数据,如词嵌入或文档嵌入,以进行相似度搜索等操作。在本文中,…

怎样录屏不带水印?分享一款无水印录制视频软件!

案例:怎样录制无水印的视频? 【我平常录制的录屏带有软件自带水印,这样十分影响观感。怎样才能录制无水印的视频?】 一款好的录屏软件,可以更好地帮助我们录制电脑屏幕上的操作或是制作教学视频。然而,很…

在四维轻云地理空间数据在线管理平台中如何上传、查看及分享数据?

四维轻云是一款地理空间数据在线管理平台,具有地理空间数据的在线管理、展示及分享等功能。在四维轻云平台中,用户可以不受时间地点的限制,随时随地在线浏览激光点云、倾斜摄影模型、正射影像、数字高程模型等地理空间数据。 现在&#xff0…

别样网站呈现方式:无缝衔接视听感受,详细讲述HTML5多媒体标签video和音频标签audio应用实例

video 语法&#xff1a; <video src"文件地址" controls"controls" </video> 常见的属性 属性 值 描 述 autoplay autoplay 视频就绪自动播放&#xff08;谷歌浏览器需要添加muted来解决自动放的问题 controls controls …

批量采集【商品详情+关键词搜索】API接口系列

批量采集【商品详情关键词搜索】API接口系列代码如下&#xff1a; item_get-获得商品详情 公共参数&#xff1a; 名称类型必须描述keyString是调用key&#xff08;必须以GET方式拼接在URL中&#xff09;API 接口请求方式secretString是调用密钥api_nameString是API接口名称&…

深度学习基础入门篇[9.3]:卷积算子:空洞卷积、分组卷积、可分离卷积、可变性卷积等详细讲解以及应用场景和应用实例剖析

【深度学习入门到进阶】必看系列&#xff0c;含激活函数、优化策略、损失函数、模型调优、归一化算法、卷积模型、序列模型、预训练模型、对抗神经网络等 专栏详细介绍&#xff1a;【深度学习入门到进阶】必看系列&#xff0c;含激活函数、优化策略、损失函数、模型调优、归一化…

Qt程序打包和发布

准备工具 1、Qt Creator&#xff0c;记录Qt Creator的安装路径 2、NSIS空白脚本程序和NSIS汉化脚本程 1 Windows下打包与发布 1.1 打包成zip发布 1、通过Qt Creator build应用程序&#xff0c;选择Relaease build的应用程序占用空间少(推荐)&#xff0c;选择Debug build的应用程…

使用 PAI-Blade 优化 Stable Diffusion 推理流程

背景 AIGC是人工智能计算领域里发展迅速的重要业务。Stable Diffusion 是其中最热门的开源模型&#xff0c;受到广泛关注。然而&#xff0c;随着应用场景不断扩大&#xff0c;Stable Diffusion所面临的推理时延和计算成本问题也越来越突出。 简介 PAI-Blade是 PAI 推出的通用…

可视化搭建 - 自动批处理与冻结

性能在可视化搭建也是极为重要的&#xff0c;如何尽可能减少业务感知&#xff0c;最大程度的提升性能是关键。 其实声明式一定程度上可以说是牺牲了性能换来了可维护性&#xff0c;所以在一个完全声明式的框架下做性能优化还是非常有挑战的。我们采取了两种策略来优化性能&…

我的创作纪念日,成为创作者的第256天!

机缘 一年前刚开始学习编程&#xff0c;在网上查找资料的过程中才了解到了CSDN开发者社区。在csdn认识了很多技术大牛&#xff0c;他们的文章记录了他们的学习路径&#xff0c;看到他们从小白一步一步成长为大牛&#xff0c;这激起了我创作的热情。刚开始写博客完全是日常学习…