What are the requirements to be satisfied by the critical section problem?

Following are the necessities to be satisfied by the critical section problem:

a)      Mutual exclusion: If a process is implementing in the critical section, then no other process is able to be executed in the critical section.

b)      Progress: If no process is implementing in the critical section and there are processes that wish to enter the critical section, after that only those process that are not executing in the non critical section can participate in the decision of which will enter its critical section next, and this section cannot be postponed indefinitely

c)      Bounded waiting: There subsist abound on the number of times that other processes are permitted to enter their critical sections after a process has made a request to enter its critical section and before that request is granted. This bound avoid starvation of any single process.