发明名称 Detecting race conditions in computer programs
摘要 Recording and replaying computer programs includes detecting whether a race condition exists among multiple threads of a multithreaded application program. In an embodiment, detecting race conditions comprises detecting and preventing an operation of a first thread of an application program to read or write a computer memory, wherein the application program executes a plurality of threads; storing an exception point representing a current location in an execution path of the application program; allowing the operation to read or write the memory; creating and storing a record identifying the memory, the first thread, and an index value for a location in the execution path; and determining, based on the record and a plurality of other similar records, whether a race condition exists at the exception point for the first thread and one or more other threads in the plurality of the threads.
申请公布号 US7673181(B1) 申请公布日期 2010.03.02
申请号 US20060449157 申请日期 2006.06.07
申请人 REPLAY SOLUTIONS, INC. 发明人 LINDO JONATHAN;DAUDEL JEFFREY
分类号 G06F11/00 主分类号 G06F11/00
代理机构 代理人
主权项
地址