程序员必知:关于Linux内存寻址与页表处理的一些细节

简介: 程序员必知:关于Linux内存寻址与页表处理的一些细节

我们很容易从一些Linux内核的书籍中知道X86架构使用2级( 10-10-12 )页表,X86-64架构使用4级( 9-9-9-9-12 )页表甚至是5级(在pgd_t与pud_t中间加了一层p4d_t),但是一些隐藏的问题却往往被忽略,如每一个进程的页表存储在内核空间吗?为什么内核中页表所在页框物理地址转化为虚拟地址只需要加个偏置 PAGE_OFFSET?CR3寄存器内容和task_struct->mm->pgd都是全局页表的物理地址吗?一些页表操作函数如pud_offset为什么使用的是经过va()的地址以及为什么有了MMU还需要这些函数?

首先,如果你忘了多级页表内存寻址的细节,下面这张图可以很快让你回忆起来。

以上以X86-64架构为例描述了一个4级页表,需要注意的是Linux下逻辑地址与虚拟地址是一致的(各个段描述符Base均为0),p**_index()用于计算虚拟地址中每一级相对于页目录/表基址的索引或者偏置,而基址存储在CR3寄存器或者上一级页目录项或者页表项的物理地址字段中。

以下描述了内存寻址的特性:

内核给每一个进程分配页表,页表存储在内核空间,当发生进程切换或者其它特定时间时,CR3寄存器装载当前活动进程的全局页表的物理基址。所以后续寻址虚拟地址使用的就是当前进程的页表。

CR3寄存器写入值时会自动刷新TLB(转换后援缓冲器)表项。

CR3寄存器存储的是进程页全局目录的物理基址,然而 task_struct->mm->pgd存储的是进程页全局目录的虚拟地址。

每一个页目录项或者页表项中的有一个40Bit(视内核版本不同稍有差异)的字段用于存储下一级目录的物理地址,然而如果在内核中要遍历页表,在开启了MMU后,由于不能再使用物理地址,需要使用 "va(x)" 将物理地址转化为虚拟地址方可寻址,这个过程由MMU来完成。

虚拟地址的最低12位(4KB的页大小)和物理地址的最低12位相同。虚拟地址的4个页表段page_index可以看做在页表中的索引。

上图中的页操作函数可供我们遍历页表,如通过 "current" 指针就可以得到进程描述符,然后得到内存描述符下的 "pgd" 指针,从而可以得到该虚拟地址对应的物理地址(即上图中最后一层就是 page number + offset 得到物理地址),通过物理地址的前52位可以得到该物理地址所在页的页描述符,因为所有页框的页描述符是数组 mem_map【】 中的元素,数组的线性特性使得通过 page number 得到页描述符变成可能。

我们可以使用一个简单的例子做一个 a page table walk:

1 static unsigned long vaddr2paddr(unsigned long vaddr)

2 {

3 pgd_t pgd;

4 p4d_t p4d;

5 pud_t pud;

6 pmd_t pmd;

7 pte_t pte;

8 unsigned long paddr = 0;

9 unsigned long page_addr = 0;

10 unsigned long page_offset = 0;

11

12 pgd = pgd_offset(current->mm, vaddr);

13 if (!pgtable_l5_enabled())

14 printk("pgtable_l5 is not enabled\n");

15 p4d = p4d_offset(pgd, vaddr);

16 pud = pud_offset(p4d, vaddr);

17 pmd = pmd_offset(pud, vaddr);

18 pte = pte_offset_kernel(pmd, vaddr);

19 page_addr = pte_val(pte) PAGE_MASK;

20 page_offset = vaddr ~PAGE_MASK;

21 paddr = page_addr | page_offset;

22

23 return paddr;

24 }

1 #include

2 #include

3 #include

4 #include

5 #include

6 #include

7

8 unsigned long vaddr = 0;

9

10 MODULE_LICENSE("GPL");

11 MODULE_AUTHOR("ShieldQiQi");

12 MODULE_DESCRIPTION("Test page table walk");

13

14 static void get_pgtable_macro(void)

