(学习笔记-内存管理)内存分段、分页、管理与布局

news/2024/5/21 4:33:56

内存分段

程序是由若干个逻辑分段组成的,比如可由代码分段、数据分段、栈段、堆段组成。不同的段是有不同的属性的,所以就用分段的形式把这些分段分离出来

分段机制下,虚拟地址和物理地址是如何映射的?

 分段机制下的虚拟地址由两部分组成,段选择因子段内偏移量

  •  段选择因子:保存在段寄存器里面。段选择因子里面最重要的是段号,用作段表的索引。段表里面保存的是这个段的基地址、段的界限和特权等级等。
  •  虚拟地址中的段内偏移量应该位于 0 和段界限之间,如果段内偏移量是合法的,就将段基地址加上段内偏移量得到物理内存地址。

上图中展示了虚拟地址与物理地址通过段表映射关系,分段机制会把程序的虚拟地址分成 4 个段,每个段在段表中有一个项,在这一项找到段的基地址,再加上偏移量,于是就能找到物理内存中的地址,如下图:

 如果要访问段3中偏移量为 500 的虚拟地址,我们可以计算出物理地址为:7000(段3基地址) + 500(偏移量) = 7500。

分段的方法很好,解决了程序本身不需要关心具体的物理内存地址的问题,但是也有一些不足之处:

  • 内存碎片问题
  • 内存交换的效率低

分段产生的内存碎片问题

假设有 1 G的物理内存,用户执行了多个程序,其中:

  • 游戏占用了 512MB 内存
  • 浏览器占用了 128MB 内存
  • 音乐占用了 256 MB 内存

这个时候,如果我们关闭了浏览器,空闲内存还有1024-512-256 = 256MB。

如果这个256MB不是连续的,被分成了两段128MB内存,这就会导致没有空间再打开一个200MB的程序。

内存分段会出现内存碎片吗?

 内存碎片主要分为:内部内存碎片外部内存碎片

内存分段管理可以做到段根据实际需求分配内存,所以有多少需求就分配多大的段,所以就不会出现内部内存碎片

但是由于每个段的长度不固定,所以多个段未必能恰好使用所有的内存空间,会产生多个不连续的小物理内存,导致新的程序无法被装载,所以会出现外部内存碎片的问题。

解决[外部内存碎片]的问题就是内存交换。

可以把音乐程序占用的那256MB内存写到硬盘上,然后再从硬盘上读回内存里。不过再读回时,不能装载到原来的位置,而是紧紧地跟在已经被占用的512MB内存后面。这样就能空缺出连续的256MB内存空间,于是新的200MB程序就可以装载进来。

这个内存交换空间,在Linux系统里,也就是常看到的Swap空间,这块空间是从硬盘划分出来的,用于内存与硬盘的空间交换。

分段导致的内存交换效率低的问题

对于多进程的系统来说,用分段这个方式,外部内存碎片是很容易产生的,产生了外部内存碎片,那不得不重新 Swap 内存区域,这个过程会产生性能瓶颈。

因为硬盘的访问速度比内存慢太多了,每一次内存交换,都需要把一大段连续的内存数据写到硬盘上。

所以,如果内存交换的时候,交换的是一个占用内存空间很大的程序,这样整个机器就会显得卡顿。

为了解决内存分段的[外部内存碎片和内存交换效率低]的问题,就出现了内存分页。


内存分页

分段的好处是能产生连续的内存空间,但是会出现 [外部内存碎片和内存交换·的空间太大] 的问题。

要解决这些问题,那么就要想出能少一些内存碎片的办法。另外,当需要进行内存交换的时候,让需要写入或者从磁盘装载的数据更少一点,这样就解决问题了。这个办法也就是内存分页

分页是把整个虚拟和物理内存空间切成一段段固定尺寸的大小。这样一个连续并且尺寸固定的内存空间,我们叫。在Linux下,每一页的大小为 4KB

 虚拟地址与物理地址之间通过页表来映射,如图:

 页表是存储在内存里的,内存管理单元(MMU)就做将虚拟内存地址转换成物理地址的工作。

