Hint instruction for managing transactional aborts in transactional memory computing environments

• US 10,223,154 B2
• Filed: 05/03/2016
• Issued: 03/05/2019
• Est. Priority Date: 02/27/2014
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Busaba, Fadi Y., Cain, III, Harold W., Greiner, Dan F., Gschwind, Michael Karl, Michael, Maged M., Salapura, Valentina, Shum, Chung-Lung K., Slegel, Timothy J.
• Primary Examiner(s): Sun, Scott C
• Application Number:
  US15/145,023
• Publication Number:
  US 20160246642A1
• Time in Patent Office: 1,036 Days
• Field of Search: None
• CPC Class Codes: G06F 13/24 using interrupt G06F13/32 takes precedence
• CPC Class Codes: G06F 3/0619 in relation to data integrity, e.g. data losses, bit errors
• CPC Class Codes: G06F 3/0653 Monitoring storage devices or systems
• CPC Class Codes: G06F 3/0685 Hybrid storage combining heterogeneous device types, e.g. hierarchical storage, hybrid arrays
• CPC Class Codes: G06F 9/268 Microinstruction selection not based on processing results, e.g. interrupt, patch, first cycle store, diagnostic programs
• CPC Class Codes: G06F 9/467 Transactional memory G06F9/528 takes precedence
• CPC Class Codes: G06F 9/4881 Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
• CPC Class Codes: G06F 9/5083 Techniques for rebalancing the load in a distributed system
• CPC Class Codes: G06F 9/528 by using speculative mechanisms
• CPC Class Codes: G06F 9/542 Event management; Broadcasting; Multicasting; Notifications

Abstract

When executed, a transaction-hint instruction specifies a transaction-count-to-completion (CTC) value for a transaction. The CTC value indicates how far a transaction is from completion. The CTC may be a number of instructions to completion or an amount of time to completion. The CTC value is adjusted as the transaction progresses. When a disruptive event associated with inducing transactional aborts, such as an interrupt or a conflicting memory access, is identified while processing the transaction, processing of the disruptive event is deferred if the adjusted CTC value satisfies deferral criteria. If the adjusted CTC value does not satisfy deferral criteria, the transaction is aborted and the disruptive event is processed.

Claims

1. A method for processing transactions in a computing environment with transactional memory, the method comprising:

executing, by a processor, a transaction-hint instruction associated with a first transaction, the transaction-hint instruction specifying a transaction-count-to-completion (CTC) value, the CTC value indicating how far the first transaction is from completion;

adjusting, by the processor, the CTC value based on progress of the first transaction;

identifying, by the processor, a disruptive event while processing the first transaction, the disruptive event associated with inducing transactional aborts;

determining, by the processor, whether the adjusted CTC value satisfies deferral criteria; and

aborting, based on determining that the adjusted CTC value does not satisfy the deferral criteria, processing of the first transaction.

2. The method of claim 1, wherein the transaction-hint instruction is selected from the group consisting of:

an instructions-to-completion instruction, wherein the CTC value indicates an approximate number of instructions remaining to complete the first transaction;

a transaction-time-to-completion instruction, wherein the CTC value indicates an approximate amount of time remaining to complete the first transaction; and

a generic transaction-hint instruction, wherein an indicator flag in a mask field associated with the generic transaction-hint instruction determines whether the CTC value indicates an approximate number of instructions remaining to complete the first transaction or an approximate amount of time remaining to complete the first transaction.

3. The method of claim 1, wherein the disruptive event is selected from the group consisting of:

a pending asynchronous interrupt; and

a conflicting memory access between the first transaction and a second processor.

4. The method of claim 1, wherein the adjusted CTC value does not satisfy the deferral criteria based on the adjusted CTC value and a predetermined threshold value.

5. The method of claim 1, wherein the specified CTC value is based on at least one of an immediate value associated with the transaction-hint instruction, a register identifier associated with the transaction-hint instruction, and a memory address associated with the transaction-hint instruction.

6. The method of claim 1, wherein the method further comprises:

