Which of the following is true for the solutions to critical-section problems?
A) No deadlock implies progress, and progress implies bounded waiting
B) Bounded waiting implies progress, and progress implies no deadlock
C) Progress implies no deadlock, and no deadlock implies bounded waiting
D) Bounded waiting implies no deadlock, and no deadlock implies progress

Question

Quizplus · Accepted Answer

Bounded waiting ensures that every process will eventually get a chance to execute in its critical section, which implies progress because the system continues to make progress as every process gets to execute. Progress, in turn, implies that there is no deadlock because the system is making progress, meaning processes are not stuck waiting indefinitely.

Which of the Following Is True for the Solutions to Critical-Section