操作系统基础:内存管理概述【下】

在这里插入图片描述

在这里插入图片描述

🌈个人主页:godspeed_lucip
🔥 系列专栏:OS从基础到进阶


  • 🌄1 两级页表
    • 🏙️1.1 知识总览
    • 🏙️1.2 单极页表存在的问题
      • 🚂1.2.1 假设
      • 🚂1.2.2 结论
    • 🏙️1.3 对第一个问题的解决
      • 🚂1.3.1 思路
      • 🚂1.3.2 原理
      • 🚂1.3.3 逻辑结构的改变
      • 🚂1.3.4 如何进行寻址
    • 🏙️1.4 对第二个问题的解决
    • 🏙️1.5 其他需要注意的细节
    • 🏙️1.6 总结
  • 🌄2 基本分段存储管理方法
    • 🎡2.1 总览
    • 🎡2.2 分段的基本概念
      • 🚂2.2.1 定义
      • 🚂2.2.2 特点
      • 🚂2.2.3 实例
      • 🚂2.2.4 逻辑地址结构
    • 🎡2.3 段表的基本概念
      • 🚃2.2.1 示意图
      • 🚃2.3.2 段表的特点
    • 🎡2.4 地址的变换过程
    • 🎡2.5 分段、分页管理的区别
      • 🚃2.5.1 存储逻辑的区别
      • 🚃2.5.2 分段的优点
      • 🚃2.5.3 访问一个逻辑单元的访存次数
    • 🎡2.6 总结
  • 🌄3 段页式管理方法
    • 🎢3.1 总览
    • 🎢3.2 分段、分页的优缺点
    • 🎢3.3 段页式管理的基本概念
    • 🎢3.4 段页式管理的逻辑地址结构
      • 🚉3.4.1 结构划分
      • 🚉3.4.2 解释
      • 🚉3.4.3 注意
    • 🎢3.5 段页式管理中的段表和页表
      • 🚃3.5.1 段表
      • 🚃3.5.2 页表
      • 🚃3.5.3 总结
      • 🚃3.5.4 示意图
    • 🎢3.6 地址转换过程
    • 🎢3.7 总结
  • 🕮 4 总结


🌄1 两级页表

🏙️1.1 知识总览

image1

🏙️1.2 单极页表存在的问题

🚂1.2.1 假设

image2
页面大小为4KB,即212的字节,因此需要12个二进制位来存储,该计算机就支持32位,因此有20个二进制位表示页号,即可以表示220个页面,每个页面在页表中都必须对应一个页表项,因此页表中的页表项最多可以有220个,所以一个页表需要的最大空间为220*4 = 222B,而为了存储页表必须需要(222)/(2^12) = 2^10个连续的页框(页表必须连续存放)。
image3

🚂1.2.2 结论

image4

🏙️1.3 对第一个问题的解决

🚂1.3.1 思路

为了解决单极页表存在的几个问题,可以考虑将页表也进行分页并离散存储(单击页表中是将进程的页面离散存储)。

🚂1.3.2 原理

对于给定的计算机配置信息(按字节寻址,支持32位,页面大小为4kb,页表项长度为4b),一个进程最多有220个页面,而每个页框可以存储的页表项个数为4kb/4b=210 = 1024个页表项。由此,可以将页表的2^20拆分成1024组,每组有1024个页表项,用一个二级页表存储单级页表,

🚂1.3.3 逻辑结构的改变

32位二进制位中,前10位用来表示二级页表,后10位用来表示每个二级页表包含的单极页表,最后12位表示页面偏移量。

🚂1.3.4 如何进行寻址

简单来说就是逐个寻找,先找一级地址,再在一级地址内找二级地址,最后根据页面偏移量找到对应的物理地址
image5

🏙️1.4 对第二个问题的解决

image6
当需要的页面不在内存中时会发生缺页中断(这是一个内中断),接着将目标页面从外存调入内存。

🏙️1.5 其他需要注意的细节

1. 各级页表的大小不可以超过一个页面。如果分为两级页表后,各级页表还是超过一个页面,则应该采用更多的顶级页表。
TIPS:如果一个页表分为了好几页,那么不同页中可能页号有重叠,可能会照成无法区分顶级页表的后果。

