$1$ Concurrent Process Interleavings

Consider a concurrent program with two processes, p$1$ and p$2,$ defined as follows. V$,$ W$,$ X$,$ Y$,$ Z

are arbitrary atomic $($indivisible$)$ statements. Assume that the main program $($not shown$)$ does a

parbegin of the two processes.

void p$1()$

$\{$

void p$2()$

$\{$

$V$;

$x$;

$W$;

$Y$;

$\}$

$Z$;

$\}$

Questions

Show all the possible interleavings of the execution of the proceeding two processes. Show this by

giving execution "traces" in terms of the atomic statements e$.$g$.$ V$,$ W$,$ X$,$ Y$,$ Z$.$ Remember that p$1()$

or $p2()$ can be chosen to run first, and that a running program can be interrupted in between the

execution of any of the atomic statements.