How could you make the execution more deterministic so that only one set of values is possible?

Consider the following portions of two different programs running at the same time on four processors in a symmetric multi-core processor (SMP). Assume that before this code is run, both x and y are 0.

Transcribed Image Text:

Core 1: x= Core 2: y Core 3: w Core 4: z= x + y; 2; 2; x + y + 1;