中国航空工业集团公司西安航空计算技术研究所杨静远获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中国航空工业集团公司西安航空计算技术研究所申请的专利一种三态系统中分区操作系统的中断服务实现方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119829236B 。
龙图腾网通过国家知识产权局官网在2026-01-06发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411810296.3,技术领域涉及:G06F9/48;该发明授权一种三态系统中分区操作系统的中断服务实现方法是由杨静远;虞保忠;时磊;朱晓宁;徐晓光;黄保垒设计研发完成,并于2024-12-10向国家知识产权局提交的专利申请。
本一种三态系统中分区操作系统的中断服务实现方法在说明书摘要公布了:本发明属于计算机系统软件技术领域,具体涉及一种三态系统中分区操作系统的中断服务实现方法,在三态系统的配置记录中定义中断服务的名称和所属的分区号,然后编译配置记录生成中断服务配置记录信息包;随后当三态系统启动后,将中断服务配置记录信息包共享给所有系统态的分区操作系统;本发明能够实现在三态分区操作系统下能够使进程被通过配置记录定义好的外部事件直接进行触发,提高系统应用的灵活性。
本发明授权一种三态系统中分区操作系统的中断服务实现方法在权利要求书中公布了:1.一种三态系统中分区操作系统的中断服务实现方法,所述三态系统符合ARINC653标准;所述三态系统包括处于Hypervisor态的核心操作系统、处于系统态的分区操作系统以及处于用户态的分区应用; 其特征在于,所述方法包括以下步骤: S101:在三态系统的配置记录中定义中断服务的名称和所属的分区号,然后编译配置记录生成中断服务配置记录信息包; S102:三态系统启动后,将中断服务配置记录信息包共享给所有系统态的分区操作系统; S103:在用户态的分区应用中调用中断服务创建接口进行中断服务创建,审查中断服务创建接口所传入参数的有效性,若有效,用户态的分区应用进行系统调用进入系统态后进行中断服务是否合法配置的检查,通过将传入参数与所述中断服务配置记录信息包进行校验,之后进行中断服务状态的清除和等待队列参数的初始化; 在用户态的分区应用中调用中断服务等待接口进行中断服务等待,审查中断服务等待接口的传入参数的有效性,若有效,用户态的分区应用进行系统调用进入系统态后进行中断服务是否占有互斥量的检验;然后基于中断服务的名称和所属分区号确认中断状态的,如果有Hypervisor态发送上来的中断通知则进行等待成功返回,如果没有则根据设置的超时时间将调用中断服务的放入等待队列并挂起此进程; 在核心操作系统中调用中断服务发送接口向特定的分区发送中断服务,根据中断服务配置记录信息包的中断服务信息审查中断服务发送接口传入的参数的有效性,若有效则向指定的分区发送中断通知然后更新中断位图信息。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国航空工业集团公司西安航空计算技术研究所,其通讯地址为:710065 陕西省西安市高新区锦业二路15号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励