Invention Grant
- Patent Title: Machine instruction level race condition detection
- Patent Title (中): 机器指令级别竞争条件检测
-
Application No.: US11694864Application Date: 2007-03-30
-
Publication No.: US07861118B2Publication Date: 2010-12-28
- Inventor: Andrew James Edwards , James Jordan Tigani , Zhenghao Wang , Bradley Calder , Satish Narayanasamy
- Applicant: Andrew James Edwards , James Jordan Tigani , Zhenghao Wang , Bradley Calder , Satish Narayanasamy
- Applicant Address: US WA Redmond
- Assignee: Microsoft Corporation
- Current Assignee: Microsoft Corporation
- Current Assignee Address: US WA Redmond
- Main IPC: G06F11/00
- IPC: G06F11/00 ; G06F11/34

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
- US20080244332A1 MACHINE INSTRUCTION LEVEL RACE CONDITION DETECTION Public/Granted day:2008-10-02
Information query