Question

The code on the side is a software solution to the mutual exclusion problem for two processes. It shares two variables:

int turn;

Boolean blocked[2]

turn is initialized to 0 and blocked values are initialized to false. Find a counterexample that demonstrates that this solution is incorrect.

Answer 1

uh.................................