Apparatus and method for detecting data race
OwnerDae-Hyun CHO, Sung-Do Mooninventors
Life of this patent
Estimating the term…
Abstract
An apparatus and method for detecting a data race of a multithread system is provided. A thread may be divided into an open sub region or a closed sub region according to a vector clock and an execution state. In order to detect a data race before the execution is terminated, when an open sub region is converted to a closed sub region, a memory access event corresponding to the closed sub region is investigated and a memory access event having no parallel relation with an open sub region is deleted among memory access events having been subject to the investigation.
Claims15
An apparatus for detecting a data race in a computing system comprising:
- a dividing unit configured to divide a thread into at least one sub region according to a vector clock;
- an investigation unit configured to investigate memory access events that correspond to the at least one sub region, respectively, to detect a data race before an execution of the thread is terminated;
- and
- a deleting unit configured to delete a memory access event having no need for retention among the memory access events having been subject to the investigation.
A method of detecting a data race in a computing system comprising:
- dividing a thread into at least one sub region according to a vector clock;
- investigating memory access events that correspond to the at least one sub region, respectively, to detect a data race before an execution of the thread is terminated;
- and
- deleting a memory access event having no need for retention among the memory access events having been subject to the investigation.
A computer-readable medium having computer-executable instructions configured to execute a method of detecting a data race in a computing system, the instructions configured to:
- divide a thread into at least one sub region according to a vector clock;
- investigate memory access events that correspond to the at least one sub region, respectively, to detect a data race before an execution of the thread is terminated;
- and
- delete a memory access event having no need for retention among the memory access events having been subject to the investigation.
Dependencies are inferred from the claim text.