RISCV 四级页表

RISCV 四级页表

一直以来,对linux中通过多级页表将虚拟地址转换为物理地址的方法不甚了解,正好借着riscv研究一下。

riscv特权文档中定义了Sv32、Sv39、Sv48和Sv57这么几种虚拟内存系统。顾名思义,Sv32表示地址长度为32位,Sv39则是39位。其中Sv32是用于32位系统的,Sv39、Sv48和Sv57则是用于64位系统。而Sv39、Sv48、Sv57分别也就对应三级页表,四级页表和五级页表。这里只讨论SV48的实现。目前最新的64位linux应该是支持了Sv39和Sv48两种格式。

页表的起始地址一般写在了satp寄存器当中,根据riscv特权文档可见,satp寄存器格式如下,其中mode域指明了采用哪种虚拟内存系统。如果是0则表示不使用虚拟地址。如果使用Sv48,则应将Mode设置位9,PPN指定了第一级页表存在的物理地址。
在这里插入图片描述

每一个页表的结构都是一样的,由512个页表项组成,每一个页表项结构都由下图所示。512个页表项正好由9位地址索引,所以每增加一级页表,地址都会增加9位。

在这里插入图片描述
根据Sv48页表项的结构来看,每一级的9位PPN则代表了其在该级页表的索引。

页表项中,V代表该页表是否有效,如果处理器在查找页表项是发现该页表项是无效页表,则应触发异常,X、W、R则表示该页表的访问权限,如果三者皆为0,则表示该页表存储的为下一级页表的指针。

U表示该页是否能由在U-mode权限下的处理器访问
G表示该页是否为全局页表
A表示从上一次A被清零后,是否发生了读取或者写入
D表示从上一次A被清零后,是否发生了写入
PPN则表示翻译后的地址或者是下一级页表的指针。

四级页表在使用过程中并不代表一定会进行四次翻译,根据页表结构,也可能只进行一次、两次、三次翻译。
如果进行了四次翻译,则物理地址等于PPN[3:0]<<12||V_ADDRESS[11:0]
如果进行了三次翻译,则物理地址等于PPN[3:1]<<21||V_ADDRESS[20:0]
如果进行了两次翻译,则物理地址等于PPN[3:2]<<30||V_ADDRESS[29:0]
如果进行了一次翻译,则物理地址等于PPN[3:3]<<39||V_ADDRESS[38:0]

具体的细节可以参考如下网址给出的图片
https://zhuanlan.zhihu.com/p/78444537

四级页表的情况下,通常只有第一级页表常驻内存。这是因为多级页表的设计初衷是为了解决单级页表过大,导致内存浪费的问题。单级页表可能存储了很多无用的页表项,而多级页表可以将页表进行分层管理,只有在需要时才将对应的页表调入内存,从而节省内存空间[^1][^2]。 以四级页表为例,第一级页表作为整个页表结构的索引,用于定位二级页表的位置。由于需要随时根据虚拟地址的高位部分来查找对应的二级页表,所以第一级页表需要常驻内存,以保证地址转换的效率。而二级、三级和四级页表只有在需要访问对应的虚拟地址空间时才会被调入内存。当进程只使用了部分虚拟地址空间时,对应的二级、三级和四级页表中只有使用到的部分会被调入内存,未使用的部分不会占用内存,从而显著节省了内存空间[^1][^2]。 ### 代码示例 ```python # 模拟四级页表的地址转换过程 # 假设第一级页表是一个字典,键为一级页号,值为二级页表的基地址 first_level_page_table = {0: 1000, 1: 2000} # 模拟二级页表 second_level_page_table_0 = {0: 3000, 1: 4000} # 模拟三级页表 third_level_page_table_3000 = {0: 5000, 1: 6000} # 模拟四级页表 fourth_level_page_table_5000 = {0: 7000, 1: 8000} # 虚拟地址:假设由一级页号、二级页号、三级页号、四级页号和页内偏移组成 virtual_address = (0, 0, 0, 0, 50) # 提取各级页号和页内偏移 first_level_page_number, second_level_page_number, third_level_page_number, fourth_level_page_number, offset = virtual_address # 通过第一级页表找到对应的二级页表基地址 second_level_base_address = first_level_page_table[first_level_page_number] # 通过二级页表找到对应的三级页表基地址 third_level_base_address = second_level_page_table_0[second_level_page_number] # 通过三级页表找到对应的四级页表基地址 fourth_level_base_address = third_level_page_table_3000[third_level_page_number] # 通过四级页表找到对应的物理页号 physical_page_number = fourth_level_page_table_5000[fourth_level_page_number] # 计算物理地址 physical_address = physical_page_number * 1024 + offset print(f"虚拟地址 {virtual_address} 转换后的物理地址为 {physical_address}") ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

繁华渲染悲凉

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值