Replay debugging

A method comprising:

• speculatively executing, by a computer-implemented transactional memory system memory, access operations of an atomic memory transaction, wherein said executing comprises buffering respective pre-transaction values of memory addresses accessed by the memory access operations;
• interrupting execution of the atomic memory transaction prior to commitment thereof;
• and
• replaying, by a debugger tool, execution of one or more of the memory access operations of the interrupted transaction, wherein the replaying is dependent on determining the respective pre-transactional values stored by the transactional memory system for the respective memory addresses accessed by the one or more of the memory access operations.

A non-transitory machine-readable medium storing program instructions executable by a computer system, wherein the program instructions comprise:

• a transactional memory system sequence executable to speculatively execute memory access operations of an atomic memory transaction, wherein said executing comprises buffering respective pre-transaction values of memory addresses accessed by the memory access operations;
• a pause sequence executable to pause the atomic memory transaction;
• and
• a debug sequence executable to replay one or more of the memory access operations, wherein said replaying comprises re-executing the one or more of the memory access operations dependent on the pre-transactional values stored by execution of the transactional memory system sequence.

An apparatus, comprising:

• one or more processors operable to execute a transaction in a debug environment;
• and
• a memory coupled to the one or more processors, wherein the memory stores program instructions executable by the one or more processors to implement:
• a transactional memory system speculatively executing memory access operations of an atomic memory transaction, wherein said executing comprises buffering respective pre-transaction values of memory addresses accessed by the memory access operations;
• pausing execution of the atomic memory transaction;
• and
• a debugger tool replaying one or more of the memory access operations, wherein said replaying is dependent on determining the respective pre-transactional values stored by the transactional memory system for the respective memory addresses accessed by the one or more of the memory access operations.