Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Software thread conflict detection method based on Petri component

A conflict detection and threading technology, applied in software testing/debugging, error detection/correction, instruments, etc., can solve problems such as multi-threaded resource utilization and contention conflicts, achieve good intuition and visualization features, and enhance the effect of comprehensiveness

Inactive Publication Date: 2020-05-08
NANJING TUOJIE INFORMATION TECH
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The purpose of the present invention is to propose a software thread conflict detection method based on the Petri component for a series of problems existing in the above-mentioned technical background, which can effectively solve the problem that computer software development involves multi-thread resource utilization contention conflicts, and at the same time The intuitiveness and visualization of the inspection highlights the unique advantages

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
  • Software thread conflict detection method based on Petri component
  • Software thread conflict detection method based on Petri component

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0026] The above-mentioned content of the present invention will be described in further detail below through examples, but it should not be understood that the scope of the above-mentioned theme of the present invention is limited to the following examples.

[0027] The basic components of Petri components are composed of several transitions, places, tokens, and directed arcs; conflict types are divided into semaphores, condition variables, read-write locks, and fences; the characteristic is that the detection lines are treated simultaneously or separately according to the conflict types Conflict detection is carried out according to the following two steps of S1 and S2: S1: establish the Petri component model of the thread to be detected; S2: perform conflict detection on the Petri component model expected to be detected.

[0028] First step S1 is to establish the Petri component model of the thread to be detected, wherein the operations include:

[0029] 1. The condition va...

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 software thread conflict detection method based on a Petri component. A basic component of the Petri component is composed of a plurality of transitions, libraries, tokens and directed arcs. The conflict types are divided into semaphore, conditional variables, read-write locks and fences; the method is characterized in that conflict detection is carried out on to-be-detected threads simultaneously or separately according to conflict types, and the method is carried out according to the following two steps S1 and S2: S1, establishing a Petri component model of the to-be-detected threads; and S2, carrying out conflict detection out on the Petri component model expected to be detected. According to the method, conflicts caused by semaphore, conditional variables, read-write locks and fences can be detected, and a new method is provided for software line conflicts.

Description

technical field [0001] The invention relates to the field of computer software technology and software thread operation reliability detection, in particular to a software thread conflict detection method based on Petri components. Background technique [0002] The rapid development of information technology largely depends on the software technology in information technology. The program running in the current software development technology is supported by multiple CPUs and large memory capacity hardware resources. The traditional single-process single-thread program obviously cannot adapt to the pace of software development. Only concurrent programs can meet the needs of users. However, although concurrent programs have the characteristics of fast computing speed and good user experience, they have high complexity and unfathomable reliability, especially when many threads use unscientific or unreasonable resources. It is found that there is a conflict in resource utilizat...

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
CPCG06F11/3608
Inventor 廖赟丁兆锟谢波史向东贾钊石磊
Owner NANJING TUOJIE INFORMATION TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com