In the THE multiprogramming system, a page can make the following state transitions:

1. Empty S input buffer ……………………                     (Input production)

2. Input buffer S processing area …………..              (Input consumption)

3. Processing area S output buffer ………….             (Output production)

4. Output buffer S empty ……………………                  (Output consumption)

5. Empty S processing area …………………                 (Procedure call)

6. Processing area S empty …………………                 (Procedure return)

a. Define the effect of these transitions in terms of the quantities i, o, and p.

b. Can any of them lead to a deadlock if the assumptions made in Problem 6.6 about input processes, user processes, and output processes hold?

void P0 () void P1 () void P2 () while (true) while (true) ( while (true) get (A) get (B) get (C) // critical region: // use A, B, C release (A) release (B) release (C); get (D) get (E) get (B) // critical region: // use D, E, B release (D) release (E) release (B) get (C) get (F)i get (D) // critical region: // use C, F, D release (C); release (F) release (D)