前言

内存管理模块主要负责内存的初始化、分配以及释放。
从分配内存是否连续可以分为两大类：

1、连续内存管理
为进程分配的内存空间是连续的，但这种分配方式容易形成内存碎片，降低内存利用率。连续内存管理主要分为单一连续内存管理和分区内存管理两种。
2、非连续内存管理
将进程分散到多个不连续的内存空间种，可以减少内存碎片，内存使用率更高。如果分配的基本单位是页，则称为分页式内存管理；如果基本单位式段，则称为分段式内存管理

目前的OS主要采用非连续内存管理。对于内存较小的嵌入式系统，一般采用连续内存管理。
这里详细讲解连续内存管理的分区式内存管理，当然了解相关原理后也可以用于自己构建相关内存池。

分区式内存管理

分区式内存管理分为固定分区和动态分区

固定分区
事先就把内存划分为若干个固定大小的区域。分区大小既可以相等也可以不等。固定分区易于实现，但是会造成分区内碎片浪费，而且分区总数固定，限制了可以并发执行的进程数
动态分区
根据进程的实际需要，动态地给进程分配所需内存

动态分区内存管理

运作机制：
动态分区管理一般采用空闲链表法，即基于一个双向链表来保存空闲分区。对于初始状态，整个内存块都会被作为一个大的空闲分区加入到空闲链表中。当进程申请内存时，将会从这个空闲链表种找到一个大小满足要求地空闲分区。如果分区大于所需内存，则从该分区中拆分出需求大小地内存交给进程，并将此拆分出的内存从空闲链表中移除，剩下的内存仍然是一个挂在空闲链表上的空闲分区。
数据结构
空闲链表法有多种数据结构实现方式，这里介绍一种较为简单的数据结构。每个空闲分区的数据结构中包含分区大小，以及指向前一个分区和后一个分区的指针，这样就能将各个空闲分区链接成一个双向链表。

内存分配算法

First Fit（首次适应算法）
First Fit要求空闲分区链表以地址从小到大顺序链接。分配内存时，从链表的第一个空闲分区开始查找，将最先能够满足要求的空闲分区分配给进程。
Next Fit（循环首次适应算法）
该算法由FF算法演变而来。分配内存时，从上一次刚分配过的空闲分区的下一个开始查找，直到找到能满足要求的空闲分区。查找时会采用循环查找的方式，即如果直到链表最后一个空闲分区都不满足，则返回到第一个空闲分区开始查找
Best Fit（最佳适应算法）
从所有空闲分区中找到能满足要求的、且大小最小的空闲分区。为了加快查找速度，BF算法会把所有空闲分区按其容量从小到大的顺序链接起来，这样第一次找到的满足大小要求的内存必然是最小的空闲分区
与此相反的有个Worst Fit最坏适应算法，它是找到大小最大的空闲分区，然后按照容量从大到小顺序链接所有空闲分区块
Two LevelSegregated Fit（TLSF）
使用两层链表来管理空闲内存，将空闲分区大小进行分类
每个类用一个空闲链表表示，其中空闲内存大小都在某个特定值或者范围内。这样存在多个空闲链表，所以又用一个索引链表来管理这些空闲链表，该表的每一项都对应一种空闲链表，并记录该类空闲链表的表头指针。

