内存学习(二):物理地址空间虚拟地址空间布局

简介: 内存学习(二):物理地址空间虚拟地址空间布局

虚拟地址空间布局

一、虚拟地址空间划分

因为目前应用程序没有那么大的内存需求,所以ARM64处理器不支持完全的64位虚拟地址,实际支持情况如下。

1-虚拟地址位宽

  • (1)虚拟地址的最大宽度是48位,如图所示。
    内核虚拟地址在64位地址空间的顶部,高16位是全1,范围是[0xFFFF 0000 0000 0000,0xFFFF FFFF FFFF FFFF];
    用户虚拟地址在64位地址空间的底部,高16位是全0,范围是[0x00000000 0000 0000,0x0000 FFFF FFFF FFFF];
    高16位是全1或全0的地址称为规范的地址,两者之间是不规范的地址,不允许使用。

图片

  • (2)如果处理器实现了ARMv8.2标准的大虚拟地址(Large Virtual Address,LVA)支持,并且页长度是64KB,那么虚拟地址的最大宽度是52位
  • (3)可以为虚拟地址配置比最大宽度小的宽度,并且可以为内核虚拟地址和用户虚拟地址配置不同的宽度。
    转换控制寄存器(Translation Control Register)TCR_EL1的字段T0SZ定义了必须是全0的最高位的数量字段T1SZ定义了必须是全1的最高位的数量,用户虚拟地址的宽度是(64-TCR_EL1.T0SZ),内核虚拟地址的宽度是(64-TCR_EL1.T1SZ)。 (全是0是代表的用户,全是1代表的是内核。)
  • (4)编译ARM64架构的Linux内核时,可以选择虚拟地址宽度
  • (1)如果选择页长度4KB,默认的虚拟地址宽度是39位。
  • (2)如果选择页长度16KB,默认的虚拟地址宽度是47位。
  • (3)如果选择页长度64KB,默认的虚拟地址宽度是42位。
  • (4)可以选择48位虚拟地址。
  • 在ARM64架构的Linux内核中,内核虚拟地址和用户虚拟地址的宽度相同
    所有进程共享内核虚拟地址空间
    每个进程有独立的用户虚拟地址空间
    同一个线程组的用户线程共享用户虚拟地址空间,内核线程没有用户虚拟地址空间。

二、用户虚拟地址空间布局

前面了解了一下虚拟地址的划分其中包含了用户和内核。现在我们就用户的单独来看看这个空间布局是如何的。

1-用户虚拟地址的起始地址

进程的用户虚拟地址空间的起始地址是0,长度是TASK_SIZE,由每种处理器架构定义自己的宏TASK_SIZE。ARM64架构定义的宏TASK_SIZE如下所示。

  • (1)32位用户空间程序:TASK_SIZE的值是TASK_SIZE_32,即0x100000000,等于4GB。
  • (2)64位用户空间程序:TASK_SIZE的值是TASK_SIZE_64,即2VA_BITS字节,VA_BITS是编译内核时选择的虚拟地址位数。
arch/arm64/include/asm/memory.h
    #define VA_BITS          (CONFIG_ARM64_VA_BITS)
    #define TASK_SIZE_64     (UL(1) << VA_BITS)
    #ifdef CONFIG_COMPAT    /* 支持执行32位用户空间程序 */
    #define TASK_SIZE_32     UL(0x100000000)
    /* test_thread_flag(TIF_32BIT)判断用户空间程序是不是32位 */
    #define TASK_SIZE       (test_thread_flag(TIF_32BIT) ? \
                      TASK_SIZE_32 : TASK_SIZE_64)
    #define TASK_SIZE_OF(tsk)  (test_tsk_thread_flag(tsk, TIF_32BIT) ? \
                      TASK_SIZE_32 : TASK_SIZE_64)
    #else
    #define TASK_SIZE    TASK_SIZE_64
    #endif /* CONFIG_COMPAT */

2-用户虚拟地址空间包含内容

进程的用户虚拟地址空间包含以下区域。

  • (1)代码段、数据段和未初始化数据段。
  • (2)动态库的代码段、数据段和未初始化数据段。
  • (3)存放动态生成的数据的堆。
  • (4)存放局部变量和实现函数调用的栈。
  • (5)存放在栈底部的环境变量和参数字符串。
  • (6)把文件区间映射到虚拟地址空间的内存映射区域。

3-内存描述符mm_struct

内核使用内存描述符mm_struct描述进程的用户虚拟地址空间,内存描述符的主要成员如表所示。

