Software thread conflict detection method based on CPNtools (Colored Petri Nets tools)

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: 2018-07-03
廖赟
View PDF4 Cites 1 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 CPNTools for a series of problems existing in the above-mentioned technical background, which can effecti

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 CPNtools (Colored Petri Nets tools)

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

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

[0028] First step S1 is to establish the CPNTools model of the thread to be detected, and the operations include:

[0029] 1. Configure resources for the condition v...

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 CPNtools (Colored Petri Nets tools). The basic construction member of the CPNtools consists of a plurality of changes, places, tokens and directed arcs, and conflict types are divided into semaphore, a conditional variable, a read-write lock and a fence. The method is characterized in that thread categories to be detectedare simultaneously or independently subjected to conflict detection on the basis of the conflict types. The method is carried out according to the following two steps that: S1: establishing the CPNtools model of a thread to be detected; and S2: carrying out conflict detection on the CPNtools model which expects to be detected. By use of the method, conflicts caused by the semaphore, the conditional variable, the read-write lock and the fence can be detected, and a new method is provided for the software thread conflict.

Description

Technical field [0001] The invention relates to the field of computer software technology and software thread running reliability detection, in particular to a software thread conflict detection method based on CPNTools. Background technique [0002] The rapid development of information technology is largely based on software technology in information technology. The program running in current software development technology is supported by hardware resources with multiple CPUs and large memory capacity. Obviously, traditional single-process single-threaded programs cannot adapt to the pace of software development. Only concurrent programs can meet the needs of users. However, although concurrent programs have good characteristics of fast computing speed and good user experience, they have high complexity and difficult to grasp reliability, especially when many threads use resources unscientifically or unreasonably. Discovery of conflicts in resource utilization, seriously affec...

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 廖赟
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