连续内存分区式内存管理

目录

  • 前言
  • 分区式内存管理
  • 动态分区内存管理
  • 总结

本笔记参考黄工的https://mp.weixin.qq.com/s/k0W_LqI1zBAYC1GU1U2HQA

前言

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

  • 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算法的变种,具有更好的内存拆分和回收合并效率。
    伙伴算法有很多种类,比如BinaryBuddiesFibonacci 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,依次类推
    在内存回收时,如果待回收的内存块与空闲链表中的一块内存互为伙伴,则将它们合并为一块更大的内存块。如果合并后的内存块在空闲链表中还有伙伴,则继续合并到不能合并为止,并将合并后的内存块挂到对应的空闲链表中,
    在这里插入图片描述

总结

在这里插入图片描述

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

用DEVC++作图

小海豚学NOIP&#xff0c;老师说要用DEV C。 小海豚喜欢画图&#xff0c;记得以前用C#编些程序给她看。可前一阵打开看&#xff0c;我的免费Visual Studio过期了。可恶的Microsoft &#xff0c;不想用盗版难道就要每个月就下载一次&#xff1f; 于是就用DEV C的Windows调用吧。…

Python服务器开发三:Socket

Python服务器开发三&#xff1a;Socket socket是操作系统中I/O的延续&#xff0c;它可以使进程和机器之间的通信成为可能。socket可以看成一个标准的文件描述符。不同的是文件需要用open()函数打开&#xff0c;而socket用socket() 函数建立.recv()、send()函数和read()、write(…

Syntax error: Bad for loop variable解决办法

在Ubuntu下写的shell文件t.sh执行时出现错误&#xff1a; 1 t.sh: 6: Syntax error: Bad for loop variable 从ubuntu 6.10开始&#xff0c;ubuntu就将之前默认的bash shell更换成了dash shell&#xff0c;其表现为/bin/sh链接倒了/bin/dash&#xff0c;而不是传统的/bin/bash&…

Linux命令常见

摘自&#xff1a; 常考的 21 条 Linux 命令 目录&#xff09;cd,切换路径ls,查看文件与目录的命令cp,用于复制文件mv,用于移动文件、目录cat,查看文件内容find&#xff0c;文件搜索文件权限命令&#xff0c; 设置权限&#xff0c;-取消权限文本处理命令打包和压缩文件命令进程相…

记一次调试

这是我最近几个月来遇到的最棘手的一个问题&#xff1a;* 昨天花了4个小时找出第一层次的原因这个纠结啊&#xff0c;本来和老婆说好准时下班回家吃饭的&#xff0c;结果被这个问题拖了老久。这是一个gradle的plugin&#xff0c;用来resolve公司内部的dependency的&#xff0c;…

OSGi.NET 学习笔记 [模块化和插件化][小结]

【目录】-【模块化和插件化】-【小结】 现在我们来对OSGi.NET的“模块化和插件化”做一个小结&#xff0c;再次把官方的说明拿出来  1&#xff09; 物理隔离&#xff1a;基于UIOSP开发的模块是一个物理隔离的可单独部署的模块&#xff0c;每一个模块拥有独立的文件夹、类型空…

miniob :相关环境配置

How to build 参考视频&#xff1a;https://www.bilibili.com/video/BV1gv411A7oA?spm_id_from333.999.0.0将代码下载并且安装编译。 git clone失败的话参考&#xff1a;https://blog.csdn.net/sxg0205/article/details/81412921 install cmakebuild libevent git submodul…

Fedora 20 配置

前几天装了fedora 20, 断断续续的进行了以下配置&#xff1a; 1. 安装oracle java及jdk版本切换 安装的过程很简单&#xff0c;从oracle官网上下载jdk及jre的rpm包&#xff0c;使用rpm -ivh 安装。但是遇到一个问题&#xff0c;因为fedora系统自带了openJDK,如果安装oracle的jd…

raft算法学习(一):角色概念以及选举过程

Raft算法是强领导模型&#xff0c;集群中只能有一个领导。 下面是raft的视频讲解&#xff1a; raft raft的三种角色及其概念 服务器节点状态一共有三种&#xff1a;领导者&#xff08;Leader&#xff09;、跟随着&#xff08;Follower&#xff09;、候选人&#xff08;Candid…

