| 摘要 |
A method and tool for supporting program parallelization is disclosed which determines a determinacy in at least one dependency relationship of a data dependency, a control dependency and a pointer dependency in a program 12a, extracts a critical path in the program 12a, and extracts a processing instruction which exists on the critical path and has a non-deterministic determinacy in the dependency relationship. The method produces an output 34a indicative of the number of simultaneous paths which must be realised to parallelise the non-deterministic instruction and the effect of this parallelisation in terms of the difference between the critical path before and after this parallelisation. The method may employ static analysis 31 of the source code 12a of the program to determine the dependency relationships. Alternatively or in addition the method may employ dynamic analysis 93 of the dependency relationships in the source code by compiling an executable file 91a from the code 12a and running this code in a simulated environment 92. The output 34a may be provided on a display 34 and may be in the form of a graph showing the dependency relationships in the program. |
