If the execution order is defined, then there is no ambiguity about what can be run in parallel, and when they must become synchronised.

Undefined evaluation order is a requirement for parallelization. By definition. Take for example...

$c = $a + $b;
[download]

If the '+' operator always evaluates the left argument before the right argument, that means they can't be run in parallel.