买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中国航空工业集团公司西安航空计算技术研究所申请的专利ARM平台基于域空间管理的地址空间快速切换方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119883957B 。

龙图腾网通过国家知识产权局官网在2025-10-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411956969.6，技术领域涉及：G06F12/1009；该发明授权ARM平台基于域空间管理的地址空间快速切换方法是由王宏伟;武佳宇;杨珂瑶;郭锋;张帅;王佳欣设计研发完成，并于2024-12-29向国家知识产权局提交的专利申请。

本ARM平台基于域空间管理的地址空间快速切换方法在说明书摘要公布了：本发明的ARM平台基于域空间管理的地址空间快速切换方法，包括定义一组页基址管理结构；操作系统运行中需要进行域切换时，若待切入的目标域号与TTBR0寄存器中的ASID值相等时，则不需要执行切域操作；若待切入的目标域号与TTBR0寄存器中的ASID值不相等时，根据目标域号从页基址管理结构中获取对应域的页表基址，将域号与页表基址按格式写入TTBR0寄存器中，完成切域操作。实现在不改变原页表结构的情况下，切域不需要无效TLB表项，减少TLB未命中和Cache未命中引起的性能损失，提升系统整体性能。

本发明授权ARM平台基于域空间管理的地址空间快速切换方法在权利要求书中公布了：1.一种ARM平台基于域空间管理的地址空间快速切换方法，用于机载嵌入式操作系统在各分区地址空间之间的切换，嵌入式操作系统包括存储管理功能模块，通过操作CPU处理器的寄存器完成存储管理功能，其特征在于，嵌入式操作系统对存储空间设置有多个域，且每个域对应一个页表空间的基址和域号，包括以下步骤， S1:在嵌入式操作系统指定一组页表基址管理结构，所述页表基址管理结构用于存储所有所述基址，且包括多个存储项，每个所述存储项存储一项页表基址； S2:在所述存储管理功能模块初始化时，构建嵌入式操作系统的系统域的页表结构，将所述页表结构的基址存放到至所述页表基址管理结构的第一个存储项中，并将所述系统域的系统域号与对应的页表基址按格式写入CPU处理器的TTBR0寄存器中； S3:嵌入式操作系统创建新分区时，为所述新分区分配域号并构建与新分区对应的页表结构，将所述新分区对应的页表结构的基址存放至页表基址管理结构中指定的存储项中； S4:嵌入式操作系统中存在多个空间隔离分区，所有所述空间隔离分区通过时间片轮转算法进行切换，每次分区切换的同时对域进行切换，实现从当前域到目标域的切换，其中， 判断所述目标域的域号是否与所述TTBR0寄存器中的ASID值相等，如是，不需要执行当前域到目标域的切域操作，如否，根据所述目标域的域号从所述指定的存储项中获取所述目标域的页表基址，将获取所述目标域的页表基址和目标域的域号按预设格式一并写入至所述TTBR0寄存器中，完成切域操作。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航空工业集团公司西安航空计算技术研究所，其通讯地址为：710065 陕西省西安市高新区锦业二路15号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。