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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: TAO XIANJUN, LYU BAO, WU XIANFEI, LI RUI, DONG ZHENYU, HAN WENZHI, XIA LIANGZHU, CHEN PENG, JIANG PEI, XU YIPING, HUANG QIANHUA
Format: Patent
Sprache:chi ; eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
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