| CODE SECTION P |
| CODE SECTION Q |
It ensures that all processes execute CODE SECTION P mutually exclusively.
It ensures that at most n–1 processes are in CODE SECTION P at any time.
It ensures that no process executes CODE SECTION Q before every process has finished CODE SECTION P.
It ensures that at most two processes are in CODE SECTION Q at any time.
From the above sequence, we can say that option D is correct.