当前位置: 首页 > news >正文

Linux 内存管理:MMU 寻址过程

文章目录

  • 1. 前言
  • 2. 概述
    • 2.1 两级分页
    • 2.2 三级分页
  • 3. 参考资料

1. 前言

限于作者能力水平,本文可能存在谬误,因此而给读者带来的损失,作者不做任何承诺。

2. 概述

本文以Linux 4.14.xARMv7架构下,分别对两级三级分页进行讨论。

在讨论之前,先假定4G虚拟地址空间按1G:3G划分,中断向量位于4G虚拟地址最高地址位置(Vector High),一如下图:

2.1 两级分页

在没有启用LPAE(Large Physical Address Extension)功能的情形下,内核最多使用两级分页进行寻址。注意,这里的最多表示:有些情形下可以一级分页,两级分页是上限

先上图,Linux 下两级分页寻址过程如下:

仅用到TTBR0来存储第一级页表物理基址,用来进行page table walk,其值初始在__enable_mmu中设置,后续会随着进程切换变化;而TTBR1仅用来备份内核页表 swapper_pg_dir的物理地址,其值在proc-v7-2level.S:v7_ttb_setup中设置,在切换页表期间临时拷贝覆盖TTBR0,避免非法的地址访问。

来简单看一下上图形成的过程。先看TTBR0,TTBR1初始化过程:

__v7_ca7mp_setup:...__errata_finish:mov r10,#0...#ifdefCONFIG_MMU.../* * r10 = 0 * r8 = 内核页表 swapper_pg_dir 物理基址 */v7_ttb_setup r10,r4,r5,r8,r3 @ TTBCR,TTBRx setup...#endif
.macro v7_ttb_setup,zero,ttbr0l,ttbr0h,ttbr1,tmp// TTBCR = 0mcr p15,0,\zero,c2,c0,2@ TTB controlregisterALT_SMP(orr \ttbr0l,\ttbr0l,#TTB_FLAGS_SMP)// \ttbr0l |= TTB_FLAGS_SMP (r4 |= TTB_FLAGS_SMP)...ALT_SMP(orr \ttbr1,\ttbr1,#TTB_FLAGS_SMP)// \ttbr1 |= TTB_FLAGS_SMP (r8 |= TTB_FLAGS_SMP)...// TTBR1 = swapper_pg_dir 页表物理地址mcr p15,0,\ttbr1,c2,c0,1@ load TTB1.endm

BOOT CPUTTBCR,TTBR0,TTBR1从初始化如上分析。注意,MMU每 CPU的,那自然TTBCR,TTBR0,TTBR1也是每 CPU的。在非BOOT CPU上,除了TTBR0初始为idmap_pgd的物理地址外,TTBR1仍然初始化为swapper_pg_dir页表物理地址,这里就不做展开了。

再简单看下内核lowmem的映射建立(包括内核镜像区间):

start_kernel()setup_arch()paging_init()map_lowmem()

map_lowmem()建立了lowmem的页表映射,内核区间用1MB section大小进行映射,只使用了一级映射(正如前面提到的)。

接下来看下进程第一级页表的创建

copy_process()copy_mm()dup_mm()mm_init()mm_alloc_pgd()pgd_alloc()/* * need to get a 16k page for level 1 */pgd_t*pgd_alloc(structmm_struct*mm){pgd_t*new_pgd,*init_pgd;pud_t*new_pud,*init_pud;pmd_t*new_pmd,*init_pmd;pte_t*new_pte,*init_pte;/* 分配页目录表(第一级页表)空间(表项为未配置状态) */new_pgd=__pgd_alloc();if(!new_pgd)gotono_pgd;/* 页目录表(第一级页表)用户空间部分的所有表项清 0 */memset(new_pgd,0,USER_PTRS_PER_PGD*sizeof(pgd_t));/* * Copy over the kernel and IO PGD entries *//* 拷贝 内核空间页目录表映射表项 到新分配页目录表的内核空间映射部分 */init_pgd=pgd_offset_k(0);memcpy(new_pgd+USER_PTRS_PER_PGD,init_pgd+USER_PTRS_PER_PGD,(PTRS_PER_PGD-USER_PTRS_PER_PGD)*sizeof(pgd_t));/* 清除新页目录表空间的 cache */clean_dcache_area(new_pgd,PTRS_PER_PGD*sizeof(pgd_t));returnnew_pgd;}

最后看一下进程切换时的页表切换

