《操作系统 - 清华大学》4 -2:非连续内存分配:分页

devtools/2024/11/19 14:00:06/

文章目录

  • 1. 概述
  • 2. 页的寻址
  • 3. 帧
  • 4. 页
  • 5. 页寻址机制

1. 概述

在这里插入图片描述
前面把段机制做了简单介绍,段机制相对而言在现有的 CPU 硬件环境中是属于比较少的,现在绝大部分 CPU 主要采取的是分页机制。这是另外一种和分段机制不同的硬件的非连续内存的管理方式,这里面主要两部分,一个是基于页的寻址,基于页的地址空间,以及基于分页机制的硬件实现方式,这两部分的内容。

2. 页的寻址

首先看页的寻址,需要比较一下,前面讲用分段机制,首先需要知道段号以及段内的偏移,那其实分页也是一样的,它也需要页号和页内的偏移,那它和刚才说的分段有什么区别,其实区别主要在于偏移,在分段机制里面,段的尺寸是可变的,而在分页里面页帧的大小或者页的大小其实是固定不变的,这是它们最大的区别,就这个区别。
在这里插入图片描述
那可以看到,可以说把页或者页帧分成不同的类,可以按照2的幂次方来分,主要是 512 字节或者4K 或者8K,同时逻辑页和物理页的大小是一样的,比如说定成4K都是4K,要定成8K都要是8K,这样是便于硬件去对它做相应的实现。同时这里面需要注意一下,页帧 frame 是物理页, page 代表逻辑页,那需要建立逻辑页地址和物理页地址映射关系。

那这个映射关系里面需要用到什么呢?

硬件机制中页表, MMU 内存管理单元,这属于硬件中的组成,CPU 中的重要组成部分。这里面还有TLB,就是块表来完成对页表的缓存,当然这些在后面会逐一做讲解,有了这些机制之后,其实可以加速地址转换。

3. 帧

在这里插入图片描述
叶帧(frame)是指物理内存的组织和布局方式。很明显页帧代表物理内存的地址是有两部分组成,第一个是页帧号 frame number,第二个是页帧里面的偏移 offset,比如一个物理地址有 n 位,其实它分两块了,它的页帧号占了 F 位,页帧本身的大小占 S 位,也就确定了在整个寻址空间中有 2 F 2^F 2F 页帧个数,同时有 2 S 2^S 2S的每一页大小,所以说对于物理地址而言,如果知道它的页帧号和页帧偏移,那可以得出它的物理地址,就下面的公式所示: 物理地址 = 2 S 2^S 2S *f + o,这个地址就是它的物理地址。那上面这幅图也可以很清楚地看出来。这里面有两部分组成,一个是页帧的 offset,一个是页帧的帧号,有了它们之后,就可以迅速地对应到页帧号和叶帧 offset 到底是指向哪一个物理层单元。

在这里插入图片描述
结合示例,来理解页帧设计,比如现在有16位 物理地址空间,在这里每个页帧的大小是512字节,也意味着页 offset 一共有 2 9 2^9 29,512字节,如果说给出一个地址,这个物理地址的页帧号是3,页帧内偏移是6。问它具体的物理地址的位置是多少?这个位置其实就是1542,那这个值怎么算出来的?
~  
整个地址空间由16 bit 组成,其中 9 bit 表示页帧内的偏移,剩下 7 bit 表示页帧号的大小,根据前面公式,物理地址= 2 S 2^S 2S
*f + o = 2 9 2^9 29 *3 + 6 = 1542 ,看上右图,具体绿色那块区域的位置。

4. 页

在这里插入图片描述
看看逻辑地址寻址方式,这时候用页(page)来表示。其实它的计算方式和页帧是很类似的,可以说计算方法是一样的,那区别在什么地方?区别在于页号 size 和页帧号 size 可能不一样,但是它的 offset(page offset size),就是它每页的大小和每个页帧大小这两个是一样的,大家需要注意这个区别。如果把它的业号用 p 表示,业内偏移也用 o 来表示,那么也可以用公式简单地表示页的逻辑地址 = 2 S 2^S 2S * p + o,S代表一个页的 size, P 代表有多少个页。 所以 P 和前面 F 可以不一样,但计算方法其实是一样的,从这种方式可以得出有相应页号和相应页内偏移的逻辑地址,它对应的实际的逻辑地址是多少。

5. 页寻址机制

