Apparatus and data processing method for transactional memory

A data processing method comprising:

• decoding instructions using an instruction decoder;
• performing data processing in response to the decoded instructions using processing circuitry of an apparatus comprising transactional memory support circuitry to support execution of a transaction within a thread of data processing by the processing circuitry, the transactional memory support circuitry comprising address tracking circuitry to track addresses accessed by instructions within the transaction, in which for a first type of transaction started using a first type of transaction start instruction, the instruction decoder is configured to control the processing circuitry to prevent commitment of results of instructions executed speculatively following the first type of transaction start instruction until a transaction end instruction is reached, in which the transactional memory support circuitry is configured to trigger an abort of the first type of transaction in response to detecting a conflict between an address of a memory access from another thread and the addresses tracked by the address tracking circuitry for the first type of transaction;
• and
• controlling the processing circuitry, by the instruction decoder in response to a second type of transaction started using a second type of transaction start instruction, to respond to execution of a read operation within the second type of transaction by marking an address of the read operation as trackable by the address tracking circuitry, and to respond to execution of a write operation within the second type of transaction by omitting marking of an address of the write operation as trackable by the address tracking circuitry;
• wherein for the second type of transaction, an abort of the second type of transaction is triggered when a conflict is detected between the address of the read operation executed within the second type of transaction and an address of a write operation from another thread, and
• for the second type of transaction, restoration of architectural state is omitted in response to the abort of the second type of transaction, where the architectural state for which the restoration is omitted includes architectural state that is changed during the transaction.

A non-transitory storage medium storing a computer program for controlling a host data processing apparatus to provide an instruction execution environment for execution of instructions, comprising:

• instruction decoding program logic to decode instructions of target code to control the host data processing apparatus to perform data processing;
• transactional memory support program logic to support execution of a transaction within a thread of data processing, the transactional memory support program logic comprising address tracking program logic to track addresses accessed by instructions within the transaction, in which for a first type of transaction started using a first type of transaction start instruction, results of instructions executed speculatively following the first type of transaction start instruction are prevented from being committed until a transaction end instruction is reached, and the transactional memory support program logic is configured to trigger an abort of the first type of transaction in response to detecting a conflict between an address of a memory access from another thread and the addresses tracked by the address tracking program logic for the first type of transaction;
• and
• in response to a second type of transaction started using a second type of transaction start instruction, the instruction decoding program logic is configured to control the transactional memory support program logic to respond to execution of a read operation within the second type of transaction by marking an address of the read operation as trackable by the address tracking program logic, and to respond to execution of a write operation within the second type of transaction by omitting marking of an address of the write operation as trackable by the address tracking program logic;
• wherein for the second type of transaction the transactional memory support program logic is configured to trigger an abort of the second type of transaction when a conflict is detected between the address of the read operation executed within the second type of transaction and an address of a write operation from another thread, and
• for the second type of transaction, the instruction decoding program logic is configured to control the transactional memory support program logic to omit restoration of architectural state in response to the abort of the second type of transaction, where the architectural state for which the restoration is omitted includes architectural state that is changed during the transaction.