US 7,743,370 B1Granted

System and methods for determination of independence of sub-graphs in a graph-based intermediate representation of program instructions

AssigneeUnisys Corporation

InventorsG. Lawrence Krablin, Stephen R. Bartels

Life of this patent

Estimating the term…

Loading patent…

Abstract

An intermediate representation of sequences of instructions for a stacked based computer is a code graph using a numbering method on the nodes of the graph, along with a set of relations among the nodes, to determine, in a single pass, the independence of each node or sub-graph represented by the node. The numbering is a post-order that directly, by numerical comparison defines the relevant hierarchical relationships among sub-graphs. The sub-graph of a particular node may have one or more alias nodes that refers to target nodes, a target node being a node representing an argument which is the result of a previous program instruction. For a subgraph to be considered independent, any aliases generated by nodes within the subgraph must themselves be contained in it, and conversely, any aliases in the subgraph must have been generated by nodes also within it.

Claims10

Dependent claims

A computer-implemented method for optimizing the operation of sequences of computer program instructions executing within a computing system by determining independence of a sub-graph in a code graph, wherein the code graph is a graph-based representation of the sequences of computer program instructions and the sub-graph represents part of the computer program that would be affected by the certain rearrangement of sequences of instructions for optimization, comprising the steps of:

visiting a plurality of nodes in the code graph in post-order fashion;
determining for a current node being visited whether a sub-graph of the current node has an alias node that refers to a target node, said target node being a node representing an argument which is the result of a previous program instruction;
determining whether the target node is outside of the sub-graph of the current node by determining a smallest post-order node number of all said target nodes of all alias nodes in the sub-graph of the current node, comparing said smallest post-order node number of all said target nodes to a smallest post-order node number overall in the sub-graph of the current node and indicating the target node is outside the sub-graph of the current node if said smallest post-order node number of all said target nodes is not greater than or equal to the smallest post-order node number overall in the sub-graph of the current node;
determining a total number of alias nodes in the sub-graph of the current node;
determining a total number of alias nodes generated as a result of program instructions represented in the sub-graph of the current node;
indicating that the sub-graph of the current node is not independent if the total number of alias nodes in the sub-graph does not equal the total number of alias nodes generated as a result of program instructions represented in the sub-graph;
and
indicating that the sub-graph is not independent if the target node is outside the sub-graph of the current node.

5 more elements

A computer-implemented method for determining the independence of a sub-graph in a code graph, wherein the code graph is a graph-based representation of the sequences of computer program instructions executing within a computing system, the method comprising:

visiting a plurality of nodes in the code graph in post-order fashion;
determining for a current node being visited whether a sub-graph of the current node has an alias node that refers to a target node, said target node being a node representing an argument which is the result of a previous program instruction;
determining whether the target node is outside of the sub-graph of the current node;
indicating that the sub-graph is not independent if the target node is outside the sub-graph of the current node;
determining for the current node whether there is at least one node within the sub-graph of the current node that represents that a basic block corresponding to the program instructions represented by the code graph contains an instruction some or all of whose arguments are supplied from a different basic block not represented by the code graph;
indicating that the sub-graph of the current node is not independent if there is at least one such said node within the sub-graph of the current node;
determining a total number of alias nodes in the sub-graph of the current node;
determining a total number of alias nodes generated as a result of program instructions represented in the sub-graph of the current node;
and indicating that the sub-graph of the current node is not independent if the total number of alias nodes in the sub-graph does not equal the total number of alias nodes generated as a result of program instructions represented in the sub-graph.

6 more elements

A system for determining the independence of a sub-graph in a code graph, wherein the code graph is a graph-based representation of the sequences of computer program instructions comprising:

means for visiting a plurality of nodes in the code graph in post-order fashion;
means for determining for a current node being visited whether a sub-graph of the current node has an alias node that refers to a target node, said target node being a node representing an argument which is the result of a previous program instruction;
means for determining whether the target node is outside of the sub-graph of the current node, comprising means for determining a smallest post-order node number of all said target nodes of all alias nodes in the sub-graph of the current node;
means for comparing said smallest post-order node number of all said target nodes to a smallest post-order node number overall in the sub-graph of the current node;
means for indicating the target node is outside the sub-graph of the current node if said smallest post-order node number of all said target nodes is not greater than or equal to the smallest post-order node number overall in the sub-graph of the current node;
means for determining for the current node whether there is at least one node within the sub-graph of the current node that represents that a basic block corresponding to the program instructions represented by the code graph contains an instruction some or all of whose arguments are supplied from a different basic block not represented by the code graph;
means for indicating that the sub-graph of the current node is not independent if there is at least one such said node within the sub-graph of the current node;
means for determining a total number of alias nodes in the sub-graph of the current node;
means for determining a total number of alias nodes generated as a result of program instructions represented in the sub-graph of the current node;
and
means for indicating that the sub-graph of the current node is not independent if the total number of alias nodes in the sub-graph does not equal the total number of alias nodes generated as a result of program instructions represented in the sub-graph.

8 more elements

Dependencies are inferred from the claim text.