102
Requirements for a valid solution to the critical section problem
nMutual Exclusion
uAt any time, at most one process can be in its critical section (CS)
nProgress
uOnly processes that are in their entry section can be selected to enter their CS. This selection cannot be postponed indefinitely