当进程访问的虚拟地址在页表中查不到时,系统会产生一个缺页异常,进入系统内核空间分配物理内存,更新进程页表,最后再返回用户空间,恢复进程的运行。

分页如何解决[外部内存碎片和内存交换效率低]的问题?

内存分页是由于内存空间都是预先划分好的,也就不会像内存分段那样,在段与段之间产生间隙非常小的内存,这正是分段会产生外部内存碎片的原因。而采用了分页,页与页之间是紧密排列的,所以不会有外部碎片。

但是,因为内存分页机制分配内存的最小单位是一页,即使不足一页大小,我们最少只能分配一页,所以页内会出现内存浪费,所以针对内存分页机制会有内部内存碎片的现象

如果内存空间不够,操作系统会把其他正在运行的进程中的[最近没被使用]的内存页面给释放掉,也就是暂时写在硬盘上,称为换出(wap out)。一旦需要的时候,再加载进来,称为换入(swap in)。所以,一次性写入磁盘的也只有少数的一个页或者几个页,不会花太多时间,内存交换的效率就相对比较高

更进一步地,分页的方式使得我们在加载程序的时候,不再需要一次性把程序都加载到物理内存中。我们完全可以在进行虚拟内存和物理内存的页之间的映射之后,并不真的把页加载到物理内存里,而是只有在程序运行中,需要用到对应虚拟内存页里面的指令和数据时,再加载到物理内存里面去

分页机制下,虚拟地址和物理地址是如何映射的?

在分页机制下,虚拟地址分为两部分,页号页内偏移。页号作为页表的索引,页表包含物理页每页所在物理内存的基地址,这个地址与页内偏移的组合就形成了物理内存地址,如下图:

总结:对于一个内存地址转换,其实就是这样三个步骤

  • 把虚拟内存地址,切分成页号和偏移量
  • 根据页号,从页表里面,查询对应的物理号
  • 直接拿物理页号,加上前面的偏移量,就得到了物理内存地址。

但放到实际的操作系统重,这样简单的分页肯定是有问题的。

简单分页的缺陷

有空间上的缺陷。

因为操作系统是可以同时运行非常多的进程的,这就意味着页表会非常庞大。

在32位的环境下,虚拟地址空间有 4 GB ,假设一个页的大小是 4KB,那么就需要大约100万个页,每个[页表项]需要四个字节大小来存储,那么整个4GB空间的映射就需要有4MB的内存来存储页表。

这4MB大小的页表看起来不是很大,但是要知道每个进程都是有自己的虚拟地址空间的,也就是说都有自己的页表。那么 100 个进程的话,就需要 400MB 的内存来存储页表,这已经是非常大的内存了,更别说64位系统了。


多级页表

