[发明专利]一种接口感知的编译配置项补全方法、系统和介质有效
申请号: | 202211553624.7 | 申请日: | 2022-12-06 |
公开(公告)号: | CN115562719B | 公开(公告)日: | 2023-04-07 |
发明(设计)人: | 秦莹;张雪艳;阳娅婧;马俊;李小玲;高珑;王静;贾周阳;赵欣;谭郁松 | 申请(专利权)人: | 中国人民解放军国防科技大学 |
主分类号: | G06F8/71 | 分类号: | G06F8/71;G06F8/74;G06F8/41;G06F16/36 |
代理公司: | 湖南兆弘专利事务所(普通合伙) 43008 | 代理人: | 谭武艺 |
地址: | 410073 湖*** | 国省代码: | 湖南;43 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 一种 接口 感知 编译 配置 项补全 方法 系统 介质 | ||
1.一种接口感知的编译配置项补全方法,其特征在于,包括:
S101,针对给定的接口集合I,根据预设的配置项-接口关系CIG得到接口集合I对应的关联配置项集合CIrelevance;
S102,针对关联配置项集合CIrelevance进行自洽性计算,若任意配置项对发生冲突则判定自洽性不成立,将所有发生冲突的配置项所对应的接口加入互斥接口对集合Iexclusive,最终输出互斥接口对集合Iexclusive,结束并退出;否则跳转下一步;
S103,针对关联配置项集合CIrelevance,根据预设的配置项-配置项关系CG得到对应的全部配置项,所述配置项-配置项关系CG中包含配置项之间的逻辑关系,所述逻辑关系为通过与、或、非表达的互斥或依赖关系中的一种;针对全部配置项进行自洽性计算,若任意配置项对发生冲突则判定自洽性不成立,将所有发生冲突的配置项加入互斥配置项集合对CIexclusive,最终输出互斥配置项集合对CIexclusive,结束并退出;否则,根据给定的内核配置项集合
步骤S101之前还包括生成配置项-接口关系CIG的步骤:扫描内核编译所需的编译文件Makefile,从编译文件Makefile中分析提取出配置项和后缀为“.o”的输出文件之间的关系,得到配置项对应的输出文件列表;扫描后缀为“.o”的输出文件所对应的后缀为“.c”的源文件,从后缀为“.c”的源文件中分析提取出所有的接口,生成配置项对应的接口描述文件;扫描后缀为“.o”的输出文件所对应的后缀为“.c”的源文件,根据配置项对应的接口描述文件从后缀为“.c”的源文件中分析提取出配置项和接口的关联关系,从而生成用于描述配置项、接口之间关联关系的配置项-接口关系CIG;
步骤S103之前还包括生成配置项-配置项关系CG的步骤:扫描内核编译所需的配置项元数据文件Kconfig,从配置项元数据文件Kconfig中分析提取出配置项之间的逻辑关系,根据配置项之间的逻辑关系得到用于描述配置项、配置项之间逻辑关系的配置项-配置项关系CG。
2.根据权利要求1所述的接口感知的编译配置项补全方法,其特征在于,所述配置项-接口关系CIG中包含有配置项、接口之间关联关系。
3.根据权利要求2所述的接口感知的编译配置项补全方法,其特征在于,所述配置项-接口关系CIG中包含的配置项、接口之间关联关系包括互斥和依赖两种关联关系。
4.一种接口感知的编译配置项补全系统,包括相互连接的微处理器和存储器,其特征在于,所述微处理器被编程或配置以执行权利要求1~3中任意一项所述接口感知的编译配置项补全方法的步骤。
5.一种计算机可读存储介质,所述计算机可读存储介质中存储有计算机程序,其特征在于,所述计算机程序用于被微处理器编程或配置以执行权利要求1~3中任意一项所述接口感知的编译配置项补全方法的步骤。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科技大学,未经中国人民解放军国防科技大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202211553624.7/1.html,转载请声明来源钻瓜专利网。