Unlock instant, AI-driven research and patent intelligence for your innovation.

Self-adaptive lightweight dynamic mixed data competition detection method

A data competition and dynamic mixing technology, applied in error detection/correction, electrical digital data processing, software testing/debugging, etc., can solve problems such as false negatives and false positives, consumption of large memory resources, thread scheduling uncertainty, etc.

Active Publication Date: 2021-09-17
XIAN UNIV OF POSTS & TELECOMM
View PDF9 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The dynamic data race defect detection technology mainly collects relevant access information during the dynamic execution of the program under test, and then judges which access operations constitute data races. However, due to the uncertainty of thread scheduling, the collected relevant information is incomplete, and there are loopholes. false positives and false positives and the technique consumes a lot of memory resources

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
  • Self-adaptive lightweight dynamic mixed data competition detection method
  • Self-adaptive lightweight dynamic mixed data competition detection method
  • Self-adaptive lightweight dynamic mixed data competition detection method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0018] Taking the data race detection of the classic Java benchmark program "raytracer" as an example, combined with the attached figure 1 The specific implementation manner of an adaptive lightweight dynamic mixed data race detection method proposed by the present invention will be described.

[0019] Step 1: For a Java concurrent program raytracer, without affecting the dynamic execution process of raytracer, the dynamic data race detector maintains two read queues RC with length Q_LEN=6 for each shared variable x x and write queue WC x , RC x and WC x Both use the first-in-first-out principle to store the read access information and write access information of each thread to x with the cache mechanism. The access information is stored in the form of , which is used to represent the thread number of thread t, the access time stamp and the current thread’s time stamp. The set of locks held, where epoch is represented as t@c, which means that the current timestamp of thread...

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 self-adaptive lightweight dynamic mixed data competition detection method aiming at the problem of concurrent program dynamic data competition detection, and belongs to the field of concurrent program testing. According to the method, firstly, local data access and read-only data access of threads are filtered out, then only the positions of shared memories are analyzed, then two historical access information read-write queues are maintained for each shared memory, a self-adaptive lightweight representation method is adopted for read operation, when the shared memories are in a read concurrency state, access information is recorded by a vector clock, and otherwise, only recording the last access information, and data competition is detected by using a Happpens-before relationship and a LockSet algorithm. The invention provides a self-adaptive lightweight dynamic mixed data race detection method, which is favorable for improving the accuracy of data race detection and reducing the detection cost.

Description

technical field [0001] The invention belongs to the technical field of software testing, specifically relates to the problem of concurrent program data competition detection, and proposes an adaptive lightweight dynamic mixed data competition detection method. Background technique [0002] Multi-threaded programs are ubiquitous in modern programming, and are widely used because they can significantly improve system computing efficiency and performance. However, due to the interleaved execution of threads, many concurrency defects are difficult to find, which may lead to correct running results of concurrent programs. or directly lead to system crashes. Concurrent program defect detection plays an important role in concurrent program research, especially the data race problem accounts for a large proportion of common concurrency defects, so how to accurately and efficiently detect data race defects has become an urgent problem to be solved to improve the reliability and secur...

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 Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3688G06F11/3692
Inventor 孙家泽杨彦漫舒新峰
Owner XIAN UNIV OF POSTS & TELECOMM