Consider the following synchronization construct used by the processes P1, P2, and P3. The S1, S2 and S3 are counting semaphore variables:
S1 = 3, S2 = 2, S3 = 1;
P(S1);
P(S2);
P(S3);
Critical Section
V(S3);
V(S2);
V(S1);
Does it satisfy mutual exclusion, progress and bounded waiting?