例子:
image7
业内偏移量位数实质上就是需要用几位二进制位来表示页面大小。这里4kb = 2^12,因此需要12位。每个页面包含的页表项个数位4kb/4b = 2^10个,因此一个页面最多可以包含10个二进制位。
由于页内偏移量为12位,因此页号位数为28位,而每级页表最多表示10位,因此此题需要分三级页表,分别占:8、10、10。逻辑结构如图:
image8

2. 假如没有快表结构,那么N级页表访问一个逻辑地址需要经历N+1次访存,其中,依次访问各级页需要N次,最后得到了逻辑地址对应的物理地址后还需1次访存。

🏙️1.6 总结

image9

🌄2 基本分段存储管理方法

🎡2.1 总览

image1

🎡2.2 分段的基本概念

🚂2.2.1 定义

image2
类比于程序,其中的main函数是一段,而定义在main函数之外的其他函数也是一段。

🚂2.2.2 特点

(1)当采用分段存储时,各段可以离散的存储,但是一个特定的段占据连续的内存空间。
(2)由于是按照逻辑功能划分模块,用户的编程更加方便,程序的可读性更加高。
(3)在编译程序时,系统会将段名转换为段号。

🚂2.2.3 实例

image3

🚂2.2.4 逻辑地址结构

image4
实例:对于编译后的机器汇编语言:
image5

🎡2.3 段表的基本概念

🚃2.2.1 示意图

image6
段表的作用类似于页表,记录各段的物理存储位置

🚃2.3.2 段表的特点

(1)与页表类似,由于段在逻辑上在连续存储的,所以段号实际上是不需要被保存的。
只需记录段长以及各段的长度(基址)
image7

(2)段表项的长度是固定的。如果段的逻辑结构中段内地址为16位,系统使用16个二进
制位就可以表示最大段长;而系统的物理地址肯定也对应一个最大字节长度(假设为4GB,
对应32位);段号无须存储。因此可以让每个段表项占16+32=48位,即6个字节。
image8

🎡2.4 地址的变换过程

1. 进程在发生切换时,其PCB会被放入段表寄存器。系统在得到逻辑地址后,将其分解为段号S、段内地址W。
2. 首先检查段号是否合法(段号是否越界)。假如S是否>=段表长度M(从段表寄存器中读取),那么段号越界,系统发生越界中断。注意此处因为段表长度至少为1,而段号从0开始,所以当S=M时也相当于越界。
3. 将段号在段表中进行匹配,并得到段长C,此时如果W>=C,那么段长越界,发生越界中断。注意当采用页表时此处无须比较,因为页表的各页表项的长度是固定的,但是段表的段长是不固定的。假如没有越界,那么就取出基址,将基址与段内地址相加得到最后的物理地址。
4. 示意图如下所示:
image9

🎡2.5 分段、分页管理的区别

🚃2.5.1 存储逻辑的区别

image10

🚃2.5.2 分段的优点

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

(1)信息的共享
假设计算机采用分段管理,且有这样一段代码空间
image11
其中1号段是A、B号进程都想访问的,那么只需让各进程的段表项指向同一个段即可实现共享
而假如计算机采用分页管理,那么上述的代码空间应变为:
image12
页面不是按照逻辑模块划分的,此时就很难实现信息的共享
(2)信息的保护
与信息共享类似,假如进程A不允许某个进程访问某个空间,只需将这段置标记为不可访问即可。而分页管理就很难实现

🚃2.5.3 访问一个逻辑单元的访存次数

image13

🎡2.6 总结

image14
image15

🌄3 段页式管理方法

🎢3.1 总览

image1

🎢3.2 分段、分页的优缺点

image2
image3

🎢3.3 段页式管理的基本概念

image4
比如说:
image5

🎢3.4 段页式管理的逻辑地址结构

🚉3.4.1 结构划分

image6

🚉3.4.2 解释

image7

🚉3.4.3 注意

image8

🎢3.5 段页式管理中的段表和页表

🚃3.5.1 段表

基本结构:
image9
由于各段被分为几页是不确定的,因此需要记录页表的长度,同时为了确定物理地址,还需要存放页表的起始地址(页表存放块号)。每一个段需要对应一个页表。
从图中可以看出,每个段表项的长度是相同的(只需记录页表长度即起始块号),因此段号是可以隐藏的。

🚃3.5.2 页表

基本结构
image10
页面的大小都是相同的,因此页号是隐藏的。只需记录各页号对应的内存块号即可。
image11

