Nested speculative regions for a synchronization facility

An apparatus for performing nested speculative regions, the apparatus comprising:

• two or more processors, wherein each processor comprises:
• an instruction pointer (IP) register;
• a stack pointer (SP) register;
• a saved_rIP register;
• and
• a saved_rSP register;
• a memory comprising memory locations,
• wherein the apparatus is configured to detect memory conflicts between the two or more processors and to abort a routine being executed by one of the two or more processors if a memory conflict is detected;
• wherein the memory conflict is detected if the aborted one processor executes a speculate command to atomically access one or more memory locations and before the aborted one processor executes a commit command to unreserve the one or more memory locations, a non-aborted processor accesses a memory location of the one or more memory locations;
• wherein the apparatus is configured to perform the speculate command by storing the IP in saved_IP and storing the SP in saved_SP;
• and
• wherein the apparatus is configured to perform an abort by storing the saved_IP in IP and the saved_SP in SP.

An apparatus for performing nested speculative regions, the apparatus comprising:

• two or more processors, wherein each processor comprises:
• an instruction pointer (IP) register;
• a stack pointer (SP) register;
• a saved_rIP register;
• and
• a saved_rSP register;
• a memory comprising memory locations, wherein each processor of the two or more processors is configured to:
• respond to entering a speculative region, by storing link information to an abort handler;
• and
• respond to a commit command, by removing link information to the abort handler.