Linux内核机制总结内存管理之页表(十八)

文章目录

    • 1 页表
      • 1.1 统一的页表框架
      • 1.2 ARM64处理器的页表

  • 重要:本系列文章内容摘自基于ARM64架构的Linux4.x内核一书,作者余华兵。系列文章主要用于记录Linux内核的大部分机制及参数的总结说明

1 页表

1.1 统一的页表框架

页表用来把虚拟页映射到物理页,并且存放页的保护位,即访问权限。
在Linux 4.11版本以前,Linux内核把页表分为4级:
(1)页全局目录(Page Global Directory,PGD)。
(2)页上层目录(Page Upper Directory,PUD)。
(3)页中间目录(Page Middle Directory,PMD)。
(4)直接页表(Page Table,PT)。

4.11版本把页表扩展到五级,在页全局目录和页上层目录之间增加了页四级目录(Page 4th Directory,P4D)。

各种处理器架构可以选择使用五级、四级、三级或两级页表,同一种处理器架构在页长度不同的情况可能选择不同的页表级数。可以使用配置宏CONFIG_PGTABLE_LEVELS配置页表的级数,一般使用默认值。
如果选择四级页表,那么使用页全局目录、页上层目录、页中间目录和直接页表;如果选择三级页表,那么使用页全局目录、页中间目录和直接页表;

如果选择两级页表,那么使用页全局目录和直接页表。

如果不使用页中间目录,那么内核在头文件“include/asm-generic/pgtable-nopmd.h”中模拟页中间目录,调用函数pmd_offset()根据页上层目录表项和虚拟地址获取页中间目录表项的时候,直接把页上层目录表项指针强制转换成页中间目录表项指针并返回,访问页中间目录表项实际上是在访问页上层目录表项:

typedef struct { pud_t pud; } pmd_t;

static inline pmd_t * pmd_offset(pud_t * pud, unsigned long address)
{
     return (pmd_t *)pud;
}

同样,如果不使用页上层目录,那么内核在头文件“include/asm-generic/pgtable-nopud.h”中模拟页上层目录;

如果不使用页四级目录,那么内核在头文件“include/asm-generic/ pgtable-nop4d.h”中模拟页四级目录。

五级页表的结构如下所示,每个进程有独立的页表,进程的mm_struct实例的成员pgd指向页全局目录,前面四级页表的表项存放下一级页表的起始地址,直接页表的表项存放页帧号(Page Frame Number,PFN):
Linux内核机制总结内存管理之页表(十八)_第1张图片
内核也有一个页表,0号内核线程的进程描述符init_task的成员active_mm指向内存描述符init_mm,内存描述符init_mm的成员pgd指向内核的页全局目录swapper_pg_dir。

虚拟地址被分解为6个部分:页全局目录索引、页四级目录索引、页上层目录索引、页中间目录索引、直接页表索引和页内偏移。

查询页表,把虚拟地址转换成物理地址的过程如下:
(1)根据页全局目录的起始地址和页全局目录索引得到页全局目录表项的地址,然后从表项得到页四级目录的起始地址。
(2)根据页四级目录的起始地址和页四级目录索引得到页四级目录表项的地址,然后从表项得到页上层目录的起始地址。
(3)根据页上层目录的起始地址和页上层目录索引得到页上层目录表项的地址,然后从表项得到页中间目录的起始地址。
(4)根据页中间目录的起始地址和页中间目录索引得到页中间目录表项的地址,然后从表项得到直接页表的起始地址。
(5)根据直接页表的起始地址和直接页表索引得到页表项的地址,然后从表项得到页帧号。
(6)把页帧号和页内偏移组合成物理地址。

内核定义了各级页表索引在虚拟地址中的偏移:宏PAGE_SHIFT是页内偏移的位数,也是直接页表索引的偏移;宏PMD_SHIFT是页中间目录索引的偏移;宏PUD_SHIFT是页上层目录索引的偏移;宏P4D_SHIFT是页四级目录索引的偏移;宏PGDIR_SHIFT是页全局目录索引的偏移。

内核定义了各级页表表项描述的地址空间的大小:宏PGDIR_SIZE是一个页全局目录表项映射的地址空间的大小;宏P4D_SIZE是一个页四级目录表项映射的地址空间的大小;宏PUD_SIZE是一个页上层目录表项映射的地址空间的大小;宏PMD_SIZE是一个页中间目录表项映射的地址空间的大小;宏PAGE_SIZE是一个直接页表项映射的地址空间的大小,也是页长度。