图片

进程描述符(task_struct)中和内存描述符相关的成员如表所示。

图片

4-mm_struct与task_struct的关系

  • 如果进程不属于线程组
    那么进程描述符和内存描述符的关系如图所示,进程描述符的成员mm和active_mm都指向同一个内存描述符,内存描述符的成员mm_users是1、成员mm_count是1。

图片

  • 如果两个进程属于同一个线程组
    那么进程描述符和内存描述符的关系如图下所示,每个进程的进程描述符的成员mm和active_mm都指向同一个内存描述符,内存描述符的成员mm_users是2、成员mm_count是1。

图片

内核线程的进程描述符和内存描述符的关系如下图所示,内核线程没有用户虚拟地址空间,当内核线程没有运行的时候,进程描述符的成员mm和active_mm都是空指针

当内核线程运行的时候,借用上一个进程的内存描述符,在被借用进程的用户虚拟地址空间的上方运行,进程描述符的成员active_mm指向借用的内存描述符,假设被借用的内存描述符所属的进程不属于线程组,那么内存描述符的成员mm_users不变,仍然是1,成员mm_count加1变成2。

图片

5-随机的起始地址

为了使缓冲区溢出攻击更加困难,内核支持为内存映射区域、栈和堆选择随机的起始地址。进程是否使用虚拟地址空间随机化的功能,由以下两个因素共同决定。

  • (1)进程描述符的成员personality(个性化)是否设置ADDR_NO_RANDOMIZE。
  • (2)全局变量randomize_va_space:0表示关闭虚拟地址空间随机化,1表示使内存映射区域和栈的起始地址随机化,2表示使内存映射区域、栈和堆的起始地址随机化。可以通过文件“/proc/sys/kernel/randomize_va_space”修改。
mm/memory.c
int randomize_va_space __read_mostly =
#ifdef CONFIG_COMPAT_BRK
                    1;
#else
                    2;
#endif

为了使旧的应用程序(基于libc5)正常运行,默认打开配置宏CONFIG_COMPAT_BRK,禁止堆随机化。所以默认配置是使内存映射区域和栈的起始地址随机化。

6-内存映射区域的布局

栈通常自顶向下增长,当前只有惠普公司的PA-RISC处理器的栈是自底向上增长。栈的起始地址是STACK_TOP,默认启用栈随机化,需要把起始地址减去一个随机值。STACK_TOP是每种处理器架构自定义的宏,ARM64架构定义的STACK_TOP如下所示:如果是64位用户空间程序,STACK_TOP的值是TASK_SIZE_64;如果是32位用户空间程序,STACK_TOP的值是异常向量的基准地址0xFFFF0000。

arch/arm64/include/asm/processor.h
    #define STACK_TOP_MAX         TASK_SIZE_64
    #ifdef CONFIG_COMPAT  /* 支持执行32位用户空间程序 */
    #define AARCH32_VECTORS_BASE  0xffff0000
    #define STACK_TOP   (test_thread_flag(TIF_32BIT) ? \
                      AARCH32_VECTORS_BASE : STACK_TOP_MAX)
    #else
    #define STACK_TOP    STACK_TOP_MAX
    #endif /* CONFIG_COMPAT */

内存映射区域的起始地址是内存描述符的成员mmap_base。如下图所示,用户虚拟地址空间有两种布局,区别是内存映射区域的起始位置和增长方向不同

图片

  • (1)传统布局:内存映射区域自底向上增长,起始地址是TASK_UNMAPPED_BASE,每种处理器架构都要定义这个宏,ARM64架构定义为TASK_SIZE/4。默认启用内存映射区域随机化,需要把起始地址加上一个随机值。传统布局的缺点是堆的最大长度受到限制,在32位系统中影响比较大,但是在64位系统中这不是问题。
  • (2)新布局:内存映射区域自顶向下增长,起始地址是(STACK_TOP − 栈的最大长度 − 间隙)。默认启用内存映射区域随机化,需要把起始地址减去一个随机值。

当进程调用execve以装载ELF文件的时候,函数load_elf_binary将会创建进程的用户虚拟地址空间。函数load_elf_binary创建用户虚拟地址空间的过程如下图3.7所示。

图片

如果没有给进程描述符的成员personality设置标志位ADDR_NO_RANDOMIZE(该标志位表示禁止虚拟地址空间随机化),并且全局变量randomize_va_space是非零值,那么给进程设置标志PF_RANDOMIZE,允许虚拟地址空间随机化。

1-arch_pick_mmap_layout