🚃3.5.3 总结

一个进程会被划分为多个段,所有的段构成一段表。而每一个段会被划分为多个页面,因此一个段对应一个页表。
总结:一个进程对应一个段表,但对应多个页表。

🚃3.5.4 示意图

image12

🎢3.6 地址转换过程

首先,进程被调度时,其PCB中的段表起始地址F与段表长度M都会被复制放入操作系统的段表寄存器中;
接着读出逻辑地址中的段号S,并与段表长度进行比较,假如S>=M,(这里的=与前面的段式管理类似)说明越界,产生越界中断。
段号合法后,操作系统根据段表起始地址F查询到该进程对应的段表,根据段号查询到对应的段表项,
操作系统从逻辑地址读出页号P,并于段表项中的页表长度L进行对比,假如P>L,说明页号越界,产生越界中断。
页号合法后,操作系统从段表项中读出页表起始地址,根据页号查询页表得到内存块号,并结合逻辑地址中的业内偏移量得到最终的物理地址并访问。
具体过程示意图如下:

image13

访存过程中,操作系统共需要访问三次内存。第一次是查询段表,第二次是查询页表,第三次是访问目标地址。我们也可以引入快表,以段号和页号作为关键字。

🎢3.7 总结

image14

🕮 4 总结

操作系统,如默默守护的守夜者,无声地管理硬件与软件的交流,为计算机创造和谐秩序。

它是无形的引导者,让复杂的任务变得井然有序,为用户提供无忧体验。

操作系统的巧妙设计,让计算机变得更加智能高效,让人与科技之间的交流更加顺畅。

在每一次启动中,它如信任的伙伴,带领我们进入数字世界的奇妙旅程。

渴望挑战操作系统的学习路径和掌握进阶技术?不妨点击下方链接,一同探讨更多操作系统的奇迹吧。我们推出了引领趋势的💻OS专栏:《OS从基础到进阶》 ,旨在深度探索OS的实际应用和创新。🌐🔍

在这里插入图片描述

在这里插入图片描述

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

Android之命令行烧写OTA镜像(一百八十五)

简介: CSDN博客专家,专注Android/Linux系统,分享多mic语音方案、音视频、编解码等技术,与大家一起成长! 优质专栏:Audio工程师进阶系列【原创干货持续更新中……】🚀 优质专栏:多媒…

接上回如何在App Store和Google Play 上获得曝光度

ASO不仅仅是关键词方面的优化,还有很多其他方面的点要注意。 App被评级的次数与其在搜索结果中的排名直接相关,所以要求用户对应用程序进行评分来积极提高评分非常重要,并且这个数字每天都在持续增长。ASO做评论可以帮助覆盖掉负面的评论&am…

带你了解JAVA中的AQS介绍(AbstractQueuedSynchronizer)

一、AQS 介绍 AQS的全称为(AbstractQueuedSynchronizer),这个类在java.util.concurrent.locks包下面。 AQS是一个用来构建锁和同步器的框架,使用AQS能简单且高效地构造出应用广泛的大量的同步器,比如我们提到的Reen…

MyBatis笔记梳理

文章目录 什么是 MyBatis?前期准备依赖配置文件mapper利用注解 增、删、改、查查增改删#{} 和 ${} 的区别类型别名 动态sqlwhere ifforeachsql引用不常用标签 多表查询多对一(一对一)一对多多对多多表查询 个人理解 延迟加载概念使用场景延迟…

Emmet常用语法总结

Emmet常用语法总结 子元素:>兄弟元素:上级元素:^倍数:*分组:()属性:[]id和类:# .迭代数字:$文本内容:{}注意事项 Emmet是许多流行文本编辑器的…

Linux下find命令详解

find #查找文件 #按照文件名、大小、时间、权限、类型、所属者、所属组来搜索文件 格式: find 查找路径 查找条件 具体条件(按文件名或时间大小等) 操作 注意: find命令默认的操作是print输出 find是检索…

【Springcloud篇】学习笔记二(四至六章):Eureka、Zookeeper、Consul

第四章_Eureka服务注册与发现 1.Eureka基础知识 1.1Eureka工作流程-服务注册 1.2Eureka两大组件 2.单机Eureka构建步骤 IDEA生成EurekaServer端服务注册中心,类似于物业公司 EurekaClient端cloud-provider-payment8081将注册进EurekaServer成为服务提供者provide…

