Program conversion method, computer using it and program

• US 20030140336A1
• Filed: 01/14/2003
• Published: 07/24/2003
• Est. Priority Date: 01/17/2002
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Komatsu, Hideaki, Kawahito, Motohiro
• Granted Patent: US 7,240,337 B2
• Time in Patent Office: Days
• US Class Current: 717/154
• CPC Class Codes: G06F 8/443 Optimisation

Abstract

The present invention enables one to execute scalar replacement in program optimization, more effectively without executing analysis in a method. The present invention is provided with a code conversion unit 110 for generating a machine language code based on a source code of an execution program to be processed, an optimized range determination unit 120 for, for a method in the execution program of the machine language code, finding a range in which an object created in the method does not escape, and a scalar replacement execution unit 130 for executing the scalar replacement in the range in which the object does not escape.

Claims

1. A program conversion method comprising:

using a computer, reading a source code of an execution program written in an object-oriented programming language and converting it into a machine language code, comprising the steps of;

reading said execution program to be processed from a memory, and for a method in said execution program, finding a range in which an object created in said method does not escape;

executing scalar replacement in the range in which said object does not escape; and

storing the execution program on which said scalar replacement is executed, in the memory.

2. The program conversion method according to claim 1, wherein the step of executing said scalar replacement comprises a step of executing the scalar replacement for a method invocation in the range in which said object does not escape, regarding that a memory access with respect to said object is not changed.

3. The program conversion method according to claim 1, wherein the step of finding the range in which said object does not escape comprises the steps of:

in said execution program, finding a set of objects which are created in said method and do not escape, for each basic block with forward data flow analysis; and

examining commands in said basic block sequentially from beginning, and finding a set of objects which are created in said method and do not escape, in a location of each of the commands.

19. An article of manufacture comprising a computer usable medium having computer readable program code means embodied therein for causing program conversion, the computer readable program code means in said article of manufacture comprising computer readable program code means for causing a computer to effect the steps of claim 1.

21. A program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for program conversion, said method steps comprising the steps of claim 1.

4. A program conversion method for using a computer, reading a source code of an execution program written in an object-oriented programming language and converting it into a machine language code, comprising the steps of:

reading said execution program to be processed from a memory, generating said machine language code based on the source code of said execution program and storing the execution program of the generated machine language code in the memory;

reading the execution program of said machine language code from said memory, and for a method in said execution program, executing scalar replacement beyond a method invocation in a range in which an object created in said method is not referred to from outside; and

storing the execution program on which said scalar replacement is executed, in the memory.

5. The program conversion method according to claim 4, wherein the step of executing said scalar replacement comprises a step of:

determining the range in which said object is not referred to from outside by finding a set of objects which are created in said method and not written in a global memory, for each basic block of said execution program.

20. An article of manufacture comprising a computer usable medium having computer readable program code means embodied therein for causing program conversion, the computer readable program code means in said article of manufacture comprising computer readable program code means for causing a computer to effect the steps of claim 4.

22. A program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for program conversion, said method steps comprising the steps of claim 4.

6. A computer for reading a source code of an execution program written in an object-oriented programming language and converting it into a machine language code, wherein comprising:

a code conversion unit for generating said machine language code based on the source code of said execution program to be processed;

an optimized range determination unit for, for a method in said execution program, finding a range in which an object created in said method does not escape; and

a scalar replacement execution unit for executing scalar replacement in the range in which said object does not escape, found in said optimized range determination unit.

7. The computer according to claim 6, wherein said scalar replacement execution unit executes the scalar replacement for a method invocation in the range in which said object does not escape, regarding that a memory access with respect to said object is not changed.

8. The computer according to claim 6, wherein said optimized range determination unit comprises:

first means for, in said execution program, finding a set of objects which are created in said method and do not escape, for each basic block with forward data flow analysis; and

second means for examining commands in said basic block sequentially from beginning, and finding a set of objects which are created in said method and do not escape, in a location of each of the commands.

