Object based conflict detection in a software transactional memory

• US 20080022054A1
• Filed: 06/28/2006
• Published: 01/24/2008
• Est. Priority Date: 06/28/2006
• Status: Active Grant

• Current Assignee: Intel Corporation
• Original Assignee: Intel Corporation
• Inventors: Hertzberg, Ben, Saha, Bratin, Adl-Tabatabai, Ali-Reza
• Granted Patent: US 7,502,897 B2
• Time in Patent Office: Days
• US Class Current: 711/152
• CPC Class Codes: G06F 9/524 Deadlock detection or avoidance

Abstract

Object-based conflict detection is described in the context of software transactional memory. In one example, a block of instructions is received for execution as an object in a software transactional memory transaction. The base of the object is computed, a lock is found for the object using the base of the object.

Claims

1. A method comprising:

receiving a block of instructions for execution as an object in a software transactional memory transaction;

computing a base of the object;

finding a lock for the object using the base of the object.

2. The method of claim 1, wherein computing the base comprises using a header of the block.

3. The method of claim 1, wherein computing the base comprises finding a size of the objects in the block.

4. The method of claim 1, wherein finding a lock comprises using the base to determine an index for the block and applying the index to a lookup table.

5. The method of claim 1, wherein finding a lock comprises finding a first word following a header for the object.

6. The method of claim 1, further comprising determining whether the block is within a reserved area size, and if not, then using an alternative conflict resolution scheme.

7. The method of claim 6, wherein using an alternative comprises using hashing-based conflict resolution.

8. The method of claim 6, wherein determining whether the block is within the reserved area size comprises subtracting a reserved base address from a pointer and comparing the result to the reserved area size.

9. The method of claim 1, wherein the lock is written into the base by a memory manager.

10. A machine-readable medium having instructions that when executed cause the machine to:

receive a pointer to a memory block for an allocated object in software transactional memory;

determine a header address for the allocated memory block using the pointer;

access a header using the header address;

determine a base for the allocated memory block using information in the header; and

use the base to find a lock for the object.

11. The article of claim 10, wherein the base is an index to a table of locks.

12. The article of claim 10, the instructions further causing the machine to find a size of the allocated memory block for the object;

and wherein determining a header address comprises determining a header address for the allocated memory block from the pointer and the size.

13. The article of claim 10, wherein the information in the header comprises an object size for the object and wherein determining a base comprises determining a base for the allocated memory block from the size.

14. The article of claim 10, wherein determining a base comprises determining whether the lock is an on-side lock and determining the base if the object is an on-side lock.

15. The article of claim 10, the instructions further causing the machine to determine whether the lock is an in-line lock and access reserved memory associated with the object'"'"'s memory to find a lock for the object.

16. The article of claim 10, the instructions further causing the machine to determine whether the object is in small object space and if the object is not in small object space, then to use hashing-based conflict resolution.

17. The article of claim 10, the instructions further causing the machine to use the lock for conflict resolution.

18. A computer system comprising:

a memory to store objects and locks for the objects, the objects including instructions for reads and writes to the memory; and

a processor coupled to the memory, the processor including memory management to determine locks for the objects and store the locks in the memory, the processor receiving an object, computing the base of the object, and finding the lock for the object using the base of the object.

19. The system of claim 18, wherein computing the base comprises using a header of the block.

20. The system of claim 18, wherein computing the base comprises finding the size of the objects in the block.