专利详情

专利名称	并行程序的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分析结果。