Hybrid tracking of transaction read and write sets

A computer program product for tracking a processor instruction, the computer program product comprising a computer readable storage medium having program code embodied therewith, the program code executable by a processing unit to:

• maintain a non-speculative indication of a non-speculative instruction stored in a cache unit for a transaction by a first requestor, the non-speculative instruction selected from the group consisting of:
• a read of data and a write of written data;
• maintain a queue of at least one address corresponding to a speculatively executed instruction selected from the group consisting of:
• a load memory read and a store memory write, the speculatively executed instruction corresponding to a speculative member of a set selected from the group consisting of:
• a read set and a write set;
• perform a transaction interference resolution responsive to receipt of a request for data by a remote processor, including determine a potential transaction interference exclusively conflicting with the speculatively executed instruction utilizing the queue;
• and
• hold a response to the received request until the speculatively executed instruction is in a state selected from the group consisting of:
• committed and flushed.

A method for tracking a processor instruction comprising:

• maintaining a non-speculative indication of a non-speculative instruction stored in a cache unit for a transaction by a first requestor, the non-speculative instruction selected from the group consisting of:
• a read of data and a write of written data;
• maintaining a queue of at least one address corresponding to a speculatively executed instruction selected from the group consisting of:
• a load memory read and a store memory write, the speculatively executed instruction corresponding to a speculative member of a set selected from the group consisting of:
• a read set and a write set;
• performing a transaction interference resolution responsive to receiving a request for data by a remote processor, including determining a potential transaction interference exclusively conflicting with the speculatively executed instruction utilizing the queue;
• and
• holding a response to the received request until the speculatively executed instruction is in a state selected from the group consisting of:
• committed and flushed.