内存管理(一)——内存分配
前言
我们都知道,计算机工作的过程概括起来就是 CPU 去内存中读取指令并执行的过程,但是如果运行我们的程序直接操作物理内存,将会引发很多的问题(比如不同进程之间访问/修改的隔离、权限等等),所以爱操心的操作系统就帮我们实现了内存管理。
暂时可以先简单地理解为操作系统通过虚拟内存技术实现了内存管理,首先抽象出一层虚拟的内存空间,当进程创建时,给每个进程都分配一个虚拟的内存空间,这样程序所使用的地址就是虚拟内存地址,然后实际运行时,再把虚拟地址映射到物理地址,从而给程序分配物理内存地址使用。
这样,在编写程序的时候就可以尽情地使用虚拟地址了,其他的一系列工作都交由操作系统帮我们完成。
操作系统的内存管理需要实现以下几个功能:
- 地址转换:将程序中的逻辑地址转换成内存中的物理地址(抽象)
- 存储保护:保证个个作业在自己的内存空间内运行,互不干扰(保护)
- 内存的分配与回收:当作业或进程创建后系统会为他们分配内存空间,当结束后内存空间也会被回收。
- 内存空间的扩充:利用虚拟存储技术或自动覆盖技术,从逻辑上扩充内存(虚拟化)
- 进程间通信(共享)
本文将从分配物理内存开始介绍:
内存分配指的是操作系统将物理内存分配给程序以使用。(和编程语言的分配内存不同,如 C 中的 malloc
、mmap
等,后续会慢慢讲到的)
分配内存经历了两个发展阶段,一开始是使用连续型分配的方式,后面慢慢发展到了非连续型分配,现代的操作系统基本上都是使用非连续型分配的方式。这里的连续和非连续,指的是分配给程序的物理内存空间是否连续。
连续型分配
连续分配方式是最早出现的一种存储器分配方式,分配的策略为一个用户程序分配一个连续的物理内存空间。
缺点:
- 内存利用率低
- 有外碎片、内碎片的问题
连续型分配有以下四种方式:单一连续分配、固定分区分配、动态分区分配、动态重定位分配。
内存碎片指的是不可用的空闲内存。外部内存碎片指的是未被分配,但是由于太小而无法被分配的内存空间。内部碎片指的是已经被分配,但是未被进程使用的内存空间。
先把内存简单理解为一个大数组,假设把 0~50 分配给了进程A,把 55~100 分配给了进程B,那么 50~55 就是外部碎片。假如进程A实际只用了 40 的空间,那还有 10 就是内部碎片。
单一连续分配
单道程序环境下经常使用的分配方式,将整个内存直接交由一个程序独占,当其他程序需要使用的时候,需要覆盖(Overlay)整个内存,即一次只能运行一个程序。
优点是简单高效,无外部碎片。缺点是可能存在大量内部碎片,内存利用率低,且只能用于单用户。
固定分区分配
是最简单的多道程序存储管理方式,将用户内存空间划分为若干个固定大小(不同分区大小可以不相等),每个分区只装入一道作业。
为便于内存分配,通常将分区按大小排队,并为之建立一张分区使用表,其中各表项包括每个分区的起始地址、大小及状态。
这种方式不会产生外部碎片,但是内部碎片可能较大,也有可能因为程序太大而无法放入任何一个分区。
动态分区分配
动态分区分配又称可变分区分配,不预先划分内存,而是在程序装入内存时,根据进程的大小动态地建立分区,并使得分区的大小正好适合进程的需要,因此系统中分区的大小和数目是可变的。
为了实现动态分区分配,通常有两种方式:空闲分区表和空闲分区链。
这种方式在开始时很好,但是随着时间的推移,内存中会产生越来越多的碎片。
紧凑
可以通过紧凑技术减少外部碎片。通过移动内存中作业的位置,把原来多个分散的小分区拼接成一个大分区的方法。
系统每紧凑一次,就要对移动了的程序或数据的地址进行修改,这个功能不仅实现复杂,而且还大大地影响到系统的效率。
紧凑分为两种,其中静态重定位是通过软件的方式实现的,也是动态分区分配中所使用的;而动态重定位是结合硬件支持的,是动态重定位分配中所使用的。
- 静态重定位:在程序装入内存的过程中完成,即在程序运行前,完成程序各个地址的重定位。
- 动态重定位:在程序运行的过程中完成,需要动态重定位寄存器的支持。
动态分区分配算法
把一个新作业装入内存,需要按照一定的分配算法选出一个分区分配给作业。常见的动态分区分配算法有以下四种:
FF,首次适应算法,First Fit。从空闲分区表的第一个表目起查找该表,把最先能够满足要求的空闲区分配给作业。
NF,循环首次适应算法,Next Fit。从上次找到的空闲分区的下一个空闲分区开始查找,直至找到一个能满足要求的空闲分区。
BF,最佳适应算法,Best Fit。从全部空闲区中找出能满足作业要求的、且大小最小的空闲分区。最小化外部碎片的产生。
WF,最差适应算法,Worst Fit。从全部空闲区中找出能满足作业要求的、且大小最大的空闲分区。避免产生太多微小碎片。
除了这四种最常用的,还有其他的分配算法:
QF,快速适应算法,Quick Fit。将空闲分区按照大小进行分类,并使用链表将同一大小的分区进行连接,然后使用索引表进行管理。
伙伴系统,buddy system。使用二进制优化的思想,将内存以2的幂为单位进行分配,合并时只能合并是伙伴的内存块。两个内存块是伙伴的三个条件是:
- 大小相等
- 地址连续
- 两个内存块分裂自同一个父块
不同的适应算法在不同的情况下各有优劣。
动态重定位分配
动态重定位分配,是在动态分区分配的基础上,加上硬件的支持,从而实现动态重定位的分配方式。
单纯用软件实现紧凑的效率非常低,需要频繁地移动内存位置,且只有在程序未占用 CPU 时才能移动。
除了软件的方式外,还可以用硬件协助实现。通过在系统中增设一个重定位寄存器,用它来存放程序在内存中的起始地址。程序在执行时,真正访问的内存地址是相对地址与重定位寄存器中的地址相加而形成的。当系统对内存进行了紧凑时,不需对程序做任何修改,只要用该程序在内存的新起始地址去置换原来的起始地址即可。
非连续型分配
非连续型分配有分段和分页两种。非连续分配允许一个程序分散地装入到不相邻的物理内存分区中,根据分区的大小是否固定分为分页存储管理方式和分段存储管理方式。非连续型分配是现代操作系统常用的分配方式,比如 Linux 就是结合两种方式的段页式管理。
优点:
- 更好的内存利用和管理
- 允许共享代码和数据
- 支持动态加载和动态链接
缺点:
- 内存管理的开销大(建立虚拟地址和物理地址之间的转化)
针对分段和分页,后续文章将作详细介绍。
总结
内存分配主要有连续型分配和非连续型分配两种,其中现代操作系统使用的通常为非连续型分配。
连续型分配主要有四种方式,分别为单一连续分配、固定分区分配、动态分区分配、动态重定位分配。
扩展
- 程序使用的虚拟内存是否连续?
答:操作系统实际分配给程序的物理内存不一定是连续的,但是程序所使用的虚拟内存是连续的。因为根据 CPU 的工作原理,CPU 需要从 PC 指针(Program Counter,程序计数器,指向下一条指令的地址)读取指令、到执行、再到下一条指令,不断循环。由于 PC 指针是顺序地指向下一个虚拟地址,所以程序所使用地虚拟内存需要是连续的。
- 两个不同的程序,能否使用同一个虚拟内存地址?
答:可以。由于操作系统的内存管理,分配给每个进程的虚拟内存都是独立且隔离的。
内存管理(一)——内存分配相关推荐
- 【Linux 内核 内存管理】内存管理架构 ④ ( 内存分配系统调用过程 | 用户层 malloc free | 系统调用层 brk mmap | 内核层 kmalloc | 内存管理流程 )
文章目录 一.内存分配系统调用过程 ( 用户层 | 系统调用 | 内核层 ) 二.内存管理流程 一.内存分配系统调用过程 ( 用户层 | 系统调用 | 内核层 ) " 堆内存 " ...
- Linux内存管理:内存分配:slab分配器
<linux内核之slob.slab.slub> <Linux内核:kmalloc()和SLOB.SLAB.SLUB内存分配器> <Linux内存管理:内存分配:slab ...
- 【Linux 内核 内存管理】物理分配页 ⑨ ( __alloc_pages_slowpath 慢速路径调用函数源码分析 | retry 标号代码分析 )
文章目录 一.retry 标号代码分析 二.retry 标号完整代码 在 [Linux 内核 内存管理]物理分配页 ② ( __alloc_pages_nodemask 函数参数分析 | __allo ...
- 【Linux 内核 内存管理】物理分配页 ⑦ ( __alloc_pages_slowpath 慢速路径调用函数源码分析 | 判断页阶数 | 读取 mems_allowed | 分配标志位转换 )
文章目录 一.__alloc_pages_slowpath 慢速路径调用函数 二.判断页阶数 三.读取进程 mems_allowed 成员 四.分配标志位转换 五.__alloc_pages_slow ...
- 【Linux 内核 内存管理】物理分配页 ⑧ ( __alloc_pages_slowpath 慢速路径调用函数源码分析 | 获取首选内存区域 | 异步回收内存页 | 最低水线也分配 | 直接分配 )
文章目录 一.获取首选内存区域 二.异步回收内存页 三.最低水线也分配 四.直接分配内存 在 [Linux 内核 内存管理]物理分配页 ② ( __alloc_pages_nodemask 函数参数分 ...
- 内存管理-动态分区分配方式模拟
内存管理 - 动态分区分配方式模拟 操作系统第二次课程作业 - 动态分区分配方式模拟 项目需求 假设初始态下,可用内存空间为640K,并有下列请求序列,请分别用首次适应算法和最佳适应算法进行内存块的分 ...
- 内存管理:内存的分配与回收
内存管理:内存的分配与回收 1 内存的分配与回收 1.1 连续分配 1.1.1 单一连续分配 1.1.2 固定分区分配 1.1.3 动态分区分配 1.2 非连续分配 1.2.1 分段存储管理 1.2. ...
- SAP专家培训之Netweaver ABAP内存管理和内存调优实践
培训者:SAP成都研究院开发人员Jerry Wang 1. Understanding Memory Objects in ABAP Note1: DATA itab WITH HEADER LINE ...
- Linux内存管理:内存寻址之分段机制与分页机制
目录 Linux 内存寻址之分段机制 前言 分段到底是怎么回事? 实模式的诞生(16位处理器及寻址) 保护模式的诞生(32位处理器及寻址) IA32的内存寻址机制 寻址硬件 IA32的三种地址 MMU ...
- Linux内存管理:内存描述之高端内存
<Linux内存管理:内存描述之内存节点node> <Linux内存管理:内存描述之内存区域zone> <Linux内存管理:内存描述之内存页面page> < ...
最新文章
- Python:机器视觉与Tesseract介绍
- 32岁程序员,失业4个月45次面试经历,与君共勉
- 非网络引用element-ui css导致图标无法正常显示的解决办法
- 面面俱到的Java接口自动化测试实战
- ESP32 ESP-IDF开发环境搭建,Windows下基于ESP-IDF | Cmake | VScode插件的 ESP32 开发环境搭建
- Tensorflow(r1.4)API--tf.nn.conv2d详解
- vivoz3android版本多少,谁更值得买—荣耀V10 OR vivo Z3
- Echarts制作标签云图
- 线程(一)伤害不大,侮辱性极强——idm与多人运动
- AtCoder Grand Contest 058 B Adjacent Chmax
- IDEA “Cannot resolve symbol” 解决办法
- win10卸载软件通过控制面板
- 玩客云安装linux系统的好处,玩客云armbian安装aria2+ariaNG过程记录
- sublime text 打开txt文档乱码问题
- 【区块链】虚拟货币钱包
- CAD进阶练习(二)
- websocket连接服务端一直超时并失败
- 关于pip安装gap_statistic
- Zhong__交换机各种情况下端口快速启动方法
- Category 的理解