阿里云-云小站(无限量代金券发放中)
【腾讯云】云服务器、云数据库、COS、CDN、短信等热卖云产品特惠抢购

程序员必读:Linux内存管理剖析

32次阅读
没有评论

共计 2123 个字符,预计需要花费 6 分钟才能阅读完成。

本文由 LinuxProbe.Com 团队成员 魏丽猿 整理发布,点此查看 最新 Linux 资讯

现在的服务器大部分都是运行在 Linux 上面的,所以作为一个程序员有必要简单地了解一下系统是如何运行的。
对于内存部分需要知道:

  1. 地址映射
  2. 内存管理的方式
  3. 缺页异常

先来看一些基本的知识,在进程看来,内存分为内核态和用户态两部分,经典比例如下:

程序员必读:Linux 内存管理剖析
从用户态到内核态一般通过系统调用、中断来实现。用户态的内存被划分为不同的区域用于不同的目的:

程序员必读:Linux 内存管理剖析

当然内核态也不会无差别地使用,所以,其划分如下:

程序员必读:Linux 内存管理剖析

下面来仔细看这些内存是如何管理的。

地址

在 Linux 内部的地址的映射过程为逻辑地址–> 线性地址–> 物理地址,物理地址最简单:地址总线中传输的数字信号,而线性地址和逻辑地址所表示的则是一种转换规则,线性地址规则如下:

程序员必读:Linux 内存管理剖析

这部分由 MMU 完成,其中涉及到主要的寄存器有 CR0、CR3。机器指令中出现的是逻辑地址,逻辑地址规则如下:

程序员必读:Linux 内存管理剖析

在 Linux 中的逻辑地址等于线性地址,也就是说 Inter 为了兼容把事情搞得很复杂,Linux 简化顺便偷个懒。

内存管理的方式

在系统 boot 的时候会去探测内存的大小和情况,在建立复杂的结构之前,需要用一个简单的方式来管理这些内存,这就是 bootmem,简单来说就是位图,不过其中也有一些优化的思路。

bootmem 再怎么优化,效率都不高,在要分配内存的时候毕竟是要去遍历,buddy 系统刚好能解决这个问题:在内部保存一些 2 的幂次大小的空闲内存片段,如果要分配 3page,去 4page 的列表里面取一个,分配 3 个之后将剩下的 1 个放回去,内存释放的过程刚好是一个逆过程。用一个图来表示:

程序员必读:Linux 内存管理剖析

可以看到 0、4、5、6、7 都是正在使用的,那么,1、2 被释放的时候,他们会合并吗?

static inline unsigned long
__find_buddy_index(unsigned long page_idx, unsigned int order)
{return page_idx ^ (1 << order);// 更新最高位,0~1 互换
}

从上面这段代码中可以看到,0、1 是 buddy,2、3 是 buddy,虽然 1、2 相邻,但他们不是。内存碎片是系统运行的大敌,伙伴系统机制可以在一定程度上防止碎片~~ 另外,我们可以通过 cat /proc/buddyinfo 获取到各 order 中的空闲的页面数。

伙伴系统每次分配内存都是以页(4KB)为单位的,但系统运行的时候使用的绝大部分的数据结构都是很小的,为一个小对象分配 4KB 显然是不划算了。Linux 中使用 slab 来解决小对象的分配:

程序员必读:Linux 内存管理剖析

在运行时,slab 向 buddy“批发”一些内存,加工切块以后“散卖”出去。随着大规模多处理器系统和 NUMA 系统的广泛应用,slab 终于暴露出不足:

  1. 复杂的队列管理
  2. 管理数据和队列存储开销较大
  3. 长时间运行 partial 队列可能会非常长
  4. 对 NUMA 支持非常复杂

为了解决这些高手们开发了 slub:改造 page 结构来削减 slab 管理结构的开销、每个 CPU 都有一个本地活动的 slab(kmem_cache_cpu)等。对于小型的嵌入式系统存在一个 slab 模拟层 slob,在这种系统中它更有优势。

小内存的问题算是解决了,但还有一个大内存的问题:用伙伴系统分配 10 x 4KB 的数据时,会去 16 x 4KB 的空闲列表里面去找(这样得到的物理内存是连续的),但很有可能系统里面有内存,但是伙伴系统分配不出来,因为他们被分割成小的片段。那么,vmalloc 就是要用这些碎片来拼凑出一个大内存,相当于收集一些“边角料”,组装成一个成品后“出售”:

程序员必读:Linux 内存管理剖析

之前的内存都是直接映射的,第一次感觉到页式管理的存在:D 另外对于高端内存,提供了 kmap 方法为 page 分配一个线性地址。

进程由不同长度的段组成:代码段、动态库的代码、全局变量和动态产生数据的堆、栈等,在 Linux 中为每个进程管理了一套虚拟地址空间:

程序员必读:Linux 内存管理剖析

在我们写代码 malloc 完以后,并没有马上占用那么大的物理内存,而仅仅是维护上面的虚拟地址空间而已,只有在真正需要的时候才分配物理内存,这就是 COW(COPY-ON-WRITE: 写时复制)技术,而物理分配的过程就是最复杂的缺页异常处理环节了,下面来看!

缺页异常

在实际需要某个虚拟内存区域的数据之前,和物理内存之间的映射关系不会建立。如果进程访问的虚拟地址空间部分尚未与页帧关联,处理器自动引发一个缺页异常。在内核处理缺页异常时可以拿到的信息如下:

  1. cr2:访问到线性地址
  2. err_code:异常发生时由控制单元压入栈中,表示发生异常的原因
  3. regs:发生异常时寄存器的值

处理的流程如下:

程序员必读:Linux 内存管理剖析

发生缺页异常的时候,可能因为不常使用而被 swap 到磁盘上了,swap 相关的命令如下:

swapon                        开启 swap
swapoff                       关闭 swap
/proc/sys/vm/swapiness        分值越大越积极使用 swap,可以修改 /etc/sysctl.conf 中添加 vm.swappiness=xx[1-100]来修改

如果内存是 mmap 映射到内存中的,那么在读、写对应内存的时候也会产生缺页异常。

阿里云 2 核 2G 服务器 3M 带宽 61 元 1 年,有高配

腾讯云新客低至 82 元 / 年,老客户 99 元 / 年

代金券:在阿里云专用满减优惠券

正文完
星哥说事-微信公众号
post-qrcode
 0
星锅
版权声明:本站原创文章,由 星锅 于2024-07-25发表,共计2123字。
转载说明:除特殊说明外本站文章皆由CC-4.0协议发布,转载请注明出处。
【腾讯云】推广者专属福利,新客户无门槛领取总价值高达2860元代金券,每种代金券限量500张,先到先得。
阿里云-最新活动爆款每日限量供应
评论(没有评论)
验证码
【腾讯云】云服务器、云数据库、COS、CDN、短信等云产品特惠热卖中