__schedule()context_switch()switch_mm_irqs_off()switch_mm()check_and_switch_context()voidcheck_and_switch_context(structmm_struct*mm,structtask_struct*tsk){unsignedlongflags;unsignedintcpu=smp_processor_id();u64 asid;.../* TTBR0 = TTBR1 = swapper_pg_dir 物理地址 */cpu_set_reserved_ttbr0();...switch_mm_fastpath:/* 切换到目标进程 @tsk 的页表: TTBR0 = 标进程 @tsk 的页表 */cpu_switch_mm(mm->pgd,mm);}#definecpu_switch_mm(pgd,mm)cpu_do_switch_mm(virt_to_phys(pgd),mm)// cpu_v7_switch_mm

2.2 三级分页

在启用了LPAE(Large Physical Address Extension)功能的情形下,内核最多使用三级分页进行寻址。

照样先上图,Linux 下三级分页寻址过程如下:

Linux 下三级分页寻址过程同时使用TTBR0TTBR1进行page table walkTTBR1指向内核空间 1GB 页表物理基址,且其值始终不会变化;TTBR0用来存储每进程第一级页表物理基址

来简单看一下上图形成的过程。先看TTBR0,TTBR1初始化过程和二级分页基本一致,只不过TTBCR,TTBR1设置是通过proc-v7-3level.S:v7_ttb_setup设置时,TTBR1并不是指向内核页表swapper_pg_dir的物理首地址,而是指向了第二级最后一个 PMD 页表的物理首地址,为啥这样?来看看。三级分页使用Long-descriptor格式,我们讨论的场景是1G:3G划分,所以swapper_pg_dir包含的最后一个 PMD 页表刚好映射内核的1G空间。那为什么不让TTBR1指向swapper_pg_dir的物理首地址呢?这和硬件的实现有关,看一下相关原文:

简单来说,在启用了LPAE(Large Physical Address Extension)功能的情形下,寻址内核 [0xC0000000, 0xFFFFFFFF] 空间时,从第二级 PMD 页表开始 page table walk 的过程,这就是TTBR1指向最后一个第二级 PMD 页表的原因。寻址时VA的 PGD Index 部分可以不用关心了,因为确定寻址的内核空间。

Linux 下三级分页进程第一级页表的创建页表切换过程和二级分页基本相同,这里就不再赘述了。

3. 参考资料

[1] DDI0406C_d_armv7ar_arm.pdf
[2] TLB原理

http://www.jsqmd.com/news/102388/

相关文章:

  • LobeChat考试题目生成器开发实例
  • LobeChat邮件营销主题行生成
  • LobeChat直播房间名称创意
  • LobeChat故障响应时间承诺
  • LobeChat回滚预案自动生成
  • EmotiVoice本地部署避坑指南:常见问题与解决方案
  • 23、量子计算在化学与蛋白质折叠中的应用探索
  • 24、量子计算:从理论到现实应用
  • Windows子系统Android功能延续解决方案:在官方支持终止后的完整使用指南
  • AutoCAD字体管理终极解决方案:彻底告别乱码和问号显示
  • 11、量子世界的纠缠与超决定论:从理论到实验的探索
  • 企业级工资信息管理系统管理系统源码|SpringBoot+Vue+MyBatis架构+MySQL数据库【完整版】
  • 12、量子计算基础与线性代数知识详解
  • 13、量子计算中的线性代数与量子比特基础
  • 14、量子计算基础:从门操作到Qiskit安装
  • 15、Qiskit:Python 量子编程的强大 SDK
  • 16、量子编程中的Qiskit与随机数生成
  • Java Web 工作量统计系统系统源码-SpringBoot2+Vue3+MyBatis-Plus+MySQL8.0【含文档】
  • SpringBoot+Vue 公司资产网站管理平台源码【适合毕设/课设/学习】Java+MySQL
  • 如何让旧款Mac焕然一新:OpenCore Legacy Patcher终极使用手册
  • SpringBoot+Vue 供应商管理系统平台完整项目源码+SQL脚本+接口文档【Java Web毕设】
  • 终极下载管理方案:如何通过浏览器扩展优化下载工作流程
  • LobeChat API网关集成建议
  • LobeChat支持多租户吗?SaaS化改造的技术路径
  • SpringBoot+Vue 高校物品捐赠管理系统平台完整项目源码+SQL脚本+接口文档【Java Web毕设】
  • 高校宣讲会管理系统信息管理系统源码-SpringBoot后端+Vue前端+MySQL【可直接运行】
  • LobeChat点击热力图分析建议
  • 如何快速搭建个人天气数据服务:Open-Meteo开源API完整指南
  • LobeChat微服务拆分建议
  • EmotiVoice vs 商业TTS:谁才是性价比之王?