Linux内存:物理内存管理概述

内存中的物理内存管理

概述

一般来说,linux内核一般将处理器的虚拟地址空间划分为2部分。底部比较大的部分用于用户进程,顶部则专用于内核。
在IA-32系统上,地址空间在用户进程和内核之间划分的典型比例是3:1。给出4GB的虚拟地址空间,3GB用于用户空间,而1GB用户内核。
4GB是32位系统上可以寻址的最大内存2的32次方为4GB。

在64位计算机上,由于可用的地址空间非常巨大,因此不需要搞点内存模式。

有2中类型的计算机以不同方法管理内存

  1. UMA计算机

一致性内存访问,uniform mmeory access,将可用内存以连续方式组织起来。SMP系统中的每个处理器访问各个内存区都是一样快。

  1. NUMA计算机

非一致内存访问,non-uniform memory access,多处理器计算机。系统的各个CPU都有自己本地内存,可支持特别快速访问。各个处理器通过总线连接起来,以支持对其他CPU的本地内存的访问,比访问本地内存慢些。

(N)UMA模型中的内存组织

内核对一致和非一致内存访问系统使用相同的数据结构,因此针对各种不同形式内存布局,各个算法几乎没有什么差别。在UMA系统上,只使用一个NUMA节点来管理整个系统内存。而内存管理的其他部分则相信他们是在处理一个伪NUMA系统。

首先,内存划分为节点node,用page_date_t表示。每个节点关联到系统的一个处理器。
然后内存进一步细分。比如对可用于(ISA设备的)DMA操作的内存区是有限制。只有前16M适用,还有一个高端内存区域无法映射。在2者之间还有通用的用于“普通”内存区。因此一个节点由3个内存区域组成。

  • ZONE_DMA
    标记适合DMA的区域。该区域的长度依赖于处理器类型。在IA-32计算机上,一般限制是16M。

  • ZONE_DMA32
    标记了使用32位地址可寻址、适合DMA的内存区域。显然,只有在64位系统上,2种DMA内存域才有差别。在32位计算机上,该内存是空的,即长度为 0M。在AMD64系统上,该内存的长度可能从0到4GB。

  • ZONE_NORMAL
    标记了可直接映射到内核段的普通内存区域。这是在所有体系结构上保证都会存在的唯一内存区域,但无法保证该地址范围对应了实际的物理内存。eg:在AMD64系统有2GB内存,那么所在内存都属于ZONE_DMA32范围,而ZONE_NORMAL则为空。

  • ZONE_HIGHMEM
    标记了超出内核段的物理内存。

此外内存标记了一个伪内存ZONE_MOVABLE,防止物理内存碎片的机制中需要使用该内存区域。

各个内存域都关联了一个数组,用来组织属于该内存域的物理内存页(内核称为页帧)。对于每个页帧,都分配了一个struct page 实例以及所需的管理数据。

graph TD NODE[NODE pg_data_t] -->|ZONE| B(zone) B --> dma[ZONE_DMA] B --> normal[ZONE_NORMAL] normal -->D[page] normal -->E[page] normal -->F[page] B --> high[ZONE_HIGHMEM]

pg_data_t 表示节点node的基本元素

数据架构

1. 节点管理
pg_data_t 基本元素
<mmzone.h>

typedef struct pglist_data {
    struct zone node_zones[MAX_NR_ZONES];  //包含了节点中各内存域的数据结构
    struct zonelist node_zonelists[MAX_ZONELISTS];//指定了备用节点以及其内存域的列表
    int nr_zones; //节点中不同内存域的数目保存此变量中

//指向 page 实例数组的指针,用于描述结点的所有物理内存页。它包含了结点中所有内存域的页
    struct page *node_mem_map;

    struct bootmem_data *bdata;
    unsigned long node_start_pfn;
    unsigned long node_present_pages; /* 物理内存页的总数 */
    unsigned long node_spanned_pages; /* 物理内存页的总长度,包含洞在内 */
    int node_id;
    struct pglist_data *pgdat_next;
    wait_queue_head_t kswapd_wait;
    struct task_struct *kswapd;
    int kswapd_max_order;
} pg_data_t;

2. 内存域
内存使用zone来描述内存域
<mmzone.h>

struct zone {
    /*通常由页分配器访问的字段 */
    unsigned long pages_min, pages_low, pages_high;
    unsigned long lowmem_reserve[MAX_NR_ZONES];
    struct per_cpu_pageset pageset[NR_CPUS];
    
    /*
    * 不同长度的空闲区域
    */
    spinlock_t lock;
    struct free_area free_area[MAX_ORDER];
    ZONE_PADDING(_pad1_)
    
    /* 通常由页面收回扫描程序访问的字段 */
    spinlock_t  lru_lock;
    struct list_head active_list;
    struct list_head inactive_list;
    unsigned long nr_scan_active;
    unsigned long nr_scan_inactive;
    unsigned long pages_scanned; /* 上一次回收以来扫描过的页 */
    unsigned long flags; /* 内存域标志,见下文 */
    
    /* 内存域统计量 */
    atomic_long_t vm_stat[NR_VM_ZONE_STAT_ITEMS];
    int prev_priority;
    ZONE_PADDING(_pad2_)
    
   ... ...
} ____cacheline_maxaligned_in_smp;

3. 页帧
页帧代表系统内存的最小单位,对内存中的每个页都会创建struct page 的一个实例。内核程序需要注意保持该结构尽可能小,系统内存同样会分解为大量的页。比如IA-32系统标准页程度为4KB,在主内存为384M时,大约共有100 000页。 内存管理的许多部分都是用页。
<mm_types.h>

