Concurrent program deadlock detection method based on Petri network MIP method

A technology of deadlock detection and programming, applied in the direction of multi-programming devices, etc., can solve problems such as the inability to guarantee that the program is free from deadlocks, economic losses, and catastrophic consequences, so as to avoid online computing costs, have certainty, and improve computing efficiency Effect

Inactive Publication Date: 2014-11-19
ZHEJIANG GONGSHANG UNIVERSITY
View PDF1 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In fact, for the deadlock detection of concurrent programs, the traditional non-modeled deadlock detection methods cannot guarantee that the program is deadlock-free
This is very dangerous

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
  • Concurrent program deadlock detection method based on Petri network MIP method
  • Concurrent program deadlock detection method based on Petri network MIP method
  • Concurrent program deadlock detection method based on Petri network MIP method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0026] The technical solutions of the present invention will be further described below in conjunction with the accompanying drawings and embodiments.

[0027] figure 1 Be a kind of flow chart of the concurrent program deadlock detection method based on Petri net MIP method of the present invention, specifically comprise the following steps:

[0028] Step (1) Generate a control flow diagram (CFG) for the concurrent program to be tested according to its task set and resource set.

[0029] Taking the classic problem of "dining philosophers" as an example, such as figure 2As shown, the description is as follows: five philosophers sit around a round table, each philosopher has a plate of pasta in front of him, and a fork is placed between two adjacent plates. Each philosopher needs two forks to eat spaghetti, and must take the forks on his left and right two times, one at a time, but in no order. If you manage to get two forks, start eating and put down the forks when you're d...

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 concurrent program deadlock detection method based on a Petri network MIP method. The method comprises the steps that a control flow graph (CFG) is generated according to a task set and a resource set for a concurrent program code to be detected; according to the generated CFG, a Petri network model of the CFG is created; on the basis of the built Petri network model, deadlock detection analysis is carried out on the basis of the MIP method; the detection result is output. According to the concurrent program deadlock detection method based on the Petri network MIP method, a concurrent program is described through the concise and visual Petri network model, deadlock detection is carried out by the adoption of the MIP method in the Petri network theory, the calculation efficiency is improved, no high online calculation cost is generated, and the deadlock detection result has the certainty. In other words, on the basis of building the concurrent program code Petri network model, if the MIP method calculation result is that no beacon capable of being cleared exists, the concurrent program can be determined to be deadlock-free.

Description

technical field [0001] The invention relates to a concurrent program deadlock detection method, in particular to a concurrent program deadlock detection method based on the Petri net MIP method. technical background [0002] A concurrent program refers to a program that contains two or more concurrently running threads, which can be used to improve the response speed of the program and the efficiency of the processor. With the advent of the computer multi-core era, this multi-threaded concurrent program has become the trend of modern programming. However, when concurrent programs are in use, problems such as mutual exclusion, synchronization, and deadlock will occur when switching between multiple threads and sharing variables. These concurrency bugs not only reduce the productivity of programmers, weaken the security of software, but also ultimately harm the interests of end users. [0003] At present, most of the researches on the deadlock problem in multi-threaded paral...

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 ZHEJIANG GONGSHANG UNIVERSITY
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