【学员分享-考试心得】国产数据库潜力无限,云贝教育OBCP认证培训帮您解难题

近年来,随着国产化转型的推进,国外数据库的岗位需求逐渐减少,让许多IT从业者倍感压力。在这种情况下,了解国产数据库成为了求职市场上的竞争力。云贝老师们将聚焦于OceanBase、PostgreSQL、TDSQL等IT培训,探讨其对国产…

如何计算模型的复杂度(参数量,FLOPs)

参考 如何计算神经网络模型的复杂度 深度学习卷积、全连接层、深度可分离层参数量和FLOPs计算公式 概念 Params:模型的参数量。(空间复杂度)FLOPs:FLoating point Operations,前向推理的计算量。(时间复…

Loadbalancer如何优雅分担服务负荷

欢迎来到我的博客,代码的世界里,每一行都是一个故事 Loadbalancer如何优雅分担服务负荷 前言Loadbalancer基础:数字世界的分配大师1. 分发请求:2. 健康检查:3. 会话保持:4. 可伸缩性:5. 负载均衡…

hivesql的基础知识点

目录 一、各数据类型的基础知识点 1.1 数值类型 整数 小数 float double(常用) decimal(针对高精度) 1.2 日期类型 date datetime timestamp time year 1.3 字符串类型 char varchar / varchar2 blob /text tinyblob / tinytext mediumblob / mediumtext lon…

2024年美国大学生数学建模竞赛(F题)减少非法野生动物贸易|ABM/神经网络建模解析,小鹿学长带队指引全代码文章与思路

我是鹿鹿学长,就读于上海交通大学,截至目前已经帮200人完成了建模与思路的构建的处理了~ 本篇文章是鹿鹿学长经过深度思考,独辟蹊径,通过Agent-Based Modeling解决非法野生动植物贸易问题。结合神经网络、集成学习、贝…

前端工程化之:webpack1-13(内置插件)

目录 一、内置插件 1.DefinePlugin 2.BannerPlugin 3.ProvidePlugin 一、内置插件 所有的 webpack 内置插件都作为 webpack 的静态属性存在的,使用下面的方式即可创建一个插件对象: const webpack require("webpack")new webpack.插件…

影院购票|电影院订票选座小程序|基于微信小程序的电影院购票系统设计与实现(源码+数据库+文档)

电影院订票选座小程序目录 目录 基于微信小程序的电影院购票系统设计与实现 一、前言 二、系统功能设计 三、系统实现 1、用户功能实现 2、管理员功能实现 (1)影院信息管理 (2)电影信息管理 (3)已…

电源芯片并联使用-AMS1117

自记: 电源芯片可不可以并联使用: 1.按照正规大厂Rohm的技术文档介绍,直接并联的两个LDO,只要其输出电压有很小的差异,就会造成电流分配的很大差异。 至于你长期使用没有发现问题,那可能是总电流的余量留…

蓝桥杯---煤球数目

有一堆煤球,堆成三角棱锥形。具体: 第一层放1个, 第二层3个(排列成三角形), 第三层6个(排列成三角形), 第四层10个(排列成三角形), 如果一共有100层,共有多少个煤球? 请填表示煤球总数目的数字. 注意:你提交的应该是一个整数,不要填写任何多余的内容或说明性文字. 代码 pu…

Ingress

文章目录 环境准备什么是 Ingress认识 Ingress 资源Ingress 控制器(controller)Ingress 规则pathType 路径类型多重匹配Ingress 类TLS生成证书创建密钥 环境准备 下面的 yaml 文件内容,是使用 sts 创建两个 web 服务,并配置对应的 servcie。web 服务的首…

【JavaScript】前端攻击

前端攻击 1. CSRF的基本概念、缩写、全称 CSRF(Cross-site request forgery):跨站请求伪造。 从上图可以看出,要完成一次CSRF攻击,受害者必须满足两个必要的条件: 登录受信任网站A,并在本地生…

【疑问】为什么声明和定义要分离

前言 我们在学习的时候接触过一个话:编写自定义函数的时候 要做到声明和定义分离 那么为什么呢 今天就来简单的了解一下 疑问:错误的发生 下面给出两个源文件和一个头文件以及报错信息 text.cc文件 #include"head.h"int main() {int a 1…