1

A method comprising:

in a dynamic binary translator, selecting a code segment for load-store memory disambiguation based at least in part on a measure of likelihood of frequency of execution of the code segment;

heuristically identifying one or more ambiguous memory dependencies in the code segment for disambiguation by runtime checks based at least in part on inspecting instructions in the code segment, and

using a pointer analysis of the code segment to identify all other ambiguous memory dependencies that can be removed by the runtime checks.

View Prior Art for Claim

2

The method of Claim 1 further comprising inserting a runtime check to remove the identified dependence.

View Prior Art for Claim

3

The method of Claim 1 wherein selecting the code segment further comprises selecting the code segment based on tracing instrumented code.

View Prior Art for Claim

4

The method of Claim 1 wherein heuristically identifying ambiguous memory references in the code segment further comprises identifying non-aliases and must-aliases of the code segment.

View Prior Art for Claim

5

The method of Claim 1 wherein heuristically identifying the one or more ambiguous memory dependencies further comprises identifying memory dependencies based at least in part on grouping memory references in the code segment into a plurality of groups based at least in part on the base addresses of the memory references.

View Prior Art for Claim

6

The method of Claim 1 wherein heuristically identifying the one or more memory dependencies further comprises one or more of:

analyzing a dependence graph of the code segment;

identifying critical paths of the dependence graph;

identifying latencies of memory dependence arcs of the dependence graph; and

selecting the one or more memory dependencies based at least in part on the critical paths and the latencies.

View Prior Art for Claim

7

The method of Claim 4 wherein identifying non-aliases and must-aliases of the code segment further comprises instrumenting the code segment to determine an actual memory location accessed by a memory reference.

View Prior Art for Claim

8

The method of Claim 1 wherein identifying all ambiguous memory dependencies removable by the runtime checks further comprises symbolically computing the value of a register and a memory location referenced by the code segment.

View Prior Art for Claim

9

A system comprising

a processor;

a memory coupled to the processor;

a storage coupled to the processor; and

a dynamic binary translator storable in the storage, loadable into the memory; and

executable by the processor, the dynamic binary translator

to select a code segment for load-store memory disambiguation based at least in part on a measure of likelihood of frequency of execution of the code segment;

to heuristically identify one or more ambiguous memory dependencies in the code segment for disambiguation by a runtime check based at least in part on inspecting instructions in the code segment,

and to use a pointer analysis of the code segment to identify all ambiguous memory dependencies that can be removed by the runtime check.

View Prior Art for Claim

10

The system of Claim 9 wherein the dynamic binary translator is further to insert a runtime check to remove the identified dependence.

View Prior Art for Claim