各种处理器架构自定义的函数arch_pick_mmap_layout负责选择内存映射区域的布局。ARM64架构定义的函数arch_pick_mmap_layout如下:

arch/arm64/mm/mmap.c
    1   void arch_pick_mmap_layout(struct mm_struct *mm)
    2   {
    3    unsigned long random_factor = 0UL;
    4
    5    if (current->flags & PF_RANDOMIZE)
    6         random_factor = arch_mmap_rnd();
    7
    8    if (mmap_is_legacy()) {
    9         mm->mmap_base = TASK_UNMAPPED_BASE + random_factor;
    10        mm->get_unmapped_area = arch_get_unmapped_area;
    11    } else {
    12        mm->mmap_base = mmap_base(random_factor);
    13        mm->get_unmapped_area = arch_get_unmapped_area_topdown;
    14    }
    15   }
    16
    17   static int mmap_is_legacy(void)
    18   {
    19    if (current->personality & ADDR_COMPAT_LAYOUT)
    20         return 1;
    21
    22    if (rlimit(RLIMIT_STACK) == RLIM_INFINITY)
    23         return 1;
    24
    25    return sysctl_legacy_va_layout;
    26   }

第8~10行代码,如果给进程描述符的成员personality设置标志位ADDR_COMPAT_LAYOUT表示使用传统的虚拟地址空间布局,或者用户栈可以无限增长,或者通过文件“/proc/sys/vm/legacy_va_layout”指定,那么使用传统的自底向上增长的布局,内存映射区域的起始地址是TASK_UNMAPPED_BASE加上随机值,分配未映射区域的函数是arch_get_unmapped_area。

第11~13行代码,如果使用自顶向下增长的布局,那么分配未映射区域的函数是arch_get_unmapped_area_topdown,内存映射区域的起始地址的计算方法如下:

arch/arm64/include/asm/elf.h
    #ifdef CONFIG_COMPAT
    #define STACK_RND_MASK         (test_thread_flag(TIF_32BIT) ? \
                                    0x7ff >> (PAGE_SHIFT - 12) : \
                                    0x3ffff >> (PAGE_SHIFT - 12))
    #else
    #define STACK_RND_MASK         (0x3ffff >> (PAGE_SHIFT - 12))
    #endif
    arch/arm64/mm/mmap.c
    #define MIN_GAP (SZ_128M + ((STACK_RND_MASK << PAGE_SHIFT) + 1))
    #define MAX_GAP (STACK_TOP/6*5)
    static unsigned long mmap_base(unsigned long rnd)
    {
          unsigned long gap = rlimit(RLIMIT_STACK);
          if (gap < MIN_GAP)
                gap = MIN_GAP;
          else if (gap > MAX_GAP)
                gap = MAX_GAP;
          return PAGE_ALIGN(STACK_TOP - gap - rnd);
    }

先计算内存映射区域的起始地址和栈顶的间隙:初始值取用户栈的最大长度,限定不能小于“128MB + 栈的最大随机偏移值 + 1”,确保用户栈最大可以达到128MB;限定不能超过STACK_TOP的5/6。内存映射区域的起始地址等于“STACK_TOP−间隙−随机值”,然后向下对齐到页长度。

回到函数load_elf_binary:函数setup_arg_pages把栈顶设置为STACK_TOP减去随机值,然后把环境变量和参数从临时栈移到最终的用户栈;函数set_brk设置堆的起始地址,如果启用堆随机化,把堆的起始地址加上随机值。

fs/binfmt_elf.c
    static int load_elf_binary(struct linux_binprm *bprm)
    {
          retval = setup_arg_pages(bprm, randomize_stack_top(STACK_TOP),
                          executable_stack);
          retval = set_brk(elf_bss, elf_brk, bss_prot);
          if ((current->flags & PF_RANDOMIZE) && (randomize_va_space > 1)) {
                current->mm->brk = current->mm->start_brk =
                    arch_randomize_brk(current->mm);
          }
    }

三、内核地址空间布局

ARM64处理器架构的内核地址空间布局如图所示。

图片

(VASTART起始位置)

1-线性区域

  • 线性映射区域的范围是[PAGE_OFFSET, 2^64−1],起始位置是PAGE_OFFSET =(0xFFFF FFFF FFFF FFFF << (VA_BITS-1)),长度是内核虚拟地址空间的一半称为线性映射区域的原因是虚拟地址和物理地址是线性关系:

虚拟地址 =((物理地址 − PHYS_OFFSET)+ PAGE_OFFSET),其中PHYS_OFFSET是内存的起始物理地址。

