Resetting memory locks in a transactional memory system

• US 9,734,078 B2
• Filed: 08/31/2015
• Issued: 08/15/2017
• Est. Priority Date: 09/10/2014
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Strosaker, Michael Thomas, Grimm, Ryan Patrick, Jennings, Jr., Robert Cory, Schopp, Joel Howard, Fontenot, Nathan
• Primary Examiner(s): Tran, Denise
• Application Number:
  US14/841,599
• Publication Number:
  US 20160070650A1
• Time in Patent Office: 715 Days
• Field of Search: None
• CPC Class Codes: G06F 12/0891 using clearing, invalidating or resetting means
• CPC Class Codes: G06F 12/1466 Key-lock mechanism
• CPC Class Codes: G06F 12/1475 in a virtual system, e.g. with translation means
• CPC Class Codes: G06F 13/1663 Access to shared memory
• CPC Class Codes: G06F 2205/067 Bidirectional FIFO, i.e. system allowing data transfer in two directions
• CPC Class Codes: G06F 2212/1052 Security improvement
• CPC Class Codes: G06F 5/065 Partitioned buffers, e.g. allowing multiple independent queues, bidirectional FIFO's
• CPC Class Codes: G06F 5/14 for overflow or underflow handling, e.g. full or empty flags
• CPC Class Codes: G06F 9/467 Transactional memory G06F9/528 takes precedence

Abstract

A method for resetting of memory locks in a transactional memory system. The method includes a processor setting at least one new memory lock during execution of a transaction that acquires access to a region of memory. The new memory lock indicates that the transaction and its associated thread have exclusive temporary access to the memory region. The method further includes determining if a first in first out (FIFO) memory lock register is full of memory locks and, in response to the FIFO memory lock register being full, a memory lock is removed from a tail position of the FIFO memory lock register. The removed memory lock is reset to return to a transactional memory state and the new memory lock is added to a head position in the FIFO memory lock register.

Claims

1. A computer implemented method of managing locks within a memory system, the method comprising:

a processor setting at least one new memory lock during execution of a transaction that acquires access to a region of memory, the at least one new memory lock indicating that the transaction and its associated thread has exclusive temporary access to the memory region;

determining if a first in first out (FIFO) memory lock register is full of memory locks; and

in response to the FIFO memory lock register being full;

removing a memory lock from a tail position of the FIFO memory lock register;

resetting the removed memory lock to return to a transactional memory state; and

adding the at least one new memory lock to a head position in the FIFO memory lock register.

2. The method of claim 1, further comprising:

determining if an existing memory lock contained within the current FIFO memory lock register is a same lock as the at least one new memory lock; and

in response to determining that an existing memory lock contained within the FIFO memory lock register is the same as the at least one new memory lock being added to the FIFO memory lock register, removing and discarding the existing memory lock from a current position in the FIFO memory lock register.

3. The method of claim 1, further comprising:

shifting at least one existing memory lock having a higher position in the FIFO memory lock register than the removed memory lock one position towards the tail position of the FIFO memory lock register prior to adding the at least one new memory lock to the head position of the FIFO memory lock register.

4. The method of claim 1, further comprising:

prior to adding the at least one new memory lock to the head position of the FIFO memory lock register, shifting each other remaining memory lock in the FIFO memory lock register one position towards the tail position in the FIFO memory lock register.

5. The method of claim 1, wherein resetting the removed memory lock to return to a transactional memory state allows access to the associated region of memory by a next requesting transaction.

6. The method of claim 1, further comprising:

in response to the FIFO memory lock register not being full;

shifting at least one existing memory lock in the FIFO memory lock register one position towards the tail position of the FIFO memory lock register; and

adding the at least one new memory lock to the head position of the FIFO memory lock register.

7. The method of claim 1, wherein the processor further comprises a memory lock module that includes the FIFO memory lock register.