解决 FLex 4.0 Module里面Alert.show();出错问题

TypeError: Error #1009: 无法访问空对象引用的属性或方法。 at mx.managers::PopUpManagerImpl/http://www.adobe.com/2006/flex/mx/internal::createModalWindow()[E:\dev\hero_private\frameworks\projects\framework\src\mx\managers\PopUpManagerImpl.as:701] at mx.manag…

datetime2 数据类型

.net的Entity Framework构建网站数据层&#xff0c;给一个实体的DATETIME类型的属性赋值时 突然莫名奇妙显示有一个类型不匹配的异常如下&#xff1a; System.Data.SqlClient.SqlException: 从 datetime2 数据类型到 datetime 数据类型的转换产生一个超出范围的值。 解决方法&a…

Yslow的A评级指南

这里测的是V2引擎&#xff0c;V1想拿A几乎不可能&#xff0c;一个CDN测试的F就可以轻松废了你的网站。 A评级 现在一个一个分析。 User fewer HTTP Requests&#xff1a;减少HTTP请求 图片、CSS、JS、flash等这些都需要增加http请求数&#xff0c;减少这些元素的数量能减少响应…

jquery下 选择器整理

jQuery 的选择器可谓之强大无比&#xff0c;这里简单地总结一下常用的元素查找方法 $("#myELement") 选择id值等于myElement的元素&#xff0c;id值不能重复在文档中只能有一个id值是myElement所以得到的是唯一的元素 $("div") 选择所有的di…

git日常使用教程

目录git日常使用git 基础用法(本地)git branchgit checkoutgit mergegit rebaseHEAD ,在提交树上移动相对引用强制修改分支位置撤销变更整理提交记录提交技巧Git TagsGit Describegit 基础用法(远程)git fetchgit pullgit push偏离的提交历史&#xff0c;十分重要&#xff01;&…

android一键分享功能不使用任何第三方sdk

在android中有自带的一键分享功能&#xff0c;不过它会把所有带分享的应用都找出来&#xff0c;如果我们只需要一些常见的分享应用&#xff0c;该如何做呢&#xff1f; 下面看我的效果图&#xff08;横屏和竖屏自动适配&#xff09;&#xff1a; 接下来看我的调用&#xff08;支…

包含EditText组件的界面中,禁止自动弹出软键盘

解决方法&#xff1a; 1&#xff09;在Manifest.xml文件中相应的activity下添加一下代码&#xff1a;android:windowSoftInputMode"stateHidden"2&#xff09;让EditText失去焦点&#xff0c;使用EditText的clearFocus方法 例如&#xff1a;EditText edit(EditText)f…

gcc 编译器使用指南

目录安装准备test.cpp编译g 编译参数-g &#xff1a;编译带调试信息的可执行文件-O[n] &#xff1a;开启优化-l 和 -L &#xff1a;指定库文件 | 指定库文件路径-I &#xff1a;指定头文件搜索目录-Wall 和 -w&#xff1a;打印警告信息 | 关闭警告信息-stdc11 &#xff1a;设置…

bug found:定义对象时

看下面代码 class Test{ }; class Test2{public:Test2(Test *t){}};int main(){Test test();//把定义一个对象 “Test test;” 写成 “Test test();”函数声明了&#xff01;Test2 test2(&test);//return 0;}Dev-cpp的提示信息&#xff1a; no matching function for c…

CMake学习使用(基于vscode)

目录语法一些重要指令CMake常用变量CMake编译工程编译流程两种构建方式实例展示参考&#xff1a; 基于VSCode和CMake实现C/C开发 | Linux篇 语法 基本语法格式&#xff1a;指令(arg1 arg2 …) 参数使用括弧括起来参数之间使用空格或者分号分开 指令是大小写无关的&#xff0…

idhttp.post方式 调用datasnap rest 远程方法

idhttp.get方式调用&#xff0c;这种比较简单&#xff0c;大家都会。post方式网上却没有任何成功的代码&#xff0c;本人也是摸索了一个上午才搞定。 分享给大家。 &#xff08;1&#xff09;post方式调用的远程方法&#xff0c;方法名必须加“update”前缀&#xff0c;不加行不…