[发明专利]控制依赖死锁检测方法和装置

权利要求书

1.一种控制依赖死锁检测方法，其特征在于，包括：

创建第一矩阵，所述第一矩阵用于指示业务流程执行语言BPEL流程中各个活动之间的资源请求关系；

基于所述第一矩阵中的元素进行计算，获得每个活动对应的第一目标活动和第二目标活动，所述第一目标活动为所有活动中向所述活动请求资源的活动，所述第二目标活动为所有活动中向所述活动释放资源的活动，判断所述第一目标活动与所述与第二目标活动是否包含相同的活动，若是，则确定检测到所述BPEL流程存在控制依赖死锁。

2.根据权利要求1所述的控制依赖死锁检测方法，其特征在于，所述第一矩阵的每列对应一个活动，所述第一矩阵的每行对应一个活动，且相同编号的列和行对应的活动相同；所述第一矩阵中的非空元素用于指示所述第一矩阵的行所对应的活动与所述第一矩阵的列所对应的活动之间存在资源请求关系；

所述基于所述第一矩阵中的元素进行计算，获得每个活动对应的第一目标活动和第二目标活动，包括：

获取由所述第一矩阵的第一列中除第一个元素外的其余元素构成的列向量，以及获取由所述第一矩阵的第一行中除第一个元素外的其余元素构成的行向量；

将所述列向量乘以所述行向量获得第二矩阵，所述第二矩阵中的非空元素所在列所对应的活动为所述第一目标活动，所述第二矩阵中的非空元素所在行所对应的活动为所述第二目标活动；

将所述第一矩阵更新为所述第二矩阵与第三矩阵相加的结果，并返回执行获取由所述第一矩阵的第一列中除第一个元素外的其余元素构成的列向量，以及获取由所述第一矩阵的第一行中除第一个元素外的其余元素构成的行向量的操作，直到所述第一矩阵仅包含一个元素为止；所述第三矩阵是由所述第一矩阵去掉第一行和第一列的元素得到的矩阵。

3.根据权利要求2所述的控制依赖死锁检测方法，其特征在于，所述判断所述第一目标活动与所述第二目标活动是否包含相同的活动，包括：

判断所述第二矩阵的对角线上是否包含非空元素，如果判断结果为是，则判定所述第一目标活动与所述第二目标活动包含相同的活动；如果判断结果为否，则判定所述第一目标活动与所述第二目标活动不包含相同的活动。

4.根据权利要求1所述的控制依赖死锁检测方法，其特征在于，所述创建第一矩阵，包括：

根据所述BPEL流程中各个活动的总数n，确定所述第一矩阵的行数和列数均为n；所述活动包括单一活动、结构化活动和构成所述结构化活动的单一活动；

根据所述BPEL流程中各个活动之间的资源请求关系，确定所述第一矩阵中的元素e_ij，其中e_ij用于指示第j行对应的活动a_j是否从第i列对应的活动a_i请求资源，若i=j，或者i≠j且所述第j行对应的活动a_j不从所述第i列对应的活动a_i请求资源，则记为若i≠j且所述第j行对应的活动a_j从所述第i列对应的活动a_i请求资源，则记为e_ij=a_ia_j。

5.根据权利要求1-3任一项所述的控制依赖死锁检测方法，其特征在于，所述创建第一矩阵包括：

根据所述BPEL流程中各个活动之间的资源请求关系，从所述BPEL流程中的各个活动中删除既不需要释放资源且不需要请求资源的活动；

根据所述BPEL流程中删除既不需要释放资源且不需要请求资源的活动之后剩余的各个活动之间的资源请求关系，创建所述第一矩阵。

6.一种控制依赖死锁检测装置，其特征在于，包括：

创建模块，用于创建第一矩阵，所述第一矩阵用于指示业务流程执行语言BPEL流程中各个活动之间的资源请求关系；

获得模块，用于基于所述第一矩阵中的元素进行计算，获得每个活动对应的第一目标活动和第二目标活动，所述第一目标活动为所有活动中向所述活动请求资源的活动，所述第二目标活动为所有活动中向所述活动释放资源的活动；

检测模块，用于判断获得模块获得的所述第一目标活动与所述第二目标活动是否包含相同的活动，若是，则确定检测到所述BPEL流程存在控制依赖死锁。