Suppose the following two processes, foo and bar, are executed concurrently and share the semaphore variables S and R (each initialized to 1) and the integer variable x (initialized to 0).

a. Can the concurrent execution of these two processes result in one or both being blocked forever? If yes, give an execution sequence in which one or both are blocked forever.
b. Can the concurrent execution of these two processes result in the indefinite postponement of one of them? If yes, give an execution sequence in which one is indefinitely postponed.

Transcribed Image Text:

void foo ( void bar) do do semWait (S); semWait (R) semWait (R) semWait (S); X++i semSignal (S); SemSignal (R) semSignal (S; SemSignal (R); l while (1); while (1)