11-06-2015 дата публикации
Номер: US20150161030A1
Принадлежит:
In a detecting method for concurrency bugs, a Current Fetter Set is defined for a dynamic instance of a static instruction in program invariants. A Belonging Invariants Set and an Enforcing Invariants Set from the Current Fetter Set are extracted. The Belonging Invariants Set and the Enforcing Invariants Set are pruned to obtain final results after pruning and storing the final results after pruning in an invariants database. Invariant violation is detected using a detection unit whether a first Current Fetter Set dissatisfying with corresponding Belonging Invariants Set and Enforcing Invariants Set is shown. If yes, the first Current Fetter Set is determined to contain a bug, the detection unit generating a violation report. A currently-running thread (the violated thread) is stalled to prevent running of the bug. 1. A detecting method for concurrency bugs , comprising following steps:defining a Current Fetter Set for a dynamic instance of a static instruction in program invariants, wherein the program invariants are instruction sets which are executed according to a preset order in a program;extracting a Belonging Invariants Set and an Enforcing Invariants Set from the Current Fetter Set;pruning the Belonging Invariants Set and the Enforcing Invariants Set to obtain final results after pruning and storing the final results after pruning in an invariants database;detecting invariant violation using a detection unit whether a first Current Fetter Set dissatisfying with corresponding Belonging Invariants Set and Enforcing Invariants Set is shown, if yes, determining that the first Current Fetter Set contains a bug, the detection unit generating a violation report; andstalling a currently-running thread to prevent running of the bug.2. The method of claim 1 , wherein the Current Fetter Set is that: in instructions executed before the instruction claim 1 , a set of instructions which are executed immediately before the instruction and operate the same memory as the ...
Подробнее