Lock-Clustering Compilation for Software Transactional Memory
AssigneeOracle International Corporation
InventorsVirendra J. Marathe, David Dice
Life of this patent
Estimating the term…
Abstract
A lock-clustering compiler is configured to compile program code for a software transactional memory system. The compiler determines that a group of data structures are accessed together within one or more atomic memory transactions defined in the program code. In response to determining that the group is accessed together, the compiler creates an executable version of the program code that includes clustering code, which is executable to associate the data structures of the group with the same software transactional memory lock. The lock is usable by the software transactional memory system to coordinate concurrent transactional access to the group of data structures by multiple concurrent threads.
Claims20
A computer-readable storage medium storing program instructions executable by one or more processors to implement:
- a compiler configured to compile program code for execution on a software transactional memory system, wherein the compilation comprises:
- determining that a group of data structures is accessed together within one or more atomic memory transactions defined in the program code;
- and
- in response to the determining, creating an executable version of the program code, wherein the executable version includes clustering code executable to associate the data structures in the group with a same software transactional memory lock, wherein the lock is usable by the software transactional memory system to coordinate concurrent transactional access to the group of data structures by multiple concurrent threads.
A method of compiling a computer program code for execution on a software transactional memory system, the method comprising:
- a computer executing a compiler program, the executing comprising:
- determining that a group of data structures is accessed together within one or more atomic memory transactions defined in the program code;
- and
- in response to the determining, creating an executable version of the program code, wherein the executable version includes clustering code executable to associate the data structures in the group with a same software transactional memory lock, wherein the lock is usable by the software transactional memory system to coordinate concurrent transactional access to the group of data structures by multiple concurrent threads.
A system, comprising:
- a processor;
- a memory coupled to the processor and storing program instructions executable by the processor to implement a compiler configured to compile program code for execution on a software transactional memory system, wherein the compilation comprises:
- determining that a group of data structures is accessed together within one or more atomic memory transactions defined in the program code;
- and
- in response to the determining, creating an executable version of the program code, wherein the executable version includes clustering code executable to associate the data structures in the group with a same software transactional memory lock, wherein the lock is usable by the software transactional memory system to coordinate concurrent transactional access to the group of data structures by multiple concurrent threads.
Dependencies are inferred from the claim text.