以上得出基于逻辑页寻址表示,有这个表示之后,看看怎么来完成地址转换。
在这里插入图片描述
从上图左边开始看,当一个程序要运行的时候,这个程序本身逻辑地址是连续的地址空间,而且是由一页一页组成,每页大小是一样的,但整个这个程序的容量和物理地址空间可能不一样。比如说可能程序占很大地址空间,但物理空间可能没有这么大。

  • 看看怎么来完成映射
    首先程序要执行的时候,与分段映射机制也是类似的,程序运行时候 CPU 会去寻址,无论是执行一条指令,还是说访问数据,它都需要知道指令或者数据所在位置。

    寻址就需要知道这个地址,地址是逻辑地址或虚拟地址,虚拟地址是由 CPU 下面的那个图来表示的,可以看到这个地址分了两块,一块是页内偏移offset,o表示,另一块是页号,p 表示,首先关注页号,把页号作为 index,查 pagetable。简单理解 pagetable 存的是以页号为索引对应的那一项的内容,放帧号(frame number)。

    一旦知道页号,就可以查出来对应的帧号是多少,实际上就是大的数组,这个数组用 page table 来表示,那同时也要知道,如果要去查 page table 的话,需要知道从哪开始查,所以还需要有很重要的信息 page table 的base,基地址在什么地方,有了 base 和 page number (做 index 可以查找对应页表项的内容)。

    通过页号知道帧号,这个很关键,知道帧号之后,帧号再加上 offset,形成页帧号和页帧 offset 共同组成的物理地址,知道物理地址之后,找到物理地址所在的位置,真是整个大致的计算过程。

  • 需要注意这个 page table 谁来建立
    page table其实应该是由操作系统来建立,建立好 page table 之后,才能够让程序正常地完成映射关系,才能正常地跑,所以 page table 是由操作系统在初始化的时候,在分页机制的时候就需要建立好,建立好之后就能够让程序正常的跑起来。

注意分页机制一些不同的地方:
在这里插入图片描述

  1. 它和分段机制有点不一样,分页机制的页内偏移大小是固定的,使得在硬件管理上面可以更加简洁的方式来实现,不像分段方式需要考虑不同段的大小是不一致的问题。
  2. 第二个需要注意,整个逻辑页地址空间的大小和以帧组成的物理地址空间的大小不一致,一般而言,逻辑地址空间要大于物理地址空间。这会存在问题,逻辑地址空间的内容,物理空间没法全都装得下,怎么办?后面虚拟内存的时候做讲解,这里暂时把问题放一放。
  3. 逻辑地址空间是连续的,连续的寻址,映射到物理空间之后,它不一定连续了,它有可能分散在不同物理空间的页帧中,那这样带来的好处是有助于减少碎片。

http://www.ppmy.cn/devtools/135213.html

相关文章

Linux网络:HTTPS协议

Linux网络:HTTPS协议 加密方式对称加密非对称加密混合加密中间人攻击 证书数据签名CA认证 HTTPSSSL/TSLHTTPS 在HTTP协议中,所有的数据都采用明文的形式传输,这就会导致数据非常容易泄露,只要拿到HTTP报文,就可以窃取各…

HarmonyOS知识点

HarmonyOS应用模型Stage&FA 、ArkTS、ArkUI Stage模型: Module - UIAbility - Page - component 装饰器Entry、Component、CustomDialog、State、关键字struct、函数build() 系统组件(Text Column Row Scroll)、自定义组件 、组件复用、…

RSA加密方式及常见攻击手法

RSA: RSA加密操作流程: 第一步:选取一对不相等且足够大的质数,记做p和q; 第二步:计算p和q的乘积n;npq; 第三步:计算欧拉函数:phi(n)(p-1)(q-1) 第四步:选…

贴代码框架PasteForm特性介绍之datetime,daterange

简介 PasteForm是贴代码推出的 “新一代CRUD” ,基于ABPvNext,目的是通过对Dto的特性的标注,从而实现管理端的统一UI,借助于配套的PasteBuilder代码生成器,你可以快速的为自己的项目构建后台管理端!目前管…

2021 年 3 月青少年软编等考 C 语言三级真题解析

目录 T1. 找和为 K 的两个元素思路分析 T2. Minecraft思路分析 T3. 踩方格思路分析 T4. 苹果消消乐思路分析 T5. 流感传染思路分析 T1. 找和为 K 的两个元素 在一个长度为 n ( n < 1000 ) n\ (n < 1000) n (n<1000) 的整数序列中&#xff0c;判断是否存在某两个元素…

【机器学习】从马尔可夫链到CRF:全方位解析序列建模的核心技术

&#x1f497;&#x1f497;&#x1f497;欢迎来到我的博客&#xff0c;你将找到有关如何使用技术解决问题的文章&#xff0c;也会找到某个技术的学习路线。无论你是何种职业&#xff0c;我都希望我的博客对你有所帮助。最后不要忘记订阅我的博客以获取最新文章&#xff0c;也欢…

软件测试之缺陷管理

一、软件缺陷的基本概念 1、软件缺陷的基本概念主要分为&#xff1a;缺陷、故障、失效这三种。 &#xff08;1&#xff09;缺陷&#xff08;defect&#xff09;&#xff1a;存在于软件之中的偏差&#xff0c;可被激活&#xff0c;以静态的形式存在于软件内部&#xff0c;相当…

Hive的map/struct/array怎么通过insert插入数据

废话 hive在高级使用语法时&#xff0c;会遇到map/struct/array等操作。但是我们只需想测试某几种数据&#xff0c;不想搞得麻烦通过定义数据文件&#xff0c;然后创建数据结构&#xff0c;再导入这一系列流程&#xff0c;就为验证一个感觉很简单的问题。于是想简化这个步骤&am…