Dependency Analysis
A Dependence exists between statements when the order of the statements execution affects the results of the program.
A Data Dependence results from multiple use of the same location(s) in storage.
A race condition is a state of a program where a variable can have more than one value, depending on the program paths leading to the variable.
Due to the load on the different processing sites, the speed of
these sites, and the possibility of having different architectures
(as in a heterogeneous cluster of workstations), the order of execution of a statement cannot always be determine .