Method and device for detecting control dependence deadlocks

A technology for controlling dependencies and deadlock detection, applied in the direction of multi-programming devices, etc., can solve the problems of reducing detection efficiency and low detection efficiency, and achieve the effect of improving detection efficiency

Active Publication Date: 2013-08-28
CHINA UNITED NETWORK COMM GRP CO LTD
View PDF2 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the above-mentioned detection method using fragment graph query needs to generate a fragment graph, and in the generated fragment graph, each node is used as the starting point to track along the direction of the directed line segment, and the detection efficiency is low. The above query using fragment graph The loop detection method is applied to the

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method and device for detecting control dependence deadlocks
  • Method and device for detecting control dependence deadlocks
  • Method and device for detecting control dependence deadlocks

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0018] figure 1 A schematic flow chart of a control-dependent deadlock detection method provided by an embodiment of the present invention, as shown in figure 1 As shown, this embodiment may include:

[0019] 101. Create a first matrix.

[0020] Wherein, the first matrix is ​​used to indicate the resource request relationship between various activities in the BPEL process. The resource request relationship may specifically indicate that there is a resource request relationship between activities or that there is no resource request relationship between activities.

[0021] Specifically, each column of the first matrix corresponds to an activity, each row of the first matrix corresponds to an activity, and the columns and rows with the same number correspond to the same activity, and the non-empty elements in the first matrix are used to indicate the There is a resource request relationship between the activities corresponding to the rows and the activities corresponding to ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides a method and a device for detecting control dependence deadlocks. The method comprises the steps of establishing a first matrix for indicating resource request relations among activities in a business process execution language (BPEL) process, performing calculation based on elements in the first matrix, and detecting the control dependence deadlocks in the BPEL process. The calculation is performed based on the elements in the first matrix to detect the control dependence deadlocks, so that computer implementation is facilitated, fragment maps can be avoided, and the detection efficiency is improved through tracking with each node serving as a starting point along directions of directed line segments.

Description

technical field [0001] The invention relates to computer software technology, in particular to a control-dependent deadlock detection method and device. Background technique [0002] A Business Process Execution Language (BPEL) process consists of activities that indicate different operations. Each activity in the BPEL process can be a single activity, or a structured activity composed of at least two single activities, or a structured activity composed of a single activity and sub-structured activities. During the running of the BPEL process, according to the predefined resource waiting relationship among various activities, one activity requests resources from another activity, so that the other activity releases the requested resources, so that the operation indicated by the above-mentioned activity can be performed. Wherein, the resource waiting relationship includes a resource request relationship and a resource release relationship. [0003] During the running of the...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F9/46
Inventor 杨学红
Owner CHINA UNITED NETWORK COMM GRP CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap