DETECTING METHOD AND SYSTEM FOR CONCURRENCY BUGS
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
N/A
Issued Date -
Jun 11, 2015
app pub date -
Dec 6, 2014
filing date -
Dec 6, 2013
priority date (Note) -
Abandoned
status (Latency Note)
Importance
|
US Family Size
|
Non-US Coverage
|
Abstract
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.
First Claim
Other Claims data not available
Family
| Country | kind | publication No. | Filing Date |
|---|---|---|---|
| CN | B | CN103679038 | Dec 06, 2013 |
International Classification(s)
- 2014 Application Filing Year
- G06F Class
- 51669 Applications Filed
- 44228 Patents Issued To-Date
- 85.60 % Issued To-Date
Cited Art Landscape
Patent Citation Ranking
- 7 Citation Count
- G06F Class
- 8.54 % this patent is cited more than
- 10 Age