The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Dec. 28, 2010
Filed:
Mar. 30, 2007
Andrew James Edwards, Bellevue, WA (US);
James Jordan Tigani, Seattle, WA (US);
Zhenghao Wang, Redmond, WA (US);
Bradley Calder, Bellevue, WA (US);
Satish Narayanasamy, La Jolla, CA (US);
Andrew James Edwards, Bellevue, WA (US);
James Jordan Tigani, Seattle, WA (US);
Zhenghao Wang, Redmond, WA (US);
Bradley Calder, Bellevue, WA (US);
Satish Narayanasamy, La Jolla, CA (US);
Microsoft Corporation, Redmond, WA (US);
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.