struct page {
  ... ...
  union {
      atomic_t _mapcount; /* 内存管理子系统中映射的页表项计数,
      * 用于表示页是否已经映射,还用于限制逆向映射搜索。
      */
      unsigned int inuse; /* 用于SLUB分配器:对象的数目 */
  };
  ... ...
}

page 的定义

<mm.h>
struct page {
        unsigned long flags; /* 原子标志,有些情况下会异步更新 */
        atomic_t _count; /* 使用计数,见下文。 */
        union {
            atomic_t _mapcount; /* 内存管理子系统中映射的页表项计数,
            * 用于表示页是否已经映射,还用于限制逆向映射搜索。
            */
            unsigned int inuse; /* 用于SLUB分配器:对象的数目 */
    };
    union {
        struct {
            unsigned long private; /* 由映射私有,不透明数据:
            * 如果设置了PagePrivate,通常用于buffer_heads;
            * 如果设置了PageSwapCache,则用于swp_entry_t;
            * 如果设置了PG_buddy,则用于表示伙伴系统中的阶。
            */
            struct address_space *mapping; /* 如果最低位为0,则指向inode
            * address_space,或为NULL。
            * 如果页映射为匿名内存,最低位置位,
            * 而且该指针指向anon_vma对象:
            * 参见下文的PAGE_MAPPING_ANON。
            */
        };
        ...
        struct kmem_cache *slab; /* 用于SLUB分配器:指向slab的指针 */
        struct page *first_page; /* 用于复合页的尾页,指向首页 */
    };
    union {
        pgoff_t index; /* 在映射内的偏移量 */
        void *freelist; /* SLUB: freelist req. slab lock */
    };
    struct list_head lru; /* 换出页列表,例如由zone->lru_lock保护的active_list!
    */
    
    #if defined(WANT_PAGE_VIRTUAL)
        void *virtual; /* 内核虚拟地址(如果没有映射则为NULL,即高端内存) */
    #endif /* WANT_PAGE_VIRTUAL */
};

上面的代码看起来很多,要了解具体的步骤还是参考相应的书籍来看

页表

层次化的页表用于支持大地址空间快速、高效的管理。
页表用于建立用户进程的虚拟地址空间和系统物理内存(内存、页帧)之间的关联。页表用于向每个进程提供一致的虚拟地址空间。应用程序看到的地址空间是一个连续的内存区。该表也将虚拟地址映射到了物理内存,因此支持共享内存实现。

初始化内存管理

内存初始化,在许多CPU上,必须显示设置适用于Linux内核的内存模型。例如在IA32系统上必须先切换到保护模式,然后内核才能检测可用内存和寄存器。在初始化过程中,还必须建立内存管理的数据结构,一起许多其他事务。

start_kernel的代码流程图:

graph TD a[start_kernel] --> b[setup_arch] b-->c[setup_pr_cpu_areas] c-->d[build_all_zonelists] d-->e[mem_init] e-->f[setup_per_cpu_pageset]
  • setup_arch 是一个特定于体系结构的设置函数,其中一项任务是负责初始化自举分配器。
  • 在SMP系统上, setup_per_cpu_areas 初始化源代码中(使用 per_cpu 宏)定义的静态 per-cpu
    变量,这种变量对系统中的每个CPU都有一个独立的副本。此类变量保存在内核二进制映像的
    一个独立的段中。 setup_per_cpu_areas 的目的是为系统的各个CPU分别创建一份这些数据
    的副本。
    在非SMP系统上该函数是一个空操作。
  • build_all_zonelists 建立结点和内存域的数据结构(见下文)。
  • mem_init 是另一个特定于体系结构的函数,用于停用bootmem分配器并迁移到实际的内存管
    理函数,稍后讨论。
  • kmem_cache_init 初始化内核内部用于小块内存区的分配器。
  • setup_per_cpu_pageset 从上文提到的 struct zone ,为 pageset 数组的第一个数组元素分配
    内存。分配第一个数组元素,换句话说,就是意味着为第一个系统处理器分配。系统的所有
    内存域都会考虑进来。

物理内存的管理

内核初始化完成后,内存管理的责任就由伙伴系统承担了。

伙伴系统的结构

系统内存中的每个物理内存页(页帧),都对应一个struct page实例。 每个内存域都关联了一个struct zone的实例。
<mmzone.h>

struct zone {
    ... ...
    /*
    * 不同长度的空闲区域
    */
    struct free_area free_area[MAX_ORDER];
    ... ...
};

free_area 是一个辅助数据结构
<mmzone.h>

struct free_area {
struct list_head free_list[MIGRATE_TYPES];
unsigned long nr_free;
};

nr_free 自定了当前内存区中空间页块的数目(对0阶内存逐页计算,对1阶内存区计算页对的数目,对2阶内存区计算页对的数据,依次类推)。
free_list 用于连接空闲的链表。
free_area[] 数组中各个元素的所有也解释为阶,用于指定对于链表中的连续内存区包含多少个帧。 第0个链表包含的内存为单页2的零次方为1,第1个链表管理的内存区为2页(2的一次方),依次类推。

slab分配器

内核也经常分配内存。但是用上面伙伴系统分配内存太大了。如果需要一个10个字符的字符串分配空间,分配一个4KB或者更多空间的页面,浪费空间。解决方案就是将页拆分为更小的单位,可以容纳大量的小对象。

slab不仅能作为小内存的分配器,也可以作为一种缓存使用,主要是针对经常分配并释放的对象。通过建立slab缓存,内核就能储备一些对象,供后续使用。

原文地址:https://www.cnblogs.com/jiujuan/p/12054692.html