Method for optimizing source program including variables necessary for synchronous/exclusive control

A method for generating an object program from a source program for a multiprocessor system, the method being executed by a computer and comprising the steps of:

• making a first judgment to determine whether said source program includes equations each of which performs a same calculation and whether said equations are in a range near an executable statement for synchronous control in said source program;
• making a second judgment to determine whether each one of a plurality of variables used in said same calculation is necessary for synchronous control when it is determined by said first judgment that said source program includes said equations;
• and
• optimizing said source program by performing said same calculation once and using results of said same calculation in each of said equations when it is determined by said first judgment that said equations are not in a range near the executable statement for synchronous control or when it is determined by said second judgment that each one of said variables used in said same calculation is not necessary for synchronous control.