15 {

16 printk("PAGE_OFFSET = 0x%lx\n", PAGE_OFFSET);

17 printk("PGDIR_SHIFT = %d\n", PGDIR_SHIFT);

18 printk("P4D_SHIFT = %d\n", P4D_SHIFT);

19 printk("PUD_SHIFT = %d\n", PUD_SHIFT);

20 printk("PMD_SHIFT = %d\n", PMD_SHIFT);

21 printk("PAGE_SHIFT = %d\n", PAGE_SHIFT);

22

23 printk("PTRS_PER_PGD = %d\n", PTRS_PER_PGD);

24 printk("PTRS_PER_P4D = %d\n", PTRS_PER_P4D);

25 printk("PTRS_PER_PUD = %d\n", PTRS_PER_PUD);

26 printk("PTRS_PER_PMD = %d\n", PTRS_PER_PMD);

27 printk("PTRS_PER_PTE = %d\n", PTRS_PER_PTE);

28

29 printk("PAGE_MASK = 0x%lx\n", PAGE_MASK);

30 }

31

32 static unsigned long vaddr2paddr(unsigned long vaddr)

33 {

34 pgd_t pgd;

35 p4d_t p4d;

36 pud_t pud;

37 pmd_t pmd;

38 pte_t pte;

39 unsigned long paddr = 0;

40 unsigned long page_addr = 0;

41 unsigned long page_offset = 0;

42

43 pgd = pgd_offset(current->mm, vaddr);

44 printk("current->mm->pgd = 0x%lx\n", (unsigned long)current->mm->pgd);

45 printk("pgd = 0x%lx\n", (unsigned long)pgd);

46 printk("pgd_val = 0x%lx\n", pgd_val(pgd));

47 printk("pgd_index = %lu\n", pgd_index(vaddr));

48 if (pgd_none(pgd)) {

49 printk("not mapped in pgd\n");

50 return -1;

51 }

52

53 if (!pgtable_l5_enabled())

54 printk("pgtable_l5 is not enabled\n");

55

56 p4d = p4d_offset(pgd, vaddr);

57 printk("p4d_val = 0x%lx\n", p4d_val(p4d));

58 printk("p4d_index = %lu\n", p4d_index(vaddr));

59 if (p4d_none(p4d)) {

60 printk("not mapped in p4d\n");

61 return -1;

62 }

63

64 pud = pud_offset(p4d, vaddr);

65 printk("p4d_pfn_mask = 0x%lx\n", p4d_pfn_mask(p4d));

66 printk("p4d_page_vaddr = 0x%lx\n", p4d_page_vaddr(p4d));

67 printk("pud_index = 0x%lx\n", pud_index(vaddr));

68 printk("pud = 0x%lx\n", (unsigned long)pud);

69

70 printk("pud_val = 0x%lx\n", pud_val(pud));

71 if (pud_none(pud)) {

72 printk("not mapped in pud\n");

73 return -1;

74 }//代码效果参考:http://www.ezhiqi.com/bx/art_2671.html

75

76 pmd = pmd_offset(pud, vaddr);

77 printk("pmd_val = 0x%lx\n", pmd_val(pmd));

78 printk("pmd_index = %lu\n", pmd_index(vaddr));

79 printk("pmd = 0x%lx\n", (unsigned long)pmd);

80 if (pmd_none(pmd)) {

81 printk("not mapped in pmd\n");

82 return -1;

83 }

84

85 pte = pte_offset_kernel(pmd, vaddr);

86 printk("pte = 0x%lx\n", (unsigned long)pte);

87 printk("pte_val = 0x%lx\n", pte_val(pte));

88 printk("pte_index = %lu\n", pte_index(vaddr));

89 if (pte_none(pte)) {

90 printk("not mapped in pte\n");

91 return -1;

92 }

93

94 / Page frame physical address mechanism | offset /

95 page_addr = pte_val(pte) PAGE_MASK;

96 page_offset = vaddr ~PAGE_MASK;

97 paddr = page_addr | page_offset;

98 printk("page_addr = %lx, page_offset = %lx\n", page_addr, page_offset);

99 printk("vaddr = %lx, paddr = %lx\n", vaddr, paddr);

100

101 return paddr;

102 }