executing a second transaction-hint instruction associated with the first transaction; and

adjusting the CTC value based on the executing the second transaction-hint instruction.

7. The method of claim 1, wherein the transaction-hint instruction is executed before the processing of the first transaction begins.

8. The method of claim 1, the method further comprising:

executing a second transaction-hint instruction associated with a second transaction, the second transaction-hint instruction specifying a second CTC value for the second transaction;

deferring processing of a second disruptive event for the second transaction in response to determining that the second CTC value satisfies a second deferral criteria;

determining, after deferring processing of the second disruptive event, whether a predetermined deferral delay for the second transaction has expired before a completion of the second transaction; and

based on determining that the predetermined deferral delay has expired before the completion of the second transaction, aborting the second transaction.

9. The method of claim 1, wherein the adjusting, by the processor, the CTC value based on progress of the first transaction comprises:

loading an internal CTC counter with the specified CTC value;

decrementing the CTC counter each time an instruction is completed; and

setting the CTC value equal to the CTC counter.

10. The method of claim 1, wherein the adjusting, by the processor, the CTC value based on progress of the first transaction comprises:

loading an internal CTC counter at the beginning of the transaction;

incrementing the CTC counter each time an instruction is completed; and

determining the adjusted CTC value by subtracting the value of the CTC counter from the CTC value specified in the transaction-hint instruction.

11. The method of claim 1, wherein the adjusted CTC value is based on a combination of compile-time constants and run-time values associated with the transaction-hint instruction.

12. The method of claim 1, wherein the adjusting, by the processor, the CTC value based on progress of the first transaction comprises:

starting a timer when the transaction-hint instruction is executed; and

subtracting a timer value from the specified CTC value.

13. The method of claim 1, wherein the adjusting, by the processor, the CTC value based on progress of the first transaction comprises:

loading an internal CPU register with the specified CTC value, wherein the specified CTC value is in clock cycles; and

decrementing the internal CPU register as clock cycles elapse.

14. The method of claim 1, wherein the specified CTC value is based on a longest path through the transaction.

15. The method of claim 1, wherein the specified CTC value is based on an average value determined via experimental execution of the transaction.

16. The method of claim 1, wherein the adjusting the CTC value is performed periodically.

17. The method of claim 16, wherein the executing the transaction-hint instruction causes the processor to store the specified CTC value in a memory.

18. The method of claim 1, wherein the transaction-hint instruction specifies the CTC value using one or more instruction operands, the one or more instruction operations being selected from a group consisting of an immediate value, a register location, and a memory location.

19. A method for processing transactions in a computing environment with transactional memory, the method comprising:

executing, by a processor, a transaction-hint instruction associated with a first transaction, the transaction-hint instruction specifying an initial transaction-count-to-completion (CTC) value, the initial CTC value indicating a number of instructions in the first transaction, wherein executing the transaction-hint instruction causes the processor to store the initial CTC value in an internal register;

adjusting, in response to an instruction in the first transaction completing after the execution of the transaction-hint instruction, the CTC value in the register;

identifying, by the processor, a disruptive event while processing the first transaction, the disruptive event associated with inducing transactional aborts;

determining, by the processor, whether the adjusted CTC value satisfies deferral criteria and

aborting, based on determining that the adjusted CTC value does not satisfy the deferral criteria, processing of the first transaction.

20. A method for processing transactions in a computing environment with transactional memory, the method comprising:

executing, by a processor, a transaction-hint instruction associated with a first transaction, the transaction-hint instruction specifying an initial transaction-count-to-completion (CTC) value, wherein executing the transaction-hint instruction causes the processor to store the initial CTC value in an internal register;

adjusting, after executing the transaction-hint instruction, the CTC value in the register based on progress of the first transaction, wherein the CTC value is adjusted periodically during processing of the first transaction;

identifying a disruptive event while processing the first transaction, the disruptive event being associated with inducing transactional aborts;

determining whether the adjusted CTC value satisfies deferral criteria; and

aborting, based on determining that the adjusted CTC value does not satisfy the deferral criteria, processing of the first transaction.