面试不懂 Linux 内存管理?我用 20 张图给你讲明白( 二 )

  • 栈 stack栈是用户存放程序临时创建的局部变量,也就是函数中定义的变量(但不包括 static 声明的变量,static意味着在数据段中存放变量) 。除此以外,在函数被调用时,其参数也会被压入发起调用的进程栈中,并且待到调用结束后,函数的返回值也会被存放回栈中 。由于栈的先进先出特点,所以栈特别方便用来保存/恢复调用现场 。从这个意义上讲,我们可以把堆栈看成一个寄存、交换临时数据的内存区 。
  • 上述几种内存区域中数据段、BSS 段、堆通常是被连续存储在内存中,在位置上是连续的,而代码段和栈往往会被独立存放 。堆和栈两个区域在 i386 体系结构中栈向下扩展、堆向上扩展,相对而生 。
    面试不懂 Linux 内存管理?我用 20 张图给你讲明白

    文章插图
     
    你也可以在linux下用size 命令查看编译后程序的各个内存区域大小:
    [lemon ~]# size /usr/local/sbin/sshdtextdatabssdechex filename192453212412426896 23638402411c0 /usr/local/sbin/sshd内核空间在 x86 32 位系统里,Linux 内核地址空间是指虚拟地址从 0xC0000000 开始到 0xFFFFFFFF 为止的高端内存地址空间,总计 1G 的容量,包括了内核镜像、物理页面表、驱动程序等运行在内核空间。
    面试不懂 Linux 内存管理?我用 20 张图给你讲明白

    文章插图
     
    内核空间细分区域.
    直接映射区直接映射区 Direct Memory Region:从内核空间起始地址开始,最大896M的内核空间地址区间,为直接内存映射区 。
    直接映射区的896MB的「线性地址」直接与「物理地址」的前896MB进行映射,也就是说线性地址和分配的物理地址都是连续的 。内核地址空间的线性地址0xC0000001所对应的物理地址为0x00000001,它们之间相差一个偏移量PAGE_OFFSET = 0xC0000000
    该区域的线性地址和物理地址存在线性转换关系「线性地址 = PAGE_OFFSET + 物理地址」也可以用 virt_to_phys()函数将内核虚拟空间中的线性地址转化为物理地址 。
    高端内存线性地址空间内核空间线性地址从 896M 到 1G 的区间,容量 128MB 的地址区间是高端内存线性地址空间,为什么叫高端内存线性地址空间?下面给你解释一下:
    前面已经说过,内核空间的总大小 1GB,从内核空间起始地址开始的 896MB 的线性地址可以直接映射到物理地址大小为 896MB 的地址区间 。
    退一万步,即使内核空间的1GB线性地址都映射到物理地址,那也最多只能寻址 1GB 大小的物理内存地址范围 。
    请问你现在你家的内存条多大?快醒醒都 0202 年了,一般 PC 的内存都大于 1GB 了吧!
    所以,内核空间拿出了最后的 128M 地址区间,划分成下面三个高端内存映射区,以达到对整个物理地址范围的寻址 。而在 64 位的系统上就不存在这样的问题了,因为可用的线性地址空间远大于可安装的内存 。
    动态内存映射区vmalloc Region 该区域由内核函数vmalloc来分配,特点是:线性空间连续,但是对应的物理地址空间不一定连续 。vmalloc 分配的线性地址所对应的物理页可能处于低端内存,也可能处于高端内存 。
    永久内存映射区Persistent Kernel MApping Region 该区域可访问高端内存 。访问方法是使用 alloc_page (_GFP_HIGHMEM) 分配高端内存页或者使用kmap函数将分配到的高端内存映射到该区域 。
    固定映射区Fixing kernel Mapping Region 该区域和 4G 的顶端只有 4k 的隔离带,其每个地址项都服务于特定的用途,如 ACPI_BASE 等 。
    面试不懂 Linux 内存管理?我用 20 张图给你讲明白

    文章插图
     
    内核空间物理内存映射
    回顾一下上面讲的有点多,先别着急进入下一节,在这之前我们再来回顾一下上面所讲的内容 。如果认真看完上面的章节,我这里再画了一张图,现在你的脑海中应该有这样一个内存管理的全局图 。
    面试不懂 Linux 内存管理?我用 20 张图给你讲明白

    文章插图
     
    内核空间用户空间全图
    内存数据结构要让内核管理系统中的虚拟内存,必然要从中抽象出内存管理数据结构,内存管理操作如「分配、释放等」都基于这些数据结构操作,这里列举两个管理虚拟内存区域的数据结构 。
    用户空间内存数据结构在前面「进程与内存」章节我们提到,Linux进程可以划分为 5 个不同的内存区域,分别是:代码段、数据段、BSS、堆、栈,内核管理这些区域的方式是,将这些内存区域抽象成vm_area_struct的内存管理对象 。


    推荐阅读