第一层链表将空闲块的大小根据2的幂次进行分类。
第二层链表是具体的每一类空闲内存块按照一定的范围进行线性分段
同时为了快速检索到空闲块，每一层链表都有一个bitmap用于标记对应的链表中是否有空闲块。
如第一层bitmap后三位010，表示2^5这一类内存区间有空闲块。对应的第二层bitmap为0100表示【25+16，25+24）这个区间有空闲块
伙伴算法
该算法为TLSF算法的变种，具有更好的内存拆分和回收合并效率。
伙伴算法有很多种类，比如BinaryBuddies、Fibonacci Buddies等。Binary Buddies是最简单也是最流行的一种。
将所有空闲分区根据分区的大小进行分类，每一类都是具有相同大小的空闲分区的集合，使用一个空闲双向链表表示。BinaryBuddies中所有的内存分区都是2的幂次方。
无论是已分配还是空闲的分区，其大小都是2的幂次方，即使进程申请的内存小于分配给它的内存块，多余的内存也不会再拆分出来给其他进程使用，这样就容易造成内部碎片。
当进程申请一块大小为n的内存时的分配步骤为：
1、计算一个i值，使得2 ^ i-1< n ≤2 ^ i
2、在空闲分区大小为2 ^ i 的空闲链表中查找
3、如果找到空闲块，则分配给进程
4、如果2 ^ i的空闲分区已经耗尽，则在分区大小为2 ^ i+1的空闲链表中查找
5、如果存在2 ^i+1 的空闲分区，则将此空闲块分为相等的两个分区，这两个分区就是一对伙伴，其中一块分配给进程，另一块挂到分区大小为2 ^ i的空闲链表中
6、如果2 ^ i+1 的空闲分区还是不存在，则继续查找大小为2 ^ i+2 的空闲分区。如果找到，需要进行两次拆分。第一次拆分为两块大小为2 ^ i+1的空闲分区，一块挂到2 ^ i+1的空闲链表中，另一块分区继续拆分为两块大小为2 ^ i的空闲分区，一块分配给进程，另一块挂到大小为2 ^ i的空闲链表中
7、如果2 ^ i+2的空闲分区也找不到，则继续查找2 ^ i+3，依次类推
在内存回收时，如果待回收的内存块与空闲链表中的一块内存互为伙伴，则将它们合并为一块更大的内存块。如果合并后的内存块在空闲链表中还有伙伴，则继续合并到不能合并为止，并将合并后的内存块挂到对应的空闲链表中，

总结

连续内存分区式内存管理相关推荐

动态分区式内存管理（完整代码）
操作系统实验导航实验一:银行家算法 https://blog.csdn.net/weixin_46291251/article/details/115384510 实验二:多级队列调度和多级反馈队列 ...
区分-JVM内存分区和Java内存模型（Java Memory Model）
也是最近被问到了Java内存模型,学识浅薄,一直以为内存分区和内存模型是一个东西,现在做一下笔记整理一下以区分和学习这两个概念及其延伸的一些知识点. 开门见山解决问题 JVM内存分区具体指的是JVM ...
linux内存管理之内存节点和内存分区（Zone）
https://www.cnblogs.com/youngerchina/p/5624516.html Linux支持多种硬件体系结构,因此Linux必须采用通用的方法来描述内存,以方便对内存进行管理 ...
Linux 操作系统原理 — 内存 — 页式管理、段式管理与段页式管理
目录文章目录目录前文列表页式管理快表多级页表基于页表的虚实地址转换原理应用 TLB 快表提升虚实地址转换速度页式虚拟存储器工作的全过程缺页中断为什么 Linux 默认页大小是 4 ...
【OS学习笔记】三十保护模式九：段页式内存管理机制概述
上几篇文章学习了任务切换相关知识,如下: [OS学习笔记]二十六保护模式八:任务门-任务切换 [OS学习笔记]二十七保护模式八:任务切换的方法之----jmp与call的区别以及任务的中断嵌套今 ...
22-23 - 页式内存管理
---- 整理自狄泰软件唐佐林老师课程查看所有文章链接:(更新中)深入浅出操作系统 - 目录文章目录 1. 段式内存管理回顾 1.1 段式内存管理介绍 1.2 软硬件技术的发展 1.2.1 可行的 ...
操作系统【五】分段内存管理+段页式内存管理
基本分段存储管理与分页最大的区别:离散分配时所分配地址空间的基本单位不同进程的地址空间:按照程序自身的逻辑关系划分为若干个段,每个段都有一个段名,每段从0开始编址内存分配规则:以段位单位进行分配 ...
Java内存管理（一）--内存分区
出处:http://blog.sina.com.cn/s/blog_7d0e75ab01016vio.html Java提供的内存管理机制是一把双刃剑.好处是java虚拟机帮你完成了几乎所有内存管理的 ...
ARM和英特尔的386系列内存管理MMU硬件机制不同，ARM是基于协处理CP15（核心是C2 TTRB0,1）分页式，386是以段寄存器和CR3寄存器分段分页式内存管理
ARM和英特尔的386系列内存管理MMU硬件机制不同,ARM是基于协处理CP15(核心是C2 TTRB0,1)分页式,386是以段寄存器和CR3寄存器分段分页式内存管理

连续内存分区式内存管理

目录

前言

分区式内存管理

动态分区内存管理

总结

连续内存分区式内存管理相关推荐

最新文章

热门文章