logo

For the Inventor, By the Inventor

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.:

US 8813038 B1

PDFFull Text
Date of Patent:
Aug. 19, 2014

Filed:

Feb. 09, 2011

Data race detection

Applicants:

John Erickson, Redmond, WA (US);

Madan Musuvathi, Redmond, WA (US);

Inventors:

John Erickson, Redmond, WA (US);

Madan Musuvathi, Redmond, WA (US);

Assignee:

Microsoft Corporation, Redmond, WA (US);

Attorneys:

Dan Choi

Brian Haslam

Micky Minhas

Primary Examiner:

Thuy Dao

Int. Cl.
CPC ...
G06F 9/44 (2006.01); G06F 9/45 (2006.01);
U.S. Cl.
CPC ...
Abstract

The claimed subject matter provides a method for detecting a data race. The method includes inserting a plurality of breakpoints into a corresponding plurality of program locations. Each of the program locations accesses a plurality of memory locations. Each of the program locations is selected randomly. The method also includes detecting one or more data races for the memory locations in response to one or more of the breakpoints firing. Additionally, the method includes generating a report describing the one or more data races.

Find Patent Forward Citations

Erickson, John. (2014). Data race detection (U.S. Patent No. 8813038). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/8813038

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…