程序员必知:关于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"

相关文章
|
3月前
|
算法 程序员 Python
程序员必看!Python复杂度分析全攻略,让你的算法设计既快又省内存!
在编程领域,Python以简洁的语法和强大的库支持成为众多程序员的首选语言。然而,性能优化仍是挑战。本文将带你深入了解Python算法的复杂度分析,从时间与空间复杂度入手,分享四大最佳实践:选择合适算法、优化实现、利用Python特性减少空间消耗及定期评估调整,助你写出高效且节省内存的代码,轻松应对各种编程挑战。
59 1
|
4月前
|
Java 程序员 Linux
学校不教,工作需要!!!程序员需要掌握的常见Linux命令,掌握可以让工作效率翻倍!!
这篇文章列出了程序员在Linux环境下提高工作效率所需要掌握的常见命令,包括文件操作、系统监控、网络配置、进程管理等,并提供了一些实用技巧和快捷键。
|
5月前
|
运维 Java Linux
(九)JVM成神路之性能调优、GC调试、各内存区、Linux参数大全及实用小技巧
本章节主要用于补齐之前GC篇章以及JVM运行时数据区的一些JVM参数,更多的作用也可以看作是JVM的参数列表大全。对于开发者而言,能够控制JVM的部分也就只有启动参数了,同时,对于JVM的性能调优而言,JVM的参数也是基础。
123 8
|
5月前
|
缓存 Linux 虚拟化
linux 查看服务器cpu 与内存配置
linux 查看服务器cpu 与内存配置
698 4
|
5月前
|
Arthas 存储 Java
JVM内存问题之Linux使用ptmalloc2导致的JNI内存溢出问题如何解决
JVM内存问题之Linux使用ptmalloc2导致的JNI内存溢出问题如何解决
|
5月前
|
存储 弹性计算 程序员
新手程序员如何阿里云服务器配置?新人开发者CPU内存带宽存储怎么选?
对于新手开发者、个人或学生选择阿里云服务器,推荐ECS经济型e实例(ecs.e-c1m1.large),适用于小型网站或轻量应用。配置2核2G内存、3M固定带宽、40G ESSD系统盘,仅99元/年且续费同价。
|
6月前
|
机器学习/深度学习 关系型数据库 Shell
老程序员分享:Linux之pushd、popd和dirs的使用讲解,比cd
老程序员分享:Linux之pushd、popd和dirs的使用讲解,比cd
50 1
|
5月前
|
监控 Linux
Linux脚本之监控系统内存使用情况并给予警告
Linux脚本之监控系统内存使用情况并给予警告
|
6月前
|
开发工具 git Docker
老程序员分享:linux试题
老程序员分享:linux试题
46 0