103

104 static int init v2p_init(void)

105 {

106

107 printk("vaddr to paddr module is running..\n");

108 get_pgtable_macro();

109 printk("\n");

110

111 vaddr = (unsigned long)vmalloc(1000 sizeof(char));

112 if (vaddr == 0) {

113 printk("vmalloc failed..\n");

114 return 0;

115 }//代码效果参考:http://www.ezhiqi.com/bx/art_2715.html

116 printk("vmalloc_vaddr=0x%lx\n", vaddr);

117 vaddr2paddr(vaddr);

118 vfree((void )vaddr);

119

120 printk("\n\n");

121 vaddr = get_free_page(GFP_KERNEL);

122 if (vaddr == 0) {

123 printk("get_free_page failed..\n");

124 return 0;

125 }

126 printk("get_page_vaddr=0x%lx\n", vaddr);

127 vaddr2paddr(vaddr);

128 free_page(vaddr);

129

130 return 0;

131 }//代码效果参考:http://www.ezhiqi.com/bx/art_6545.html

132

133 static void exit v2p_exit(void)

134 {

135 printk("vaddr to paddr module is leaving..\n"

相关文章
|
2月前
|
安全 Linux Shell
Linux上执行内存中的脚本和程序
【9月更文挑战第3天】在 Linux 系统中,可以通过多种方式执行内存中的脚本和程序:一是使用 `eval` 命令直接执行内存中的脚本内容;二是利用管道将脚本内容传递给 `bash` 解释器执行;三是将编译好的程序复制到 `/dev/shm` 并执行。这些方法虽便捷,但也需谨慎操作以避免安全风险。
180 6
|
14天前
|
算法 Linux 开发者
深入探究Linux内核中的内存管理机制
本文旨在对Linux操作系统的内存管理机制进行深入分析,探讨其如何通过高效的内存分配和回收策略来优化系统性能。文章将详细介绍Linux内核中内存管理的关键技术点,包括物理内存与虚拟内存的映射、页面置换算法、以及内存碎片的处理方法等。通过对这些技术点的解析,本文旨在为读者提供一个清晰的Linux内存管理框架,帮助理解其在现代计算环境中的重要性和应用。
|
20天前
|
存储 缓存 监控
|
1月前
|
存储 缓存 监控
Linux中内存和性能问题
【10月更文挑战第5天】
39 4
|
1月前
|
算法 Linux
Linux中内存问题
【10月更文挑战第6天】
46 2
|
17天前
|
缓存 算法 Linux
Linux内核中的内存管理机制深度剖析####
【10月更文挑战第28天】 本文深入探讨了Linux操作系统的心脏——内核,聚焦其内存管理机制的奥秘。不同于传统摘要的概述方式,本文将以一次虚拟的内存分配请求为引子,逐步揭开Linux如何高效、安全地管理着从微小嵌入式设备到庞大数据中心数以千计程序的内存需求。通过这段旅程,读者将直观感受到Linux内存管理的精妙设计与强大能力,以及它是如何在复杂多变的环境中保持系统稳定与性能优化的。 ####
24 0
|
1月前
|
存储 缓存 固态存储
|
2月前
|
算法 程序员 Python
程序员必看!Python复杂度分析全攻略,让你的算法设计既快又省内存!
在编程领域,Python以简洁的语法和强大的库支持成为众多程序员的首选语言。然而,性能优化仍是挑战。本文将带你深入了解Python算法的复杂度分析,从时间与空间复杂度入手,分享四大最佳实践:选择合适算法、优化实现、利用Python特性减少空间消耗及定期评估调整,助你写出高效且节省内存的代码,轻松应对各种编程挑战。
41 1
|
1月前
|
Linux C++
Linux c/c++文件虚拟内存映射
这篇文章介绍了在Linux环境下,如何使用虚拟内存映射技术来提高文件读写的速度,并通过C/C++代码示例展示了文件映射的整个流程。
47 0
|
3月前
|
Linux 调度
深入理解Linux虚拟内存管理(七)(下)
深入理解Linux虚拟内存管理(七)
70 4