发明名称 |
ENHANCING WEAK CONSISTENCY |
摘要 |
Methods to discover weak consistency errors in an application, by executing, by a debugger, a first thread of the application, by, determining that a first instruction in the first thread specifies to store a first value at a first memory address, setting a current value stored in the first memory address as an old value for the first memory address in a container for the first thread, executing the first instruction to store the first value at the first memory address, and setting the first value as a new value for the first memory address in the container for the first thread. The debugger then executes a second thread of the application, by restoring old values in the containers for all other threads and restoring a new value for each memory address specified in a container for the second thread to its respective memory address. |
申请公布号 |
US2016103752(A1) |
申请公布日期 |
2016.04.14 |
申请号 |
US201414567608 |
申请日期 |
2014.12.11 |
申请人 |
International Business Machines Corporation |
发明人 |
BATES Cary L.;HELGESON Lee;KING Justin K.;SCHLICHT Michelle A. |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
1. A method to discover errors in an application executed on a computing system, comprising:
executing, by a debugger, a first thread of the application, comprising:
upon determining that a first instruction in the first thread specifies to store a first value at a first memory address:
setting a current value stored in the first memory address as an old value for the first memory address in a container for the first thread;executing the first instruction to store the first value at the first memory address; andsetting the first value as a new value for the first memory address in the container for the first thread; executing, by the debugger, a second thread of the application, comprising:
restoring the old value in the container for the first thread to the first memory address; andrestoring a new value for each memory address specified in a container for the second thread to a respective memory address. |
地址 |
Armonk NY US |