| 发明名称 |
Identifying globally consistent states in a multithreaded program |
| 摘要 |
In a method of identifying a globally consistent state in a multithreaded program, a plurality of locally consistent states is identified, in which a locally consistent state of a thread comprises a set of memory locations and their corresponding data values accessed between points in the multithreaded program where no locks are held. Globally consistent states are identified based at least in part on the locally consistent states. |
| 申请公布号 |
US8813042(B2) |
申请公布日期 |
2014.08.19 |
| 申请号 |
US201213441656 |
申请日期 |
2012.04.06 |
| 申请人 |
Hwlett-Packard Development Company, L. P. |
发明人 |
Chakrabarti Dhruva |
| 分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
1. A method for identifying a globally consistent state in a multithreaded program, said method comprising:
identifying a plurality of locally consistent states in said multithreaded program, wherein a locally consistent state of a thread comprises a set of memory locations and their corresponding data values accessed between points in said multithreaded program where no locks are held; and identifying said globally consistent state based at least in part on said locally consistent states. |
| 地址 |
Houston TX US |
