发明名称 |
DATA RACE ANALYSIS WITH IMPROVED DETECTION FILTERING |
摘要 |
A method according to one embodiment includes the operations of receiving a list of one or more data race analysis targets, wherein the data race analysis targets comprise at least one of a source file name, source file line, function name, variable name or target address range; generating a data race analysis filter, wherein the data race analysis filter comprises a data structure including memory address ranges based on the list of data race analysis targets; and performing a data race analysis on a memory access, wherein the memory access is associated with memory addresses included in the data race analysis filter. |
申请公布号 |
US2014317129(A1) |
申请公布日期 |
2014.10.23 |
申请号 |
US201113991433 |
申请日期 |
2011.09.02 |
申请人 |
Metzger Markus T. |
发明人 |
Metzger Markus T. |
分类号 |
G06F17/30 |
主分类号 |
G06F17/30 |
代理机构 |
|
代理人 |
|
主权项 |
1. A method, comprising:
receiving a list of one or more data race analysis targets, wherein said data race analysis targets comprise at least one of a source file name, source file line, function name, variable name or target address range; generating a data race analysis filter, wherein said data race analysis filter comprises a data structure including memory address ranges based on said list of data race analysis targets; and performing a data race analysis on a memory access, wherein said memory access is associated with memory addresses included in said data race analysis filter. |
地址 |
Ulm DE |