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

A Static Simplification Method of Concurrent Program Execution Trajectory Based on Weighted Dependency Graph

A program execution and dependency graph technology, applied in program synchronization, multi-program device, instrument, etc., can solve the problem that the optimal simplified trajectory cannot be obtained quickly and effectively

Active Publication Date: 2021-07-30
CHINA UNIV OF MINING & TECH
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The purpose of the present invention is to provide a static simplification method of concurrent program execution trajectory based on weighted dependency graph, to solve the problem that the existing concurrent program execution trajectory simplification method cannot quickly and effectively obtain the optimal simplified trajectory, and then reduce the original trajectory as much as possible Context switching in , improves software debugging productivity, allowing better reasoning about the causes of concurrency defects

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
  • A Static Simplification Method of Concurrent Program Execution Trajectory Based on Weighted Dependency Graph
  • A Static Simplification Method of Concurrent Program Execution Trajectory Based on Weighted Dependency Graph
  • A Static Simplification Method of Concurrent Program Execution Trajectory Based on Weighted Dependency Graph

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0045] In order to better understand the technical content of the present invention, specific embodiments are given together with the attached drawings for description as follows.

[0046] figure 1 It is a flowchart of a method for statically simplifying concurrent program execution paths based on a weighted dependency graph according to an embodiment of the present invention.

[0047] A method for statically simplifying concurrent program execution paths based on weighted dependency graphs, comprising the following steps:

[0048] 1) The calculation of event dependencies, by judging whether two adjacent events in the original trajectory are in the same thread, divides two adjacent events into local dependencies and remote dependencies, and further according to the types of two adjacent events that belong to remote dependencies, Two adjacent events are divided into conflict dependencies and synchronization dependencies. Conflict dependencies include read-write dependencies, w...

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 present invention provides a method for statically simplifying concurrent program execution tracks based on weighted dependency graphs, comprising the following steps: 1) calculating event dependencies; 2) building weighted dependency graphs; 3) simplifying weighted dependency graphs; 4) topological sorting. The present invention solves the problem that the current concurrent program execution trajectory method cannot quickly and effectively obtain the optimal simplified trajectory, not only minimizes the context switching in the original trajectory, but also reduces the randomness of the concurrent program execution trajectory simplification process A large amount of time is consumed, thereby improving the efficiency of concurrent program debugging, thus providing a guarantee for accurate repair of concurrent defects.

Description

technical field [0001] The invention belongs to the technical field of software testing, in particular to the field of concurrent program debugging, and is used to help developers quickly understand and repair errors in concurrent programs. Background technique [0002] The rise of multi-core architecture processors quickly broke through the performance bottleneck of single-core processors. In order to adapt to hardware upgrades, programming must change to multithreading. Therefore, concurrent programs have become the mainstream of today's software development industry. However, due to the shared memory mechanism of concurrent programs and the uncertainty of thread scheduling, concurrency defects will result. Unlike serial programs, these concurrency defects appear under specific thread scheduling, that is, by chance. Even if a concurrency defect occurs in a certain program execution, it will not be easily reproduced in the next execution, which will bring great trouble t...

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
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36G06F9/52
CPCG06F9/52G06F11/362
Inventor 姜淑娟薄莉莉
Owner CHINA UNIV OF MINING & 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