Randomized testing within transactional execution

• US 10,223,214 B2
• Filed: 06/24/2016
• Issued: 03/05/2019
• Est. Priority Date: 06/15/2012
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Greiner, Dan F., Jacobi, Christian, Slegel, Timothy J.
• Primary Examiner(s): Caldwell, Andrew
• Assistant Examiner(s): Metzger, Michael J
• Application Number:
  US15/192,565
• Publication Number:
  US 20160306718A1
• Time in Patent Office: 984 Days
• CPC Class Codes: G06F 11/1474 in transactions G06F16/20 takes precedence
• CPC Class Codes: G06F 11/3636 by tracing the execution of the program
• CPC Class Codes: G06F 11/366 using diagnostics G06F11/0703 takes precedence
• CPC Class Codes: G06F 11/3688 for test execution, e.g. scheduling of test suites
• CPC Class Codes: G06F 13/4068 Electrical coupling
• CPC Class Codes: G06F 2201/87 Monitoring of transactions
• CPC Class Codes: G06F 9/3861 Recovery, e.g. branch miss-prediction, exception handling error detection or correction G06F11/00
• CPC Class Codes: G06F 9/466 Transaction processing
• CPC Class Codes: G06F 9/467 Transactional memory G06F9/528 takes precedence

Abstract

Task specific diagnostic controls are provided to facilitate the debugging of certain types of abort conditions. The diagnostic controls may be set to cause transactions to be selectively aborted, allowing a transaction to drive its abort handler routine for testing purposes. The controls include, for instance, a transaction diagnostic scope and a transaction diagnostic control. The transaction diagnostic scope indicates when the transaction diagnostic control is to be applied, and the transaction diagnostic control indicates whether transactions are to selectively aborted.

Claims

1. A computer program product for controlling execution of transactions in a computing environment, said computer program product comprising:

a non-transitory computer readable storage medium readable by a processing circuit and storing instructions for execution by the processing circuit for performing a method comprising;

initiating a transaction in a computing environment; and

determining, by control logic of a processor, whether the transaction is to be aborted, the determining employing one or more controls of a control register used by the processor, the one or more controls to indicate whether transactions are to be randomly selected to be aborted for testing purposes, wherein the control register comprises a transaction diagnostic control to be used in determining whether transactions are to be selected to be aborted, and a transaction diagnostic scope to indicate whether the transaction diagnostic control is to be applied, wherein a first value of the transaction diagnostic scope indicates the transaction diagnostic control is to be applied based on the processor being in a problem state or a supervisor state, and a second value of the transaction diagnostic scope indicates the transaction diagnostic control is to be applied exclusive to the processor being in the problem state.

2. The computer program product of claim 1, wherein a first value of the transaction diagnostic control indicates transactions are not to be aborted based on the transaction diagnostic control, a second value of the transaction diagnostic control indicates each transaction is to be aborted based on the transaction diagnostic control, and a third value of the transaction diagnostic control indicates transactions are to be randomly selected to be aborted.

3. The computer program product of claim 1, wherein the determining comprises based on the one or more controls indicating transactions are to be randomly selected to be aborted, determining whether the transaction is to be selected for aborting, and wherein the method further comprises based on the determining indicating the transaction is to be selected for aborting, aborting the transaction.

4. The computer program product of claim 3, wherein the determining whether the transaction is to be selected for aborting comprises checking a selection control to determine whether the transaction is selected for aborting.

5. The computer program product of claim 3, wherein the aborting comprises aborting the transaction at a selected instruction within the transaction.

6. The computer program product of claim 3, wherein the aborting further comprises executing an abort handler to provide testing associated with the aborting.

7. The computer program product of claim 1, wherein the one or more controls are task specific in that the one or more controls are for a specific task and are set based on user-provided information, the specific task to include the transaction.

8. The computer program product of claim 1, wherein the testing purposes includes debugging certain types of abort conditions.

9. A computer system for controlling execution of transactions in a computing environment, said computer system comprising:

a memory; and

a processor in communication with the memory, wherein the computer system is configured to perform a method, said method comprising;

initiating a transaction in a computing environment; and

determining, by control logic of the processor, whether the transaction is to be aborted, the determining employing one or more controls of a control register used by the processor, the one or more controls to indicate whether transactions are to be randomly selected to be aborted for testing purposes, wherein the control register comprises a transaction diagnostic control to be used in determining whether transactions are to be selected to be aborted, and a transaction diagnostic scope to indicate whether the transaction diagnostic control is to be applied, wherein a first value of the transaction diagnostic scope indicates the transaction diagnostic control is to be applied based on the processor being in a problem state or a supervisor state, and a second value of the transaction diagnostic scope indicates the transaction diagnostic control is to be applied exclusive to the processor being in the problem state.

10. The computer system of claim 9, wherein a first value of the transaction diagnostic control indicates transactions are not to be aborted based on the transaction diagnostic control, a second value of the transaction diagnostic control indicates each transaction is to be aborted based on the transaction diagnostic control, and a third value of the transaction diagnostic control indicates transactions are to be randomly selected to be aborted.

11. The computer system of claim 9, wherein the determining comprises based on the one or more controls indicating transactions are to be randomly selected to be aborted, determining whether the transaction is to be selected for aborting, and wherein the method further comprises based on the determining indicating the transaction is to be selected for aborting, aborting the transaction.

12. The computer system of claim 9, wherein the one or more controls are task specific in that the one or more controls are for a specific task and are set based on user-provided information, the specific task to include the transaction.

13. The computer system of claim 9, wherein the testing purposes includes debugging certain types of abort conditions.

14. The computer system of claim 11, wherein the determining whether the transaction is to be selected for aborting comprises checking a selection control to determine whether the transaction is selected for aborting.

15. A computer-implemented method of controlling execution of transactions in a computing environment, said method comprising:

initiating a transaction in a computing environment; and

determining, by control logic of a processor, whether the transaction is to be aborted, the determining employing one or more controls of a control register used by the processor, the one or more controls to indicate whether transactions are to be randomly selected to be aborted for testing purposes, wherein the control register comprises a transaction diagnostic control to be used in determining whether transactions are to be selected to be aborted, and a transaction diagnostic scope to indicate whether the transaction diagnostic control is to be applied, wherein a first value of the transaction diagnostic scope indicates the transaction diagnostic control is to be applied based on the processor being in a problem state or a supervisor state, and a second value of the transaction diagnostic scope indicates the transaction diagnostic control is to be applied exclusive to the processor being in the problem state.

16. The computer-implemented method of claim 15, wherein a first value of the transaction diagnostic control indicates transactions are not to be aborted based on the transaction diagnostic control, a second value of the transaction diagnostic control indicates each transaction is to be aborted based on the transaction diagnostic control, and a third value of the transaction diagnostic control indicates transactions are to be randomly selected to be aborted.

17. The computer-implemented method of claim 15, wherein the determining comprises based on the one or more controls indicating transactions are to be randomly selected to be aborted, determining whether the transaction is to be selected for aborting, and wherein the method further comprises based on the determining indicating the transaction is to be selected for aborting, aborting the transaction.

18. The computer-implemented method of claim 17, wherein the determining whether the transaction is to be selected for aborting comprises checking a selection control to determine whether the transaction is selected for aborting.

19. The computer-implemented method of claim 15, wherein the one or more controls are task specific in that the one or more controls are for a specific task and are set based on user-provided information, the specific task to include the transaction.

20. The computer-implemented method of claim 15, wherein the testing purposes includes debugging certain types of abort conditions.