9. A computer for reading a source code of an execution program written in an object-oriented programming language and converting it into a machine language code, comprising:

a code conversion unit for generating said machine language code based on the source code of said execution program; and

an optimization unit for, in the execution program of said machine language code generated by said code conversion unit, for a method in said execution program, executing scalar replacement beyond a method invocation in a range in which an object created in said method does not escape.

10. A computer comprising:

a compiler for compiling a source code of a program written in an object-oriented programming language to convert it into a machine language code; and

a program execution unit for executing said program converted into the machine language code,

wherein the compiler comprises;

a code conversion unit for generating said machine language code based on the source code of said execution program;

an optimized range determination unit for reading said execution program to be processed from a memory, and for a method in said execution program, finding a range in which an object created in said method does not escape; and

a scalar replacement execution unit for executing scalar replacement beyond a method invocation in said range, in the range in which said object does not escape, found in said optimized range determination unit.

11. A program for controlling a computer and converting a source code of an execution program written in an object-oriented programming language into a machine language code, the program causing said computer to execute the processes of:

reading the execution program to be processed from a memory, and for a method in said execution program, finding a range in which an object created in said method does not escape;

executing scalar replacement in the range in which said object does not escape; and

storing the execution program on which said scalar replacement is executed, in the memory.

12. The program according to claim 11, wherein the program causes said computer to execute the scalar replacement for a method invocation in the range in which said object does not escape, regarding that a memory access with respect to said object is not changed, in the process of executing said scalar replacement.

13. The program according to claim 11, wherein the process of finding a range in which said object does not escape comprises the processes of:

in said execution program, finding a set of objects which are created in said method and do not escape, for each basic block with forward data flow analysis; and

examining commands in said basic block sequentially from beginning, and finding a set of objects which are created in said method and do not escape, in a location of each of the commands.

14. A program for controlling a computer and converting a source code of an execution program written in an object-oriented programming language into a machine language code, the program causing said computer to execute the processes of:

reading the execution program to be processed from a memory, generating said machine language code based on the source code of said execution program and storing the execution program of the generated machine language code in the memory;

reading the execution program of said machine language code from said memory, and for a method in said execution program, executing scalar replacement beyond a method invocation in a range in which an object created in said method is not referred to from outside; and

storing the execution program on which said scalar replacement is executed, in the memory.

15. The program according to claim 14, wherein the process of executing said scalar replacement comprises the process of:

determining the range in which said object is not referred to from outside by finding a set of objects which are created in said method and not written in a global memory, for each basic block of said execution program.

16. A storage medium for recording a program to be readable by a computer, said program being for controlling said computer and converting a source code of an execution program written in an object-oriented programming language into a machine language code, the program causing said computer to execute the processes of:

reading said execution program to be processed from a memory, and for a method in said execution program, finding a range in which an object created in said method does not escape;

executing scalar replacement in the range in which said object does not escape; and

storing the execution program on which said scalar replacement is executed, in the memory.

17. A storage medium for recording a program to be readable by a computer, said program being for controlling said computer and converting a source code of an execution program written in an object-oriented programming language into a machine language code, the program causing said computer to execute the processes of:

reading said execution program to be processed from a memory, generating said machine language code based on the source code of said execution program and storing the execution program of the generated machine language code in the memory;

reading the execution program of said machine language code from said memory, and for a method in said execution program,

executing scalar replacement beyond a method invocation in a range in which an object created in said method is not referred to from outside; and

storing the execution program on which said scalar replacement is executed, in the memory.

18. A program conversion apparatus comprising means for using a computer,

means for reading a source code of an execution program written in an object-oriented programming language and converting it into a machine language code, comprising:

means for reading said execution program to be processed from a memory, and for a method in said execution program, finding a range in which an object created in said method does not escape;

means for executing scalar replacement in the range in which said object does not escape; and

means for storing the execution program on which said scalar replacement is executed, in the memory.