Checking the performance of parallel programs with common data

A sufficient condition is proved for correctness of performance of parallel programs with common data. An algorithm checking the performance from the program text is described.