Invention Grant
- Patent Title: Sampling techniques for dynamic data-race detection
- Patent Title (中): 动态数据竞赛检测采样技术
-
Application No.: US12324290Application Date: 2008-11-26
-
Publication No.: US08418146B2Publication Date: 2013-04-09
- Inventor: Madanlal Musuvathi , Daniel Marino , Satish Narayanasamy
- Applicant: Madanlal Musuvathi , Daniel Marino , Satish Narayanasamy
- Applicant Address: US WA Redmond
- Assignee: Microsoft Corporation
- Current Assignee: Microsoft Corporation
- Current Assignee Address: US WA Redmond
- Agency: Lee & Hayes, PLLC
- Main IPC: G06F9/44
- IPC: G06F9/44

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.
Public/Granted literature
- US20100131931A1 SAMPLING TECHNIQUES FOR DYNAMIC DATA-RACE DETECTION Public/Granted day:2010-05-27
Information query