Patent · US Active

Sampling techniques for dynamic data-race detection

US8418146B2 · kind B2 · utility

1Cited by

2References

18Claims

0Family size

Assignee

Microsoft Corporation · US

Inventors

Madanlal Musuvathi · Redmond, US
Daniel Marino · Los Angeles, US
Satish Narayanasamy · Ann Arbor, US

Key dates

Filing date	Nov 26, 2008
Grant date	Apr 9, 2013
Priority date	—
Expiry date	Jan 25, 2032

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3636
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

This document describes a dynamic data race detector that utilizes adaptive sampling techniques. The adaptive sampling techniques include locating threads during execution of a multi-threaded program and identifying thread-specific hot paths, thread-specific cold paths and lockset paths during execution of the program. Once these paths are identified, they are sampled, potentially at different rates. Any information gained during the sampling may be stored in a data race log, which a developer may use to correct any identified program bugs.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.