2-vmemmap区域

  • vmemmap区域的范围是[VMEMMAP_START, PAGE_OFFSET),长度是VMEMMAP_SIZE =(线性映射区域的长度 / 页长度 * page结构体的长度上限)。
  • 内核使用page结构体描述一个物理页,内存的所有物理页对应一个page结构体数组。如果内存的物理地址空间不连续,存在很多空洞,称为稀疏内存。vmemmap区域是稀疏内存的page结构体数组的虚拟地址空间。

3-PCI I/O区域

PCI I/O区域的范围是[PCI_IO_START, PCI_IO_END),长度是16MB,结束地址是PCI_IO_END = (VMEMMAP_START − 2MB)。外围组件互联(Peripheral Component Interconnect, PCI)是一种总线标准,PCI I/O区域是PCI设备的I/O地址空间。

4-固定映射区域

(4)固定映射区域的范围是[FIXADDR_START, FIXADDR_TOP),长度是FIXADDR_SIZE,结束地址是FIXADDR_TOP = (PCI_IO_START − 2MB)。

固定地址是编译时的特殊虚拟地址,编译的时候是一个常量,在内核初始化的时候映射到物理地址。

5-vmalloc区域

vmalloc区域的范围是[VMALLOC_START, VMALLOC_END),起始地址是VMALLOC_START,等于内核模块区域的结束地址,结束地址是VMALLOC_END = (PAGE_OFFSET −PUD_SIZE − VMEMMAP_SIZE − 64KB),其中PUD_SIZE是页上级目录表项映射的地址空间的长度。

vmalloc区域是函数vmalloc使用的虚拟地址空间,内核使用vmalloc分配虚拟地址连续但物理地址不连续的内存。

内核镜像在vmalloc区域,起始虚拟地址是(KIMAGE_VADDR + TEXT_OFFSET) ,其中KIMAGE_VADDR是内核镜像的虚拟地址的基准值,等于内核模块区域的结束地址MODULES_END; TEXT_OFFSET是内存中的内核镜像相对内存起始位置的偏移。

6-内核模块区域

(6)内核模块区域的范围是[MODULES_VADDR, MODULES_END),长度是128MB,起始地址是MODULES_VADDR =(内核虚拟地址空间的起始地址 +KASAN影子区域的长度)。内核模块区域是内核模块使用的虚拟地址空间。

7-KASAN影子区域

(7)KASAN影子区域的起始地址是内核虚拟地址空间的起始地址,长度是内核虚拟地址空间长度的1/8内核地址消毒剂(Kernel Address SANitizer, KASAN)是一个动态的内存错误检查工具。它为发现释放后使用和越界访问这两类缺陷提供了快速和综合的解决方案。

目录
相关文章
|
30天前
|
安全 程序员 编译器
动态内存管理学习分享
动态内存管理学习分享
45 0
|
3月前
|
Linux
linux内存不足,调整swap空间
linux内存不足,调整swap空间
34 0
|
1月前
|
存储 算法 内存技术
深入理解操作系统内存管理:从虚拟内存到物理内存
【2月更文挑战第30天】 在现代计算机系统中,操作系统的内存管理是确保系统高效稳定运行的关键组成部分。本文将深入探讨操作系统内存管理的复杂世界,特别是虚拟内存和物理内存之间的关联与转换机制。通过分析分页系统的工作原理、虚拟地址空间的结构以及页面置换算法,文章旨在为读者提供一个清晰的框架,以理解内存管理在操作系统中的重要性和实现细节。
|
1月前
|
存储 算法 Java
【Java】Java的内存空间
【Java】Java的内存空间
22 2
|
1月前
|
Python
Python中如何判断两个对象的内存地址是否一致?
Python中如何判断两个对象的内存地址是否一致?
18 0
|
1月前
|
存储 C语言
【C语言】深入理解取地址符&:与内存地址的联系
【C语言】深入理解取地址符&:与内存地址的联系
114 0
|
1月前
|
Java Python
|
1月前
|
存储 缓存 Linux
|
2月前
|
SQL Java 数据库连接
Flink内存问题之超出物理内存如何解决
Apache Flink是由Apache软件基金会开发的开源流处理框架,其核心是用Java和Scala编写的分布式流数据流引擎。本合集提供有关Apache Flink相关技术、使用技巧和最佳实践的资源。
|
3月前
|
编译器 C++
C++学习总结——内存管理和模板初阶
C++学习总结——内存管理和模板初阶
26 0