公开(公告)号：CN103473130B

公开(公告)日：2016-07-06

申请号：CN201310436849.9

申请日：2013-09-23

Applicant: 扬州大学

Inventor： 丁杰 ,  朱新山 ,  唐元生 ,  乔科

IPC: G06F9/46 ,  G06F9/52 ,  G06F17/50

Abstract: 本发明涉及一种基于随机进程代数的并发系统死锁检测方法，属于计算机应用技术领域。现有并发系统死锁检测技术都受状态空间爆炸问题的影响而效果不佳。本发明所述的方法主要是基于并发系统的逻辑架构和由它所决定的状态空间的结构特性来进行死锁检测，这种检测方法的复杂度基本不随系统中相同类型进程的数目的增加而增大。因而采用本发明所述的方法，能够有效地缓解一些大型并发系统死锁检测的状态空间爆炸问题。

公开(公告)号：CN103473130A

公开(公告)日：2013-12-25

申请号：CN201310436849.9

申请日：2013-09-23

Applicant: 扬州大学

Inventor： 丁杰 ,  朱新山 ,  唐元生 ,  乔科

IPC: G06F9/46 ,  G06F9/52 ,  G06F17/50

Abstract: 本发明涉及一种基于随机进程代数的并发系统死锁检测方法，属于计算机应用技术领域。现有并发系统死锁检测技术都受状态空间爆炸问题的影响而效果不佳。本发明所述的方法主要是基于并发系统的逻辑架构和由它所决定的状态空间的结构特性来进行死锁检测，这种检测方法的复杂度基本不随系统中相同类型进程的数目的增加而增大。因而采用本发明所述的方法，能够有效地缓解一些大型并发系统死锁检测的状态空间爆炸问题。