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

龙图腾网获悉浙江大学申请的专利一种基于静态链接的库操作系统动态更新方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118394378B 。

龙图腾网通过国家知识产权局官网在2025-06-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410450533.3，技术领域涉及：G06F8/65；该发明授权一种基于静态链接的库操作系统动态更新方法是由赵新奎;汪富慧;占羽淳;杨牧宇;尹建伟;邓水光设计研发完成，并于2024-04-15向国家知识产权局提交的专利申请。

本一种基于静态链接的库操作系统动态更新方法在说明书摘要公布了：本发明公开了一种基于静态链接的库操作系统动态更新方法。本发明首先扩展QEMU接口，动态更新操作的执行通过虚拟中断触发接口；其次增强编译链接并启动LibOS镜像，实现将镜像的符号表编译进数据段，以供运行中的LibOS获取；编译生成可重定位目标文件格式的新版本微库；然后注入虚拟中断到运行中的LibOS；加载、解析并基于静态链接处理微库；最后初始化新版本微库。本发明实现了在库操作系统运行时进行微库级别的动态更新，通过虚拟中断注入的方式触发更新操作，最大限度降低动态更新的开销；使用微库可被加载入任意可用内存段的设计，让动态更新更加灵活；将载入内存中的微库与内核静态链接，维持库操作系统的高运行时性能。

本发明授权一种基于静态链接的库操作系统动态更新方法在权利要求书中公布了：1.一种基于静态链接的库操作系统动态更新方法，其特征在于该方法包括以下步骤： 步骤1：扩展QEMU接口，动态更新操作的执行通过虚拟中断触发所述接口； 步骤2：增强编译链接并启动LibOS镜像，实现将镜像的符号表编译进数据段，以供运行中的LibOS获取； 步骤3：编译生成可重定位目标文件格式的新版本微库； 步骤4：注入虚拟中断到运行中的LibOS； 步骤5：加载、解析并基于静态链接处理微库； 步骤6：初始化新版本微库； 其中步骤1具体是： 1在GSIState结构体变量创建或初始化时使用全局变量指针记录该结构体变量，用于后续获取具体中断的结构体； 2创建trigger_irq函数，在该函数中，从GSIState结构体变量中获取相应中断号的中断结构体，用该结构体变量作为参数调用qemu_irq_pulse，完成一次虚拟中断注入； 3将trigger_irq函数和对应的触发命令irq_trigger写入QEMUMonitor命令的配置文件中，并重新编译，完成接口扩展； 步骤2具体是： step1：将所有库的可重定位ELF文件链接在一起，生成ukdebug镜像和uk镜像； step2：从ukdebug镜像剥离符号表，解析符号表并生成symbols.S，symbols.S中将所有符号名和符号值声明为全局变量，并编译在.rodata段中，生成symbols.o； step3：将symbols.o和所有库的可重定位文件一起链接生成uktempdebug镜像； step4：将symbols2.o和所有库的可重定位文件一起编译生成最终的uk镜像； 默认链接过程只进行到step1，增强编译链接后，链接过程将从step1走到step4，实现将uk符号表信息编译进uk镜像的.rodata段中，并提供接口以进行快速地符号查询； 编译链接完成后，使用QEMU启动LibOS镜像，并开启QEMUMonitor、创建连接QEMUMonitor的socket； 步骤4具体是：通过连接socket进入QEMUMonitor，使用扩展的接口irq_trigger注入虚拟中断到运行中的LibOS，以触发动态更新操作。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。