Managing transactional and non-transactional store observability

摘要

Embodiments relate to controlling observability of transactional and non-transactional stores. An aspect includes receiving one or more store instructions. The one or more store instructions are initiated within an active transaction and include store data. The active transaction effectively delays committing stores to memory until successful completion of the active transaction. The store data is stored in a local storage buffer causing alterations to the local storage buffer from a first state to a second state. A signal is received that the active transaction has terminated. If the active transaction has terminated abnormally then: the local storage buffer is reverted back to the first state if the store data was stored by a transactional store instruction, and is propagated to a shared cache if the store instruction is non-transactional.

主权项

1. A method for controlling observability of transactional and non-transactional stores, the method comprising:
receiving, by a processing circuit, two or more store instructions, the two or more store instructions initiated within an active transaction and including store data, the active transaction effectively delaying committing stores to memory until successful completion of the active transaction, the two or more store instructions comprising at least one transactional store instruction and at least one non-transactional store instruction; storing the store data in a local storage buffer, the storing causing alterations to the local storage buffer from a first state to a second state; receiving a signal that the active transaction has terminated; and based on determining that the active transaction terminated abnormally such that the active transaction is aborted, for each stored data of the two or more store instructions performing:
based on determining that the store data was stored in the local storage buffer by the at least one transactional store instruction during the active transaction, reverting the local storage buffer back to the first state; andbased on determining that the stored data was stored in the local storage buffer by the at least one non-transactional store instruction during the active transaction, propagating the second state having the stored data to a shared cache.