The design of algorithms that exploit parallelism is based on a series of operations, which must be carried out for the program to perform the job correctly without producing partial or erroneous results. The macro operations that must be carried out for a correct parallelization of an algorithm are as follows:

• Task decomposition
• Task assignment
• Agglomeration
• Mapping