Synchrony relation based parallel dynamic data race detection system

Abstract

The invention discloses a synchrony relation based parallel dynamic data race detection system which comprises a filter module, a recording module, a vector clock computation module and a parallel detection module. The filter module is responsible for monitoring memory access operation of each thread of a to-be-detected program in the running process and filtering redundant memory accesses and accesses with data races impossibly occurring, and rest accesses after filtration are written in record files corresponding to the threads by the recording module. The vector clock computation module reads out the memory access records of the program from the record files, and computes vector clocks of the memory accesses. The parallel detection module partitions a detection task by the vector clocks into small tasks to be distributed to multiple worker threads, and is responsible for summarizing detection results. The system only records the memory accesses with the races possibly occurring and merges and compresses access intervals, so that the records are greatly decreased; meanwhile, a data race detection algorithm is high in degree of parallelism, and multi-core hardware can be fully utilized to realize detection acceleration.

Description

technical field [0001] The invention belongs to the field of computer software testing and debugging. More specifically, the invention describes a parallel dynamic data competition detection system based on a synchronization relationship. Background technique [0002] With the widespread popularity of multi-core hardware, multi-threaded software has also penetrated into all aspects of the computing field. Multi-threaded software can make full use of multi-core hardware resources and perform multiple tasks at the same time. It is especially suitable for tasks that require quick response to user operations. In addition, multi-threaded software can also speed up certain tasks exponentially. However, the inherent uncertainty of multi-threaded programs brings runtime errors such as data races, deadlocks, and violations of atomicity. Data races refer to when multiple threads access the same memory address and at least one of them is a write operation. The state of the program is ...

AI Technical Summary

Problems solved by technology

[0004] Aiming at the shortcomings of the existing dynamic data race detection method that the overhead is too high, the present invention proposes an offline parallel data race detection system. This method makes full use of the parallel structure of the program to be detected, so that the amount of memory access records is greatly reduced. The detection algorithm has High parallelism, which can take full advantage of existing multi-core platforms to speed up detection

Images