| 专利名称 | 并行程序的MHP分析方法和装置 | 申请号 | CN201610527181.2 | 专利类型 | 发明专利 | 公开（公告）号 | CN106201874A | 公开（授权）日 | 2016.12.07 | 申请（专利权）人 | 华为技术有限公司;中国科学院计算技术研究所 | 发明（设计）人 | 周卿;李炼;冯晓兵 | 主分类号 | G06F11/36(2006.01)I | IPC主分类号 | G06F11/36(2006.01)I | 专利有效期 | 并行程序的MHP分析方法和装置 至并行程序的MHP分析方法和装置 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明实施例提供一种并行程序的MHP分析方法和装置，一种并行程序的MHP分析方法包括：从待分析并行程序的主线程开始，每次选择一个线程，模拟待分析并行程序的执行，其中，当正在模拟执行的线程无法继续执行时，跳转至任一可继续执行的线程模拟执行，直至待分析并行程序的所有线程模拟执行完毕，其中，待分析并行程序包括至少两个线程；根据对待分析并行程序进行模拟执行的结果，构建与待分析并行程序对应的多线程控制流图；对多线程控制流图进行处理，得到保守正确的多线程控制流图，保守正确的多线程控制流图中的各节点的可能并发MHP结果不存在漏报；对保守正确的多线程控制流图进行MHP分析，得到待分析并行程序的MHP分析结果。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障