Patent ID: 8250549

Claim:
A computer implemented method of forming a computer program, said computer program for distributed execution upon a multi-processor data processing apparatus, wherein said distributed execution is performed upon a plurality of execution mechanisms of said multi-processor data processing apparatus and wherein said data processing apparatus has a plurality of memories, said method comprising the steps of: identifying a multiple physical instance requirement for at least one logical variable in said computer program to be stored in said plurality of memories of said data processing apparatus as multiple physical instances of said at least one logical variable; identifying which of said multiple physical instances is to be used by which of said plurality of execution mechanisms during said distributed execution for each use of said at least one logical variable in said computer program; performing a mapping support analysis to determine mapping support required in accordance with said multiple physical instance requirement; and verifying said mapping support within said computer program to detect if said computer program is adapted for execution upon said data processing apparatus and, if said mapping support is missing, adding said mapping support to adapt said computer program for execution upon said data processing apparatus, wherein said mapping support includes an exact execution mechanism specifier specifying one of said plurality of execution mechanisms to be used to execute a portion of said computer program associated with said exact execution mechanism specifier.