专利详情

专利名称	一种高性能单机多核并行模型检测方法
申请号	CN201610270109.6	专利类型	发明专利
公开（公告）号	CN105955883A	公开（授权）日	2016.09.21
申请（专利权）人	中国科学院软件研究所	发明（设计）人	张营飞;谢淼;张珩;杨秋松
主分类号	G06F11/36(2006.01)I	IPC主分类号	G06F11/36(2006.01)I
专利有效期	一种高性能单机多核并行模型检测方法至一种高性能单机多核并行模型检测方法	法律状态	实质审查的生效
说明书摘要	本发明公开了一种高性能单机多核并行模型检测方法。本方法为：1)创建待检测系统模型与待测属性的组合状态空间中的初始节点；2)状态空间生成器将该初始节点映射成Ligra计算图中的一个顶点，然后逐步生成该初始节点的后继节点，初始节点及已生成的后继节点构成一状态空间；其中，该初始节点为第1级节点，第i级节点包含N层第i+1级后继节点，每一层后继节点包含多个节点，每次属于同一级节点的后继节点全部生成之后，将当前状态空间映射成一Ligra计算图，然后调用可接收环检测器检测该Ligra计算图中是否有可接收环，如果有则停止模型检测。该方法具有性能高、可扩展性好等特点。