Multi-process deadlock detection method based on petri network

A deadlock detection and multi-process technology, applied in software testing/debugging, etc., can solve problems such as misjudgment and missed judgment, lack of convincingness and omission of test results, reduce misjudgment and missed judgment, improve reliability and Accuracy, the effect of avoiding false assumptions

Active Publication Date: 2015-02-18
合肥康捷信息科技有限公司
View PDF3 Cites 9 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This simple processing method omits this part of the lock function, which may introduce many misjudgments and missed judgments, making the detection results unconvincing

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
  • Multi-process deadlock detection method based on petri network
  • Multi-process deadlock detection method based on petri network

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0035] In this embodiment, the petri net is a directed network structure composed of several lock resource node lists, resource node lists and conversion operation lists; each lock resource node in the lock resource node list represents a Lock variables; each resource node in the resource node list represents the execution flow of the program; each conversion operation list in the conversion operation list represents a lock function or fork function or execve class function; each conversion operation list in the A conversion operation includes an input resource node list and an output resource node list; each lock resource node in the lock resource node list contains the lock name and the number of lock resources; each resource node in the resource node list contains Contains the number of resources; the petri net contains the main process and multiple sub-processes introduced by the fork function and the execve function; the main process and each sub-process contain their own ...

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 discloses a multi-process deadlock detection method based on a petri network. The multi-process deadlock detection method is characterized by comprising the following steps: 1, creating a multi-process petri network; 2, executing deadlock detection based on the created multi-process petri network. The multi-process deadlock detection method is capable of accurately resolving syntax of a fork function and an execve class function, embodying the syntax into the petri network, reducing misjudgment and missed judgment of deadlock detection and improving the reliability and accuracy of the deadlock detection result.

Description

technical field [0001] The invention belongs to the aspect of deadlock detection in the field of software reliability, in particular to a petri net-based multi-process deadlock detection method. Background technique [0002] With the development of the times, the promotion of multi-core hardware, the development of multi-process concurrent programs has been more and more recognized by everyone, and has basically become the standard of an era. The performance superiority of multi-process concurrent programs is far beyond that of serial programs. However, the diversity and unpredictability of multi-process concurrent paths also bring great problems to debugging and testing. Developers cannot ensure the reliability of multi-process concurrent programs in the same way as serial programs. Deadlock is one of these problems that is often encountered. [0003] Deadlock problems are more difficult to find in software testing, and it is easy to miss them on the Internet. The diffi...

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): G06F11/36
Inventor 顾乃杰曹华雄张明黄理
Owner 合肥康捷信息科技有限公司
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