【Linux 内存管理】1 进程地址空间 - VMA

1、进程地址空间概述

• 进程地址空间(process address space)是指进程可寻址的虚拟地址空间。
• 在64位的处理器中，进程可以寻址256TB的用户态地址空间，但是进程没权限去寻址内核空间的虚拟地址，只能通过系统调用的方式间接访问。而用户空间的进程地址空间则和可以被合法访问，地址空间称为内存区域（memory area）。
• 进程可以通过内核的内存管理机制动态地添加和删除这些内存区域，这些内存区域在Linux内核采用VMA数据结构来抽象描述。
• 每个内存区域具有相关的权限，如可读、可写或者可执行权限。若一个进程访问了不在有效范围的内存区域，或者非法访问了内存区域，或者以不正确的方式访问了内存区域，那么处理器会报告缺页异常。在Linux内核的缺页异常处理中会处理这些情况，严重的会报告Sement Fault，并终止该进程。

进程地址空间 - 内存区域

1. 代码段映射，可执行文件中包含只读并可执行的程序头，如代码段和init段等。
2. 数据段映射，可执行文件中包含可读/可写的程序头，如数据段和未初始化数据段等。
3. 用户进程栈，通常位于用户空间的最高地址，从上往下延申。
   • 它包含栈帧，里边包含局部变量和函数调用参数等。
   • 注不要和内核栈混淆，进程的内核栈独立存在并由内核维护，主要用于上下文切换
4. mmap区域，位于用户栈下面，主要用于mmap系统调用，如映射一个文件的内容到进程地址空间等。
5. 堆区域，malloc函数分配的进程虚拟地址就是这段区域。

• 进程地址空间里的每个区域相互不重叠。
• 进程地址空间分配的虚拟地址一样，也不会内存区域重叠
• 进程地址空间是每个进程可以寻址的虚拟地址空间，每个进程在执行时都仿佛拥有了整个CPU内存资源。

64位Linux虚拟内存空间整体布局

2、mm_struct 数据结构

struct mm_struct {
    struct vm_area_struct *mmap;                                //进程里所有VMA形成的一个单链表头
    struct rb_root mm_rb;                                       //进程里所有VMA管理的红黑树
    unsigned long (*get_unmapped_area) (struct file *filp,      //在进程地址空间中搜索有效线性地址空间的方法
                    unsigned long addr, unsigned long len,      //用于判断虚拟内存空间是否有足够的空间，返回一段没映射过的空间起始地址，
                    unsigned long pgoff, unsigned long flags);  //与具体架构相关
    unsigned long mmap_base;                                    //指向mmap空间的起始地址，在32位下mmap起始地址为0x4000 0000      
    pgd_t *pgd;                                                 //指向进程的PGD页表（一级页表）。
    atomic_t mm_users;                                          //记录正在使用该进程地址空间的进程数目，如果两个线程共享该地址空间，则为2.
    int map_count;                                            //记录该进程所拥有的 VMA 的总数
    atomic_t mm_count;                                          //mm_struct 结构的主引用计数
    spinlock_t page_table_lock;                                 //
    struct rw_semaphore mmap_sem;                               //保护VMA的一个读写信号量
    struct list_head mmlist;                                    //所有的mm_struct数据结构都链接到一个双向链表中，该链表头为init_mm内存描述符(init进程的地址空间)
    unsigned long total_vm;                                     //已经使用的进程地址空间总和   
    unsigned long start_code,end_code,start_data,end_data;      //代码段/数据段的起始地址和结束地址  
    unsigned long start_brk, brk, start_stack;                  //堆空间的起始地址和当前堆中VMA的结束地址
    ...    
};

• 首先每个进程有一个进程控制块即 task_struct 结构体，来完整描述一个进程的所有信息，在加载程序的时，内核会创建task_struct结构体，
• 然后每个独立的进程都有自己的虚拟空间即 mm成员指向的mm_struct数据结构。
• task_struct 结构体包含一个mm_struct 结构体成员，
  • mm_struct结构体包含一个vm_area_struct结构体成员mmap，
  • 然后mmap成员指向一个VMA链表，管理所有VMA。