[发明专利]程序向量化过程中动静结合的内存别名分析处理方法及装置有效
申请号: | 201911040673.9 | 申请日: | 2019-10-30 |
公开(公告)号: | CN110795106B | 公开(公告)日: | 2022-10-04 |
发明(设计)人: | 徐金龙;陶小涵;刘晓楠;李亚朋;李颖颖;黄亮明 | 申请(专利权)人: | 中国人民解放军战略支援部队信息工程大学 |
主分类号: | G06F8/41 | 分类号: | G06F8/41 |
代理公司: | 郑州大通专利商标代理有限公司 41111 | 代理人: | 周艳巧 |
地址: | 450000 河*** | 国省代码: | 河南;41 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明属于高性能计算并行化处理技术领域,特别涉及一种程序向量化过程中动静结合的内存别名分析处理方法及装置,包含:针对向量化过程中循环体内的所有内存引用,构建待测内存引用对集合;程序编译阶段,通过静态分析确定待测内存引用对别名状态,该待测内存引用对别名状态分为别名状态、非别名状态和不确定状态;针对不确定状态,在程序运行过程中动态检测内存引用对的别名状态,进而判定内存引用对是否存在依赖关系。本发明通过动静结合的别名分析和处理,实现向量化过程中对别名的有效预处理,并进一步通过代码多版本等生成不存在别名的多代码版本,降低依赖分析的复杂度,为程序的向量并行化提供支撑,具有较好的应用前景。 | ||
搜索关键词: | 程序 量化 过程 动静 结合 内存 别名 分析 处理 方法 装置 | ||
【主权项】:
1.一种程序向量化过程中动静结合的内存别名分析处理方法,其特征在于,包含:/n针对向量化过程中循环体内的所有内存引用,构建待测内存引用对集合;/n程序编译阶段,通过静态分析确定待测内存引用对别名状态,该待测内存引用对别名状态分为别名状态、非别名状态和不确定状态;/n针对不确定状态,在程序运行过程中动态检测内存引用对的别名状态;并针对程序编译阶段和运行过程中别名状态的内存引用对,判定该内存引用对存在依赖关系,针对非别名状态的内存引用对,则判定该内存引用对无依赖关系。/n
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国人民解放军战略支援部队信息工程大学,未经中国人民解放军战略支援部队信息工程大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201911040673.9/,转载请声明来源钻瓜专利网。