发明名称 Sampling techniques for dynamic data-race detection
摘要 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.
申请公布号 US8418146(B2) 申请公布日期 2013.04.09
申请号 US20080324290 申请日期 2008.11.26
申请人 MUSUVATHI MADANLAL;MARINO DANIEL;NARAYANASAMY SATISH;MICROSOFT CORPORATION 发明人 MUSUVATHI MADANLAL;MARINO DANIEL;NARAYANASAMY SATISH
分类号 G06F9/44 主分类号 G06F9/44
代理机构 代理人
主权项
地址