SV39多级页表的硬件机制

简介: 【10月更文挑战第26天】SV39多级页表机制包括三级页表结构,每个页表项64位,通过SATP寄存器控制地址转换。地址转换过程涉及三级页表查找,最终生成物理地址。页表项包含有效位和访问权限位等标志,用于内存管理和访问控制。物理页帧的分配和回收确保内存的有效利用。

SV39 多级页表的硬件机制主要包括以下方面:


  1. 页表结构与地址划分1
  • 页表层级:SV39 采用三级页表结构。将 39 位的虚拟地址划分为多个部分,用于在不同层级的页表中进行索引。其中,虚拟页号共 27 位,第 26 - 18 位为一级页索引(vpn0),第 17 - 9 位为二级页索引(vpn1),第 8 - 0 位为三级页索引(vpn2)。每个页表都使用 9 位索引,这样每个页表有 个页表项。
  • 页表项大小与页表尺寸:每个页表项为 64 位(8 字节),所以每个页表的大小为 (因为每页的起始位置按 4KB 对齐),刚好可以被放到一个物理页框中。
  • 物理地址空间:物理地址通常具有更高的位数,比如 56 位,以便能够访问更大的内存范围,但在 SV39 机制下,主要关注与虚拟地址转换相关的部分物理地址信息。
  1. 寄存器的作用
  • SATP 寄存器:SATP(Supervisor Address Translation and Protection)寄存器是控制地址转换的关键寄存器。其结构中的 “mode” 字段用于控制 CPU 使用的页表模式,当 mode 设置为 8(b1000)时,分页机制被开启且选用 SV39 分页机制;“asid”(Address Space Identifier)目前暂不涉及进程概念可暂不关注;“ppn” 字段存放的是根页表所在的物理页号,CPU 以此为基础开始地址转换2
  1. 地址转换过程1
  • 一级页表查找:首先,根据 SATP 寄存器中记录的根页表的物理页号,CPU 将虚拟地址中的一级页索引(vpn0)作为偏移,在一级页表的物理页中查找对应的页表项。该页表项中包含了二级页表的物理页号信息。
  • 二级页表查找:接着,使用虚拟地址中的二级页索引(vpn1)作为偏移,在二级页表的物理页中找到对应的页表项,该页表项中包含了三级页表的物理页号信息。
  • 三级页表查找:然后,把虚拟地址中的三级页索引(vpn2)作为偏移,在三级页表的物理页中找到最终的页表项,这个页表项中包含了要访问的虚拟地址对应的物理页号以及相关的标志位(如访问权限、是否有效等)。
  • 物理地址生成:最后,将得到的物理页号左移 12 位(因为每页大小为 4KB,偏移量占 12 位),再加上虚拟地址中的偏移量(offset)部分,就得到了虚拟地址对应的物理地址,CPU 便可以通过该物理地址访问实际的物理内存。
  1. 页表项的标志位
  • 有效位(V 位):页表项中的有效位用于表示该页表项是否合法。只有当 V 位为 1 时,页表项才是有效的,CPU 才能根据该页表项进行地址转换;若 V 位为 0,则表示该页表项对应的虚拟地址范围是无效的,此时如果 CPU 访问该虚拟地址,会引发地址转换异常。
  • 访问权限位(R/W/X、U 位等):R/W/X 位分别控制索引到这个页表项的对应虚拟页面是否允许读、写、取指操作;U 位控制索引到这个页表项的对应虚拟页面是否在 CPU 处于用户特权级(U 特权级)的情况下被允许访问。A 位(accessed)记录自从该位被清零之后,页表项的对应虚拟页面是否被访问过;D 位(dirty)则记录自从该位被清零之后,页表项的对应虚拟页面是否被修改过。这些标志位对于内存的访问控制和管理非常重要。
  1. 物理页帧的管理
  • 物理页帧的分配:物理内存被划分为多个物理页帧,当需要建立新的页表或者存储应用程序的数据时,系统需要分配物理页帧。例如,在创建页表的过程中,如果某个级别的页表不存在,系统会申请一个物理页框,并在其中创建相应的页表。
  • 物理页帧的回收:当应用程序结束或出现错误时,系统需要回收该应用程序所占用的物理页帧,以便重新分配给其他应用程序或页表使用。这涉及到对物理页帧的跟踪和管理,确保内存的有效利用和资源的正确释放。
