[发明专利]并行程序的MHP分析方法和装置有效
| 申请号： | 201610527181.2 | 申请日： | 2016-07-06 |
| 公开（公告）号： | CN106201874B | 公开（公告）日： | 2018-12-28 |
| 发明（设计）人： | 周卿;李炼;冯晓兵 | 申请（专利权）人： | 华为技术有限公司;中国科学院计算技术研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京同立钧成知识产权代理有限公司 11205 | 代理人： | 宋扬;刘芳 |
| 地址： | 518129 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明实施例提供一种并行程序的MHP分析方法和装置，一种并行程序的MHP分析方法包括：从待分析并行程序的主线程开始，每次选择一个线程，模拟待分析并行程序的执行，其中，当正在模拟执行的线程无法继续执行时，跳转至任一可继续执行的线程模拟执行，直至待分析并行程序的所有线程模拟执行完毕，其中，待分析并行程序包括至少两个线程；根据对待分析并行程序进行模拟执行的结果，构建与待分析并行程序对应的多线程控制流图；对多线程控制流图进行处理，得到保守正确的多线程控制流图，保守正确的多线程控制流图中的各节点的可能并发MHP结果不存在漏报；对保守正确的多线程控制流图进行MHP分析，得到待分析并行程序的MHP分析结果。 | ||
| 搜索关键词： | 并行 程序 mhp 分析 方法 装置 | ||
【主权项】：
1.一种并行程序的MHP分析方法，其特征在于，包括：从待分析并行程序的主线程开始，每次选择一个线程，模拟所述待分析并行程序的执行，其中，当正在模拟执行的线程无法继续执行时，跳转至任一可继续执行的线程模拟执行，直至所述待分析并行程序的所有线程模拟执行完毕，其中，所述待分析并行程序包括至少两个线程；根据对所述待分析并行程序进行模拟执行的结果，构建与所述待分析并行程序对应的多线程控制流图；对所述多线程控制流图进行处理，得到保守正确的多线程控制流图，所述保守正确的多线程控制流图中的各节点的可能并发MHP结果不存在漏报；对所述保守正确的多线程控制流图进行MHP分析，得到所述待分析并行程序的MHP分析结果。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华为技术有限公司;中国科学院计算技术研究所，未经华为技术有限公司;中国科学院计算技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610527181.2/，转载请声明来源钻瓜专利网。
- 上一篇：测试程序的执行方法和装置
- 下一篇：测试脚本的处理方法和装置
