Invention Grant
US07861118B2 Machine instruction level race condition detection 有权
机器指令级别竞争条件检测

Machine instruction level race condition detection
Abstract:
An apparatus, method and computer-readable medium provide for detecting and filtering potential race conditions. In one example, potential race conditions may be detected by determining overlap of memory accesses (e.g., read, write). Potential race conditions may be filtered as potentially benign or harmful race conditions using, for example, heuristics, comparison of output states from execution of instructions or operations in differing sequences or identifying of associated output bugs corresponding to the execution of operations in different sequences.
Public/Granted literature
Information query
Patent Agency Ranking
0/0