Linux内存管理6---伙伴算法与slab
1.前言
本文所述关于内存管理的系列文章主要是对陈莉君老师所讲述的内存管理知识讲座的整理。
本讲座主要分三个主题展开对内存管理进行讲解:内存管理的硬件基础、虚拟地址空间的管理、物理地址空间的管理.
本文将主要以X86架构为例来介绍伙伴算法和slab分配
2.伙伴算法概述
- 块链表
Linux的伙伴算法将所有的空闲页面分成MAX_ORDER+1(MAX_ORDER默认大小为11)个块链表
每个链表中的一个节点指向一个含有2的幂次个页面的块,即页块或简称块
图 伙伴算法结构实例图
0:每个页块的大小为1个页
1:每个页块的大小为2个页
。。。
MAX_ORDER:每个页块的大小为2的MAX_ORDER次方个页
- 伙伴
大小相同、物理地址连续的两个页块称为伙伴
- 伙伴算法工作原理
首先在大小满足要求的块链表中查找是否有空闲块,若有则直接分配,否则在更大的块的块链表中查找;
逆过程是块的释放,此时会把满足伙伴关系的块合并,组成一个更大的块,并插入到相应的块链表中
3.与伙伴算法有关的数据结构
每个页框对应一个struct page实例
每个内存区关联一个struct zone区域,该结构中用free_area数组对空闲页框进行管理
4.物理内存管理机制
- 伙伴算法
负责大块连续物理内存的分配和释放,以页框为基本单位,避免外部碎片
- slab缓存
负责小块物理内存的分配,并且它也作为一个缓存,主要针对内核中经常分配并释放的对象
- per-CPU页框缓存
内核经常请求和释放单个页框,该缓存包含预先分配的页框,用于满足本地CPU发出的单一页框请求
5.伙伴算法分配原理
- 伙伴算法的分配原理
如果分配阶为i的页框块,那么先从第i条页框块链表中查找是否存在这么大小的空闲块。如果有则分配,否则在第i+1条链表中继续查找,直到找到为止
- 伙伴算法分配举例
如果申请大小为8个(分配阶为3)页的页块,但却在页块大小为32(分配阶为5)的链表中找到空闲块,则先将这32个页面对半等分,前一半作为分配使用,另一半作为新元素插入下级大小为16(分配阶为4)的链表中;
继续将前一半大小为16的页块等分,一半分配,另一半插入大小为8(分配阶为3)的链表中
6. 页框分配的实现
5节描述的伙伴算法通过__rmqueue()主要调用如下两个函数:
- __rmqueue_smallest()
在指定的内存分配区上,从说请求分配阶order对应的链表开始查找所需大小的空闲块,如果不成功者从高一阶的链表上继续查找
- expand()
如果所得到的内存块大于说请求的内存块,则按照伙伴算法的分配原理将大的页框块分裂为小的页框块
7.物理内存分配器
基于伙伴算法、每CPU高速缓存和slab高速缓存形成两种内存分配器
- 分区页框分配器(zoned page frame allocator)
处理对连续页框的内存分配请求。分区页框分配器分为两大部分:前端的管理区分配器和伙伴系统
管理区分配器负责搜索一个能满足请求页框大小的管理区;
在每个管理区中,具体的页框分配工作由伙伴系统负责,为了达到更好的性能,单个页框的申请直接由每cpu页框高速缓存完成
图 分区页框分配器示例图
- slab分配器
将各种分配对象分区放进高速缓存,即每个高速缓存都对同类型分配对象的一种“储备”
8. 页框分配函数的关系图
图 页框分配函数的关系
- 内核有6个稍有差别的函数或宏来请求物理页框,他们将核心的分配函数__alloc_pages_nodemask封装满足不同的分配需求
- 绿色函数返回线性地址,蓝色函数返回页块的首页框描述符的地址
- __alloc_pages_nodemask是对分区页框分配器的具体体现
9. malloc的最终具体
进程调用malloc()->
获得一块虚拟内存->
内存访问,如果还未分配物理内存->
发生缺页异常->
内核调用__alloc_pages为进程分配物理页框,并将物理内存和虚拟内存的映射关系写入页表
Linux内存管理6---伙伴算法与slab的更多相关文章
- 伙伴系统之伙伴系统概述--Linux内存管理(十五)
在内核初始化完成之后, 内存管理的责任就由伙伴系统来承担. 伙伴系统基于一种相对简单然而令人吃惊的强大算法. Linux内核使用二进制伙伴算法来管理和分配物理内存页面, 该算法由Knowlton设计, ...
- Linux内存管理 (5)slab分配器
专题:Linux内存管理专题 关键词:slab/slub/slob.slab描述符.kmalloc.本地/共享对象缓冲池.slabs_partial/slabs_full/slabs_free.ava ...
- Linux内存管理之slab分配器
slab分配器是什么? 参考:http://blog.csdn.net/vanbreaker/article/details/7664296 slab分配器是Linux内存管理中非常重要和复杂的一部分 ...
- Linux内存管理 - slab分配器和kmalloc
本文目的在于分析Linux内存管理机制的slab分配器.内核版本为2.6.31.1. SLAB分配器 内核需要经常分配内存,我们在内核中最常用的分配内存的方式就是kmalloc了.前面讲过的伙伴系统只 ...
- Linux内存管理原理
本文以32位机器为准,串讲一些内存管理的知识点. 1. 虚拟地址.物理地址.逻辑地址.线性地址 虚拟地址又叫线性地址.linux没有采用分段机制,所以逻辑地址和虚拟地址(线性地址)(在用户态,内核态逻 ...
- Linux内存管理原理【转】
转自:http://www.cnblogs.com/zhaoyl/p/3695517.html 本文以32位机器为准,串讲一些内存管理的知识点. 1. 虚拟地址.物理地址.逻辑地址.线性地址 虚拟地址 ...
- Windows内存管理和linux内存管理
windows内存管理 windows 内存管理方式主要分为:页式管理,段式管理,段页式管理. 页式管理的基本原理是将各进程的虚拟空间划分为若干个长度相等的页:页式管理把内存空间按照页的大小划分成片或 ...
- alloc_page分配内存空间--Linux内存管理(十七)
1 前景回顾 在内核初始化完成之后, 内存管理的责任就由伙伴系统来承担. 伙伴系统基于一种相对简单然而令人吃惊的强大算法. Linux内核使用二进制伙伴算法来管理和分配物理内存页面, 该算法由Know ...
- 启动期间的内存管理之bootmem_init初始化内存管理–Linux内存管理(十二)
1. 启动过程中的内存初始化 首先我们来看看start_kernel是如何初始化系统的, start_kerne定义在init/main.c?v=4.7, line 479 其代码很复杂, 我们只截取 ...
随机推荐
- Centos7下Zabbix3.4至Zabbix4.0的升级步骤
点击返回:自学Zabbix之路 点击返回:自学Zabbix4.0之路 点击返回:自学zabbix集锦 Centos7下Zabbix3.4至Zabbix4.0的升级步骤 查看现在centos版本和zab ...
- 自学Linux Shell19.2-gawk程序高级特性
点击返回 自学Linux命令行与Shell脚本之路 19.2-gawk程序高级特性 linux世界中最广泛使用的两个命令行编辑器: sed gawk 1. gawk使用变量 编程语言共有的特性是使用变 ...
- HTML for android 移动小球
<html> <head> <title>球</title> <style type="text/css"> .test ...
- 通过 powershell 配置 IIS
1. 设置iis pool: cls Import-Module WebAdministration Get-ChildItem IIS:\apppools | ForEach-Object{ ...
- JS循环语句!
<1> for(1.初始值(初始值只有一次):2.判断条件:4.状态改变){ 3.执行语句: //如果判断条件为true,则进入死循环:不设执行语句浏览器会未响应: } <2> ...
- 【codevs4919】线段树练习4
题目大意:维护一个长度为 N 的序列,支持两种操作:区间加,区间查询有多少数是 7 的倍数. 题解:在每个线段树中维护一个权值数组 [0,6],由于个数显然支持区间可加性,因此可用线段树来维护. 代码 ...
- javascript:window.location.replace 与 window.location.reload() 刷新页面的不同效果
今天早上我发现一个问题,当一个网页的地址最后面是一个#时(比如:http://www.baidu.com/go.asp#), 执行:window.location.replace(window.loc ...
- JSP总结(二)—Cookie(汇总)
注:后缀为汇总的基本上是整理一些网上的. 1. 什么是Cookie Cookie是Web服务器保存在用户硬盘上的一段文本.Cookie允许一个Web站点在用户电脑上保存信息并且随后再取回它 ...
- MySQL索引的使用方式和缺点
一,create CREATE INDEX可对表增加普通索引或UNIQUE索引. CREATE INDEX index_name ON table_name (column_list) CREATE ...
- JUnit报错 java.lang.Exception:No tests found matching
将 @RunWith(SpringRunner.class)@SpringBootTestpublic class BusinessTest { @Test public void getList() ...