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;
Which of the below statement is true?
A It satisfies mutual exclusion and progress but not bounding waiting.
B It satisfies both progress and bounded waiting but not mutual exclusion.
C It satisfies mutual exclusion and bounded waiting but not progress.
D It satisfies all the mutual exclusion, progress and bounded waiting.