Consider the following 3 processes:
p q r
s1 s6 s11
p(x1) p(x3) p(x2)
s2 s7 s12
p(x2) p(x2) p(x3)
s3 s8 s13
v(x2) v(x3) v(x2
s4 s9 s14
v(x1) v(x2) p(x1)
s15
v(x3)
s16
v(x1)
s17
p, q, r are sequential and not in loops. sempahores x1, are initialized to 1.
the "combined"state of the three processes can be depicted by a 3-tuple. if the system state is < > , this denotes process p is executing s1, process q is executing s7 and process r is executing s15.
which of the following tuples are valid states for the above processes? (explain your answers)
a. < >
b. < >
c. < >
d. < >
e. < >
f. < >
g. < >