Optimization method and system for detecting dynamic data competition based on Buffer Track
The invention relates to the technical field of computer programs, in particular to an optimization method and system for detecting dynamic data competition based on Buffer Track. Comprising the following steps: S1) initializing a vector clock, and adjusting the vector clock by adopting a sub-hb rel...
Gespeichert in:
Hauptverfasser: | , , , , , , , , , , |
---|---|
Format: | Patent |
Sprache: | chi ; eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | The invention relates to the technical field of computer programs, in particular to an optimization method and system for detecting dynamic data competition based on Buffer Track. Comprising the following steps: S1) initializing a vector clock, and adjusting the vector clock by adopting a sub-hb relationship; s2) storing the lock set of each thread, and performing read-write operation on the lock set of the current thread; s3) performing competition detection with the information in the buffer area to realize competition prediction; and S4) dynamically adjusting the size of the buffer area according to a data competition prediction result. The DCS system comprises a Pin frame system and a PinTool, an open-source Pin tool frame is adopted as a main body of data race detection, a Pin tool is integrated into the DCS system, the Pin tool is automatically activated for detection when the system is started, and a detection result is recorded in a log file in real time. According to the method, the detection efficie |
---|