首页 > 专利查询

一种基于Petri构件的软件线程冲突检测方法[发明专利]

专利名称：一种基于Petri构件的软件线程冲突检测方法专利类型：发明专利

发明人：廖赟，丁兆锟，谢波，史向东，贾钊，石磊

申请号：CN201911404625.3

申请日：20191230

公开号：CN111124933A

公开日：

20200508

专利内容由知识产权出版社提供

摘要：本发明公开了一种基于Petri构件的软件线程冲突检测方法，Petri构件的基础构件由若干个变迁、库所、令牌和有向弧组成；冲突类型分为信号量、条件变量、读写锁和栅栏；其特征是依据冲突类型同时或分别对待检测线种进行冲突检测，并根据如下S1和S2两个步骤进行：S1：建立待检测线程的Petri构件模型；S2：对期待检测的Petri构件模型进行冲突检测。本发明能够检测由于信号量、条件变量、读写锁和栅栏引发的冲突，为软件线线冲突提供了一种新的方法。

申请人：南京拓界信息技术有限公司

地址：210007 江苏省南京市秦淮区白下高新产业园永智路6号B栋7层

国籍：CN

本文发布于:2024-09-22 11:18:39，感谢您对本站的认可！

本文链接：https://www.17tex.com/tex/4/404953.html

上一篇：python爬虫篇4——爬取专利著作权信息

下一篇：一种将圆环柱形几何模型数据文件导入Tecplot软件的方法[发明专利]