要解决上面的问题就需要采用一种叫做多级页表的解决方案。(可以理解为将单级页表进行分组,下面例子中是每1024个单级页分为一组,如果某一组页表项没被用到,就不需要创建该组的二级页表,节省了页表的总空间

在前面我们知道了,对于单页表的实现方式,在32位和页大小为4KB的环境下,一个进程的页表需要装下100多万个[页表项],并且每个页表项是占用 4 字节大小的,于是相当于每个页表需占用 4MB 大小的空间。

我们把这个100多万个[页表项]的单级页表再分页,将页表(一级页表)分为 1024 个页(二级页表),每个表(二级页表)中包含1024个[页表项],形成二级分页

分了二级表,映射4GB地址空间就需要4KB(一级页表)+4MB(二级页表)的内存,这样占用空间不是更大了吗?

 如果4GB的虚拟地址都映射到了物理内存上的话,二级分页占用空间确实更大了,但是我们往往不会为一个进程分配那么多的内存。

每个进程都有4GB的虚拟地址空间,而显然对于大多数程序来说,其使用的空间远达不到4GB,因为会存在部分对应的页表项都是空的根本没有分配,对于已分配的页表项,如果存在最近一定时间未访问的页表,在物理内存紧张的情况下,操作系统会将页面换出到硬盘,也就是说不会占用物理内存。

如果使用了二级分页,一级页表就可以覆盖整个 4GB 虚拟地址空间,但如果某个一级页表的页表项没有被用到,也就不需要创建这个页表对应的二级页表了,即可以在需要时才创建二级页表。做个简单计算,假设只有20%的一级1页表项被用到了,那么页表占用的内存空间就只有4KB(一级页表) + 20%*4MB(二级页表) = 0.804MB,这对比单级页表的 4MB 节省了大量的空间。

为什么不分级的页表就做不到这样节约内存呢?

我们从页表的性质来看,保存在内存中的页表承担的职责是将虚拟地址翻译成物理地址。假如虚拟地址在页表中找不到对应的页表项,计算机系统就不能工作了。所以页表一定要覆盖全部的虚拟地址空间,不分级的页表就需要有100多万个页表项来映射,而二级分页则只需要1024个页表项(此时一级页表覆盖了全部的虚拟地址空间,二级页表在需要时创建)

对于64位的系统,两级分页肯定不够,就变成了四级目录,分别是:

  • 全局页目录项 PGD
  • 上层页目录项 PUD
  • 中间页目录项 PMD
  • 页表项 PTE

TLB

多级页表虽然解决了空间上的问题,但是虚拟地址到物理地址的先转换就多了几道转换的工序,显然就降低了这两地址的转换速度,也就是带来了时间上的开销。

程序是有局部性的,即在一段时间内,整个程序的执行仅限于程序中的某一部分。相应地,执行所访问的存储空间也局限于某个内存区域。

我们就可以利用这一特性,把最常访问的几个页表存储到访问速度更快的硬件,于是在CPU芯片中,加入了一个专门存放程序最常访问页表项 的 cache,这个cache就是TLB ,通常成为页表缓存、转址旁路缓存、快表等。

在CPU芯片里面,封装了内存管理单元(MMU)芯片,它用来完成地址转换和TLB的访问和交互

有了TLB后,CPU寻址时,会先查TLB,如果没找到,才会继续查常规的页表。

TLB的命中率其实是很高的,因为程序最常访问的页就那么几个。


段页式内存管理

内存分段和内存分页并不是对立的,它们是可以组合起来再同一个系统中使用的,那么组合起来后,通常成为段页式内存管理

段页式内存管理实现方式:

  • 先将程序划分为多个有逻辑意义的段,也就是前面提到的分段机制
  • 接着再把每个段划分为多个页,也就是对分段划分出来的连续空间,再划分固定大小的页

这样地址结构就由 段号段内页号页内位移 三部分组成。

用于段页式地址变换的数据结构是每个程序一张段表,每个段又建立一张页表,段表中的地址是页表的起始地址,而页表中的地址为某页的物理页号,如图:

段页式地址变换中要得到物理地址须经过三次内存访问:

  • 第一次访问段表,得到页表起始地址;
  • 第二次访问页表,得到物理页号
  • 第三次将物理页号与页内位移组合,得到物理地址。

可用软、硬件相结合的方法实现段页式地址的变换,这样虽然增加了硬件成本和系统开销,但提高了内存的利用率。


 Linux内存布局

intel处理器额的发展历史

 

早期的intel的处理器从80286开始使用的是段式内存管理。但是很快发现光有段式内存管理而没有页式内存管理是不够的,这会使X86系列失去市场的竞争力。因此,在不久以后得80386中就实现了页式内存管理。也就是说,80386除了完成并完善从80286开始的段式内存管理的同时还实现了页式内存管理。

  

但是这个80386的页式内存管理设计时,没有绕开段式内存管理,而是建立在段式内存管理的基础上,这就意味着,页式内存管理的作用是在由段式内存管理所映射而成的地址上再加上一层地址映射

此时由段式内存管理映射而成的地址不再是 物理地址 了,Intel就称之为 线性地址 (也称为虚拟地址),于是,段式内存管理先将逻辑地址映射成线性地址,然后再由分页内存管理将线性地址映射成物理地址。

  • 程序所使用的地址,通常是没被段式内存管理映射的地址,称为逻辑地址
  • 通过段式内存管理映射的地址,称为线性地址,或者虚拟地址

Linux内存主要采用的是页式内存管理,但同时也不可避免地涉及了段机制

 这主要是上面Intel处理器发展历史导致的,因为Intel X86CPU一律对程序中使用的地址先进行段式映射,然后才能进行页式映射。

但事实上,Linux内核所采取的办法是使段式映射的过程实际上不起什么作用。

Linux系统中的每个段都从0地址开始的整个 4GB 虚拟空间(32位环境下),也就是所有的段的起始地址都是一样的。这意味着,Linux系统中的代码,包括操作系统本身的代码和应用程序代码,所面对的地址空间都是线性地址空间(虚拟地址),这种做法相当于屏蔽了处理器中逻辑地址的概念,段只被用于访问控制盒内存保护。

Linux的虚拟地址空间如何分布?

在Linux操作系统中,虚拟地址空间的内部又被分为内核空间和用户空间两部分,不同位数的系统,地址空间的范围也不同。比如常见的32位和64位系统,如下图所示:

 这里可以看出:

  •  32 位系统的内核空间占 1G ,位于最高处,剩下的 3G 是用户空间
  • 64 位系统的内核空间和用户空间都是128T,分别占据整个内存空间的最高和最低处,剩下的中间部分是未定义的。

内核空间和用户间的区别:

  • 进程在用户态时,只能访问用户空间内存
  • 只有在进入内核态的时候才能访问内核空间的内存

虽然每个程序都有自己独立的虚拟地址,但是每个虚拟内存中的内核地址,其实关联的都是相同的物理内存,这样,进程在切换到内核态后,就可以很方便地访问内核空间内存。

 

进一步了解虚拟空间的划分情况,用户空间和内核空间划分的方式是不同的

以32位操作系统为例,用户空间分布的情况如图所示:

 通过这张图,可以看到,用户空间内存从低到高分别是6种不同的内存段:

  • 代码段,包括二进制可执行代码
  • 数据段,包括已初始化的静态常量和全局变量
  • BSS段,包括未初始化的静态变量和全局变量
  • 堆段,包括动态分配的内存,从低地址开始向上增长
  • 文件映射段,包括动态库、共享内存等,从低地址开始向上增长
  • 栈段,包括局部变量和函数调用的上下文等。栈的大小是固定的,一般是 8MB。当然系统也提供了参数,以便我们自定义大小;

上图中的内存布局可以看到,代码段下面还有一段内存空间(灰色部分),这一块区域是[保留区],之所以要有保留区是因为在大多数系统里,我们认为比较小数值的地址不是一个合法地址。例如我们通常在C的代码里会将无效的指针赋值位NULL。因此,这里会出现一段不可访问的内存保留区,防止程序因为出现BUG,导致读或写了一些小内存地址的数据。


总结

为了在多进程的环境下,使得进程之间的内存地址不受影响,相互隔离,于是操作系统就为每个进程单独分配一套虚拟内存地址,每个程序只关心自己的虚拟地址就可以,实际上大家的虚拟地址都是一样的,但分布到的物理内存地址是不一样的。

每个进程都有自己的虚拟空间,而物理内存只有一个,所以当启用了大量的进程,物理内存必然会很紧张,于是操作系统会通过内存交换技术,把不常使用的内存暂时存放到硬盘(换出),在需要的时候再装载回物理内存(换入)。

既然有了虚拟内存地址,那必然要把虚拟地址[映射]到物理地址,这个过程通常由操作系统维护。

那么对于虚拟地址和物理地址的映射关系,可以有分页分段的方式,同时结合两者[段页式]也可以。

内存分段是根据程序的逻辑角度,分成了栈段、堆段、数据段、代码段等,这样可以分离出不同属性的段,同时是一块连续的空间。但是每个段的大小都不是统一的,这就会导致外部内存碎片和内存交换效率低的问题

于是,就出现了内存分页,把虚拟空间和物理空间分成大小固定的页,如在 Linux 系统中,每一页的大小为 4KB。由于分了页后,就不会产生细小的内存碎片,解决了内存分段的外部内存碎片问题。同时在内存交换的时候,写入硬盘也就一个页或几个页,这就大大提高了内存交换的效率。

为了解决简单分页产生的页表过大的问题,就有了多级页表,它解决了空间上的问题,但这就会导致 CPU 在寻址的过程中,需要有很多层表参与,加大了时间上的开销。于是根据程序的局部性原理,在 CPU 芯片中加入了 TLB,负责缓存最近常被访问的页表项,大大提高了地址的转换速度。

Linux 系统主要采用了分页管理,但是由于 Intel 处理器的发展史,Linux 系统无法避免分段管理。于是 Linux 就把所有段的基地址设为 0,也就意味着所有程序的地址空间都是线性地址空间(虚拟地址),相当于屏蔽了 CPU 逻辑地址的概念,所以段只被用于访问控制和内存保护。

另外,Linux 系统中虚拟空间分布可分为用户态内核态两部分,其中用户态的分布:代码段、全局变量、BSS、函数栈、堆内存、映射区。


http://www.mrgr.cn/p/11066016

相关文章

openssl/bn.h: No such file or directory

报错截图 解决方法 ubuntu apt install libssl-dev -y centos yum install openssl-devel -y

MVC与MVVM模式的区别

一、MVC Model(模型):用于处理应用程序数据逻辑,负责在数据库中存取数据。处理数据的crud View(视图):处理数据显示的部分。通常视图是依据模型数据创建的。 Controller(控制器&…

【Git】git reflog git log

前言 日常开发过程中,我们经常会遇到要进行版本回退的情况,这时候需要使用git reflog和git reset 命令 git reflog 常用命令: 1、git reflog -n 查看多少条 2、git reflog show origin 查看远程历史变动 git log 什么都不加默认显示当前分…

电脑维护:10妙招,让你的电脑更加稳定!

你的电脑已经成为你工作、学习、娱乐的最佳工具之一,但是如果你不做好电脑维护工作,就可能面临着电脑变慢、蓝屏、崩溃等问题。在这篇文章中,我们将介绍10个电脑维护步骤,让你的电脑更加稳定! 为什么需要电脑维护&…

一起学算法(位运算篇)

1.位运算 1.二进制数值表示 在计算机中,我们可以用单纯的0和1来表示数字,一般不产生歧义,我们会在数字的右下角写上它的进制,例如:1010(10)其表示的是1010,1010(2&#…

【Git】初始化仓库配置与本地仓库提交流程

目录 一、仓库配置邮箱与用户名 二、本地仓库提交流程 一、仓库配置邮箱与用户名 【Git】Linux服务器Centos环境下安装Git与创建本地仓库_centos git仓库搭建_1373i的博客-CSDN博客https://blog.csdn.net/qq_61903414/article/details/131260033?spm1001.2014.3001.5501 在…

Is Mapping Necessary for Realistic PointGoal Navigation 论文阅读和代码分析

论文 论文信息 题目:Is Mapping Necessary for Realistic PointGoal Navigation? 作者:Ruslan Partsey、 Erik Wijmans 代码地址:rpartsey.github.io/pointgoalnav 来源:CVPR 时间:2022 Abstract 目标&#xff1a…

Linux_CentOS_7.9部署Docker以及镜像加速配置等实操验证全过程手册

前言:实操之前大家应该熟悉一个新的名词DevOps 俗称开发即运维、新一代开发工程师(Development和Operations的组合词)是一组过程、方法与系统的统称,用于促进开发(应用程序/软件工程)、技术运营和质量保障&…

音频编辑必备技能:怎么将音频转换mp3

丽萨:嘿,听说你最近在研究音频格式转换的方法,有眉目了吗? 凯瑞:没错,我下载了很多高清音乐,发现有些格式的音频文件在我的播放器上打不开,所以想一个转换工具。但是网上软件太多&a…

SpringMVC程序开发

1.什么是Spring MVC? Spring Web MVC是基于Servlet API构建的原始的Web框架,从一开始是就包含在Spring框架中。它的正式名称“Spring Web MVC"来自其源模板的名称(Spring-webmvc),但通常被称为“Spring MVC" 从上述的定义我们可…

建木使用进阶-创建密钥管理

阿丹: 第一次我们进入建木,第一件事情就是配置我们相关的密钥。 解读: 在建木中我们可以进行创建密钥来对我们服务器等密码进行方便的管理。 注意: 登录的时候账号为:admin 密码为:123456 这是初始…

浅谈 Spring AOP 思想

Spring AOP AOP 切面编程普通代理类JDK动态代理Cglib动态代理AOPAOP术语AOP切面编程的优势Advice通知类型(5种)通知的执行顺序 Order切入点表达式表达式execution注解annotation Spring事务管理Transactional 及 Transactional 的两个属性Transactional …

TCP三次握手和四次挥手以及11种状态(一)

1、三次握手 置位概念:根据TCP的包头字段,存在3个重要的标识ACK、SYN、FIN ACK:表示验证字段 SYN:位数置1,表示建立TCP连接 FIN:位数置1,表示断开TCP连接 三次握手过程说明: 1、…

【JavaEE】博客系统前后端交互

目录 一、准备工作 二、数据库的表设计 三、封装JDBC数据库操作 1、创建数据表对应的实体类 2、封装增删改查操作 四、前后端交互逻辑的实现 1、博客列表页 1.1、展示博客列表 1.2、博客详情页 1.3、登录页面 1.4、强制要求用户登录,检查用户的登录状态 …

生产者消费者模型——条件变量与信号量

文章目录 模型条件变量信号量(信号灯)应用伪代码 模型 生产者、消费者用线程 容器用链表 条件变量 条件变量不是锁,可以控制线程阻塞与否,可以配合锁使用。 注意:当pthread_cond_wait(&cond, &mutex)使用时&…

【Git】远程仓库的创建、SSH协议克隆、拉取、推送

目录 一、创建远程仓库 二、HTTPS协议克隆仓库 三、SSH协议克隆仓库 四、向远程仓库推送 五、从远程仓库拉取 六、忽略特殊文件 七、配置命令别名 一、创建远程仓库 首先我们可以从GitHub或者Gitee中创建自己的个人仓库 工作台 - Gitee.comhttps://gitee.com/ 二、HTT…

大数据Flink(五十一):Flink的引入和Flink的简介

文章目录 Flink的引入和Flink的简介 一、Flink的引入 1、第1代——Hadoop MapReduce

Inpaint Anything: 自动化抹除视频元素

自动化抹除视频元素 不用逐帧抠图,直接SAM Tracking Video Inpainting就能实现自动化抹除奔跑吧idol。 https://github.com/geekyutao/Inpaint-Anything 目录 网站演示参考文献 网站 https://huggingface.co/spaces/InpaintAI/Inpaint-Anything 演示 原理就是&a…

一个简单的yapi工具-medmotion_cli

medmotion_cli medmotion_cli 最近在使用yapi时发现了一个小工具,可以快速生成ts类型定义,js接口定义 配合上自己写的工具,可以快速生成如下(写admin的小伙伴可能比较熟悉) 安装 sudo npm install medmotion_cli -g使用 medmotion_cli…

AWS / VPC 云流量监控

由于安全性、数据现代化、增长、灵活性和成本等原因促使更多企业迁移到云,将数据存储在本地的组织正在使用云来存储其重要数据。亚马逊网络服务(AWS)仍然是最受追捧和需求的服务之一,而亚马逊虚拟私有云(VPC&#xff0…