内核定义了各级页表能存放的指针数量,即表项数量:PTRS_PER_PGD是页全局目录的表项数量;PTRS_PER_P4D是页四级目录的表项数量;
PTRS_PER_PUD是页上层目录的表项数量;PTRS_PER_PMD是页中间目录的表项数量;PTRS_PER_PTE是直接页表的表项数量。

内核定义了各级页表占用的页的阶数:PGD_ORDER是一个页全局目录占用的页的阶数;P4D_ORDER是一个页四级目录占用的页的阶数;
PUD_ORDER是一个页上层目录占用的页的阶数;PMD_ORDER是一个页中间目录占用的页的阶数;PTE_ORDER是一个直接页表占用的页的阶数。

页全局目录表项的数据结构是pgd_t;页四级目录表项的数据结构是p4d_t;页上层目录表项的数据结构是pud_t;页中间目录表项的数据结构是pmd_t;直接页表项的数据结构是pte_t。这些数据结构通常是只包含一个无符号长整数的结构体,例如页全局目录表项的定义如下:

typedef struct { unsigned long pgd; } pgd_t;

以页全局目录为例,内核定义了以下宏和内联函数:
(1)宏pgd_val()用来把pgd_t类型转换成无符号长整数:

#define pgd_val(x)  ((x).pgd)

(2)宏__pgd()用来把无符号长整数转换成pgd_t类型:

#define __pgd(x)((pgd_t) { (x) } )

(3)宏pgd_index(address)用来从虚拟地址分解出页全局目录索引:

#define pgd_index(address)(((address) >> PGDIR_SHIFT) & (PTRS_PER_PGD-1))

(4)宏pgd_offset(mm, addr)用来返回指定进程的虚拟地址对应的页全局目录表项的地址。
内核定义了宏“pgd_offset_k(address)”,用来在内核的页全局目录找到虚拟地址对应的表项:

#define pgd_offset_k(address)   pgd_offset(&init_mm, address)

(5)内联函数pgd_none(pgd)用来判断页全局目录表项是空表项,空表项没有指向下一级页表,如果是空表项,那么返回非零值。
(6)内联函数pgd_present(pgd)用来判断页全局目录表项是否存在,即是否指向下一级页表,如果表项指向下一级页表,那么返回非零值。

前四级页表的表项存放下一级页表的起始地址,直接页表存放页帧号和标志位。大多数处理器支持的最小页长度是4KB,有些处理器支持1KB的页长度,可以使用页帧号以外的位作为标志位。

不同处理器架构的页表项的格式不同,为了屏蔽差异性,每种处理器架构自定义访问的宏或内联函数:宏pte_pfn(x)从页表项取出页帧号,宏pfn_pte(pfn, prot)把页帧号和标志位组合成页表项。

有些标志位是要求每种处理器架构都必须实现的,每种处理器架构定义宏或内联函数来访问这些标志位,例如:
(1)pte_present(pte)检查页是否在内存中,如果不在内存中,说明页被换出到交换区;
(2)pte_write(pte)检查页是否可写;
(3)pte_young(pte)检查页是否被访问过;
(4)pte_dirty(pte)检查页是不是脏的,即页的数据是不是被修改过;

各种处理器架构也可以定义私有的标志位。

1.2 ARM64处理器的页表

ARM64处理器把页表称为转换表(translation table),最多4级。ARM64处理器支持3 种页长度:4KB、16KB和64KB。页长度和虚拟地址的宽度决定了转换表的级数,如果虚拟地址的宽度是48位,页长度和转换表级数的关系如下所示。

(1)页长度是4KB:使用4级转换表,转换表和内核的页表术语的对应关系是:0级转换表对应页全局目录,1级转换表对应页上层目录,2级转换表对应页中间目录,3级转换表对应直接页表。

48位虚拟地址被分解为如下所示:
Linux内核机制总结内存管理之页表(十八)_第2张图片
每级转换表占用一页,有512项,索引是48位虚拟地址的9个位。

(2)页长度是16KB:使用4级转换表,转换表和内核的页表术语的对应关系是:0级转换表对应页全局目录,1级转换表对应页上层目录,2级转换表对应页中间目录,3级转换表对应直接页表。

48位虚拟地址被分解为如下所示:
Linux内核机制总结内存管理之页表(十八)_第3张图片
0级转换表有2项,索引是48位虚拟地址的最高位;其他转换表占用一页,有2048项,索引是48位虚拟地址的11个位。

(3)页长度是64KB:使用3级转换表,转换表和内核的页表术语的对应关系是:1级转换表对应页全局目录,2级转换表对应页中间目录,3级转换表对应直接页表。
48位虚拟地址被分解为如下所示:
Linux内核机制总结内存管理之页表(十八)_第4张图片
1级转换表有64项,索引是48位虚拟地址的最高6位;其他转换表占用一页,有8192项,索引是48位虚拟地址的13个位。