相关文章
|
4天前
|
SQL 人工智能 安全
【灵码助力安全1】——利用通义灵码辅助快速代码审计的最佳实践
本文介绍了作者在数据安全比赛中遇到的一个开源框架的代码审计过程。作者使用了多种工具,特别是“通义灵码”,帮助发现了多个高危漏洞,包括路径遍历、文件上传、目录删除、SQL注入和XSS漏洞。文章详细描述了如何利用这些工具进行漏洞定位和验证,并分享了使用“通义灵码”的心得和体验。最后,作者总结了AI在代码审计中的优势和不足,并展望了未来的发展方向。
|
13天前
|
存储 弹性计算 人工智能
阿里云Alex Chen:普惠计算服务,助力企业创新
本文整理自阿里云弹性计算产品线、存储产品线产品负责人陈起鲲(Alex Chen)在2024云栖大会「弹性计算专场-普惠计算服务,助力企业创新」中的分享。在演讲中,他分享了阿里云弹性计算,如何帮助千行百业的客户在多样化的业务环境和不同的计算能力需求下,实现了成本降低和效率提升的实际案例。同时,基于全面升级的CIPU2.0技术,弹性计算全线产品的性能、稳定性等关键指标得到了全面升级。此外,他还宣布了弹性计算包括:通用计算、加速计算和容器计算的全新产品家族,旨在加速AI与云计算的融合,推动客户的业务创新。
|
11天前
|
编解码 Java 程序员
写代码还有专业的编程显示器?
写代码已经十个年头了, 一直都是习惯直接用一台Mac电脑写代码 偶尔接一个显示器, 但是可能因为公司配的显示器不怎么样, 还要接转接头 搞得桌面杂乱无章,分辨率也低,感觉屏幕还是Mac自带的看着舒服
|
18天前
|
存储 人工智能 缓存
AI助理直击要害,从繁复中提炼精华——使用CDN加速访问OSS存储的图片
本案例介绍如何利用AI助理快速实现OSS存储的图片接入CDN,以加速图片访问。通过AI助理提炼关键操作步骤,避免在复杂文档中寻找解决方案。主要步骤包括开通CDN、添加加速域名、配置CNAME等。实测显示,接入CDN后图片加载时间显著缩短,验证了加速效果。此方法大幅提高了操作效率,降低了学习成本。
2962 10
|
13天前
|
存储 缓存 关系型数据库
MySQL事务日志-Redo Log工作原理分析
事务的隔离性和原子性分别通过锁和事务日志实现,而持久性则依赖于事务日志中的`Redo Log`。在MySQL中,`Redo Log`确保已提交事务的数据能持久保存,即使系统崩溃也能通过重做日志恢复数据。其工作原理是记录数据在内存中的更改,待事务提交时写入磁盘。此外,`Redo Log`采用简单的物理日志格式和高效的顺序IO,确保快速提交。通过不同的落盘策略,可在性能和安全性之间做出权衡。
1578 12
|
5天前
|
人工智能 关系型数据库 Serverless
1024,致开发者们——希望和你一起用技术人独有的方式,庆祝你的主场
阿里云开发者社区推出“1024·云上见”程序员节专题活动,包括云上实操、开发者测评和征文三个分会场,提供14个实操活动、3个解决方案、3 个产品方案的测评及征文比赛,旨在帮助开发者提升技能、分享经验,共筑技术梦想。
733 99
|
1月前
|
弹性计算 人工智能 架构师
阿里云携手Altair共拓云上工业仿真新机遇
2024年9月12日,「2024 Altair 技术大会杭州站」成功召开,阿里云弹性计算产品运营与生态负责人何川,与Altair中国技术总监赵阳在会上联合发布了最新的“云上CAE一体机”。
阿里云携手Altair共拓云上工业仿真新机遇
|
18天前
|
人工智能 Serverless API
AI助理精准匹配,为您推荐方案——如何快速在网站上增加一个AI助手
通过向AI助理提问的方式,生成一个技术方案:在网站上增加一个AI助手,提供7*24的全天候服务,即时回答用户的问题和解决他们可能遇到的问题,无需等待人工客服上班,显著提升用户体验。
1487 9
|
6天前
|
SQL 存储 人工智能
【产品升级】Dataphin V4.3重大升级:AI“弄潮儿”,数据资产智能化
DataAgent如何助理业务和研发成为业务参谋?如何快速低成本的创建行业数据分类标准?如何管控数据源表的访问权限?如何满足企业安全审计需求?
367 0
【产品升级】Dataphin V4.3重大升级:AI“弄潮儿”,数据资产智能化
|
3天前
|
人工智能 自然语言处理 程序员
提交通义灵码创新实践文章,重磅好礼只等你来!
通义灵码创新实践征集赛正式开启,发布征文有机会获得重磅好礼+流量福利,快来参加吧!
207 7