Patent Application
20090019431
This invention generally relates to computer systems, and more specifically relates to compilers that generate executable program code for computer systems.
Since the dawn of the computer age, computer systems have evolved into extremely sophisticated devices, and computer systems may be found in many different settings. Dramatic advances in both hardware and software (e.g., computer programs) have drastically improved the performance of computer systems. Modern software has become very complex when compared to early computer programs. The execution time (and hence, performance) of a computer program is very closely related to the number of instructions that are executed as the computer program runs. Thus, as the size and complexity of computer programs increase, the execution time of the computer program increases as well.
Unlike early computer programs, modern computer programs are typically written in a high-level language that is easy to understand by a human programmer. Special software tools known as compilers take the human-readable form of a computer program, known as “source code”, and convert it into “machine code” or “object code” instructions that may be executed by a computer system. Because a compiler generates the stream of machine code instructions that are eventually executed on a computer system, the manner in which the compiler converts the source code to object code affects the execution time of the computer program code.
The execution time of a computer program, especially complex computer programs, is a function of the arrangement and type of instructions within the computer program. Loops affect the execution time of a computer program. If a computer program contains many loops, or contains any loops that are executed a relatively large number of times, the time spent for executing loops will significantly impact the execution time of a computer program.
An essential element for performance in VLIW architectures is the instruction scheduler of the compiler. The instruction scheduler is responsible for translating the sequential code produced by the core compiler into very long instruction word (VLIW) instructions each containing independent operations that are issued in parallel by the VLIW. Instruction schedulers operate on basic blocks termed as scheduling units. Decision trees and guarded decision trees are examples of scheduling units.
In order to optimize the performance of modern computer programs, profilers have been developed to predict and/or measure the run-time performance of a computer program. Profilers typically generate profile data that estimates how often different portions of the computer program are executed. Using profile data, an optimizer (such as an optimizing compiler) may make decisions to optimize loops in a computer program in order to improve the execution speed of the computer program.
Patent application number WO2003003195A1 discloses a profile driven compilation method which allows compiler to make intelligent trade-off decisions. It is been deployed in compilers of very long instruction word (VLIW) processors for predicting the branch target of a program. However, in these known methods the compiler needs to be guided for doing the optimal selection between guarded operations or a dedicated decision tree when a conditional execution is required in the program code. Hence, there exists an unsatisfied need for an improved compilation method of deciding between guarded operations or a decision tree when a conditional execution is required in the program code.
The present invention discloses a compilation method of a program code in a digital device in a profile driven compilation. An approach for optimizing the execution of program code by providing additional intelligence to the compiler is provided. The present invention provides an approach for conditional branching, which is based on the information provided to the compiler to either use guarding instructions or a separate decision tree. Sections of the code, which are called ‘hot spots’, are identified in a first compile-run (compile-execute) stage of profile driven compilation, and an overhead estimation is carried out to determine whether to have an additional decision tree or guarded operation on the identified conditional code branches. This information will be provided as an input to the last stage of the profile-driven compilation
A preliminary compilation stage of the profile driven compilation is carried out to identify the different sections of the program code. The main code and branch codes are identified at this stage. The branch code load (BCLD) and increased main code load (IMCLD) are also determined where BCLD is defined as the number of very long instruction words (VLIW) including the jump instructions in the branch codes. The IMCLD is defined as the additional load created due to the introduction of guarding operations for incorporating the branch code into the decision tree corresponding to the main loop. Upon estimating the aforementioned parameters, the frequency of execution of branch codes (NBE) as well as the frequency of execution of main codes (NME) is also estimated during the run (execution) stage of the profile driven compilation. If the probability of executing the branch code is low, then the corresponding processing load, where the processing load of the branch code is determined by taking the product of BCLD and NBE, will also be low. If the branch code processing load is less than a threshold, then the additional processing load created due to a separate decision tree for branching is less compared to the load created by using single decision tree with guarding. The threshold limit is determined by taking the product of IMCLD and NME.
The values of NBE and NME are fed into the compiler after first run. So the compiler makes a wise decision whether to have single decision tree or multiple decision trees for hot spots in the program code. A hot spot is defined as the different sections of the program code which account for considerable amount of processing load and hence are suitable candidates for optimisation. After identifying the hot spots in the program which have conditional code, the compiler has to verify the aforementioned condition in the profile driven compilation to make the decision.
In an embodiment of the present invention, the program code has a main code and a branch code and the compiler decides the instruction scheduling unit for the main code and the branch code as a single decision tree using guarded operations if the processing load of executing the branch code is less than a threshold limit. If the processing load of executing the branch code is greater than a threshold limit, the compiler decides the instruction scheduling units for the main code and the branch code as two separate decision trees in which case the branch code has a separate decision tree.
One object of the present invention is to select optimally between guarded operations or a dedicated decision tree when a conditional execution is required in the program code.
Another object of the present invention is to help the programmer to have an optimized program code by doing manual optimization.
Another object of the present invention is to reduce the overhead of conditional code branching in a program code.
The above summary of the present invention is not intended to describe each disclosed embodiment of the present invention. The figures and detailed description that follow provide additional aspects of the present invention.
The present invention provides a method for optimizing the execution of program code by providing additional intelligence to the compiler. In the following description, numerous specific details are set forth in order to provide a more thorough understanding of the present invention. However, it will be apparent to one skilled in the art that the present invention may be practiced without these specific details. In other instances, well-known features have not been described in detail in order to avoid obscuring the present invention.
Upon the execution of the preliminary compilation stage, the number of very long instruction words (VLIW) including the jump instructions in the branch codes is determined. This number of VLIW, including the jump instructions, is referred to as branch code load (BCLD) 104. The frequency of execution of the branch codes during the execution of the preliminary compilation (NBE) and the frequency of execution of the main code during the execution of the preliminary compilation (NME) are determined 105 and 107. The increased main code load (IMCLD), which is the additional load created by using a single decision tree for the guarding operation, is also determined 106.
A condition has to be verified so that the compiler can make a wise decision whether to have single decision tree or multiple decision trees for the identified sections in the program code. The condition is explained below. A threshold limit is determined by taking the product of IMCLD and NME. If the probability of execution of the branch code is low, then the corresponding total processing load (hereinafter termed as ‘processing load’) of the branch code will also be low. The processing load of execution of the branch code is determined by taking the product of BCLD and NBE. If the processing load of executing the branch code is less than a threshold, then the additional load created due to a separate decision tree for branching is less compared to the load created by using single decision tree with guarding 108.
This condition is applied in compile-run-recompile scenario where NBE and NME could be an input to the compiler after first run. So the compiler can make a wise decision whether to have single decision tree or multiple decision trees for the identified sections in the program code. After identifying these sections in the program code, the compiler has to verify the above-mentioned condition in the profile driven compilation to make the decision.
When the compiler tries to accommodate the branch code 203 in one decision tree (as in
The compiler decides whether to have single decision tree or multiple decision trees by using the following condition.
If BCLD*NBE<IMCLD*NME, then go for two different trees for the main code and branch code.
If BCLD*NBE>IMCLD*NME, then go for single decision tree (with guarded operation).
If the processing load of executing the branch code is less than a threshold, then the additional load created due to a separate decision tree for branching is less compared to the load created by using single decision tree with guarding. In this case it will be logical for the compiler to create a new decision tree for the branch code.
| Filing Document | Filing Date | Country | Kind | 371c Date |
|---|---|---|---|---|
| PCT/IB2007/050594 | 2/24/2007 | WO | 00 | 9/2/2008 |
| Number | Date | Country | |
|---|---|---|---|
| 60778835 | Mar 2006 | US |