ARM64处理器把表项称为描述符(descriptor),使用64位的长描述符格式。描述符的第0位指示描述符是不是有效的:0表示无效,1表示有效;第1位指定描述符类型,如下:
(1)在第0~2级转换表中,0表示块(block)描述符,1表示表(table)描述符。块描述符存放一个内存块(即巨型页)的起始地址,表描述符存放下一级转换表的地址。
(2)在第3级转换表中,0表示保留描述符,1表示页描述符。
第0~2级转换表的描述符分为3种。

(1)无效描述符:无效描述符的第0位是0,格式如下所示:
在这里插入图片描述
(2)块描述符:块描述符的最低两位是01,当虚拟地址的位数是48时,块描述符的格式如下所示:
在这里插入图片描述
(3)表描述符:表描述符的最低两位是11,当虚拟地址的位数是48时,表描述符的格式如下所示:
Linux内核机制总结内存管理之页表(十八)_第5张图片
m的取值:如果页长度是4KB,m是12;如果页长度是16KB,m是14;如果页长度是64KB,m是16。

注意“下一级表地址”是下一级转换表的物理地址。为什么使用物理地址,不使用虚拟地址?因为ARM64处理器支持转换表遍历(translation table walk):当ARM64处理器的内存管理单元需要把虚拟地址转换成物理地址时,首先在页表缓存中匹配虚拟地址,如果没有匹配,那么处理器访问内存中的转换表,把最后一级转换表项复制到页表缓存。使用物理地址,可以避免处理器访问内存中的转换表时需要把转换表的虚拟地址转换成物理地址。

第3级转换表的描述符分为3种:
(1)无效描述符:无效描述符的第0位是0,格式如下所示。
在这里插入图片描述
(2)保留描述符:保留描述符的最低两位是01,现在没有使用,保留给将来使用,格式如下所示:
在这里插入图片描述
(3)页描述符:页描述符的最低两位是11,当虚拟地址的位数是48时,页长度分别为4KB、16KB和64KB的页描述符的格式如下所示:
Linux内核机制总结内存管理之页表(十八)_第6张图片
在块描述符和页描述符中,内存属性被拆分成一个高属性块和一个低属性块,如下所示:
Linux内核机制总结内存管理之页表(十八)_第7张图片
第59~62位:基于页的硬件属性(Page-Based Hardware Attributes,PBHA),如果没有实现ARMv8.2-TTPBHA,忽略。

第55~58位:保留给软件使用。

第54位:在异常级别0,表示UXN(Unprivileged execute-Never),即不允许异常级别0执行内核代码;在其他异常级别,表示XN(execute-Never),不允许执行。

第53位:PXN(Privileged execute-Never),不允许在特权级别(即异常级别1/2/3)执行。

第52位:连续(Contiguous),指示这条转换表项属于一个连续表项集合,一个连续表项集合可以被缓存在一条TLB表项里面。

第51位:脏位修饰符(Dirty Bit Modifier,DBM),指示页或内存块是否被修改过。

第11位:非全局(not global,nG)。nG位是1,表示转换不是全局的,是进程私有的,有一个关联的地址空间标识符(Address Space Identifier,ASID);nG位是0,表示转换是全局的,是所有进程共享的,内核的页或内存块是所有进程共享的。
第10位:访问标志(Access Flag,AF),指示页或内存块自从相应的转换表描述符中的访问标志被设置为0以后是否被访问过。
第8~9位:可共享性(SHareability,SH),00表示不共享,01是保留值,10表示外部共享,11表示内部共享。

第6~7位:AP[2:1](Data Access Permissions,数据访问权限)。在阶段1转换中,AP[2]用来选择只读或读写,1表示只读,0表示读写;AP[1]用来选择是否允许异常级别0访问,1表示允许异常级别0访问,0表示不允许异常级别0访问。例如AP[2:1]为00,表示允许从异常级别1/2/3读写,不允许从异常级别0访问;AP[2:1]为01,表示表示允许从异常级别1/2/3读写,允许从异常级别0读写。在非安全异常级别1和0转换机制的阶段2转换中,AP[2:1]为00表示不允许访问,01表示只读,10表示只写,11表示读写。

第5位:非安全(Non-Secure,NS)。对于安全状态的内存访问,指定输出地址在安全地址映射还是在非安全地址映射。

第2~4位:内存属性索引(memory attributes index,AttrIndx),指定寄存器MAIR_ELx中内存属性字段的索引,内存属性间接寄存器(Memory Attribute Indirection Register,MAIR_ELx)有8个8位内存属性字段:Attr,n等于0~7。

你可能感兴趣的:(linux,linux)