Invention Grant
- Patent Title: Enhancing weak consistency
- Patent Title (中): 增强弱一致性
-
Application No.: US14567608Application Date: 2014-12-11
-
Publication No.: US09594667B2Publication Date: 2017-03-14
- Inventor: Cary L. Bates , Lee Helgeson , Justin K. King , Michelle A. Schlicht
- Applicant: International Business Machines Corporation
- Applicant Address: US NY Armonk
- Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Current Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Current Assignee Address: US NY Armonk
- Agency: Patterson + Sheridan, LLP
- Main IPC: G06F11/36
- IPC: G06F11/36

Abstract:
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.
Public/Granted literature
- US20160103752A1 ENHANCING WEAK CONSISTENCY Public/Granted day:2016-04-14
Information query