#Self doubt

Question

Since Dealock --> No Progress

then Does Progess  --> No Deadlock

bcoz contrapositive should be true.

Answer 1

Whenever there is a deadlock then no process can execute .

Progress means that if a process is not using the critical section, then it should not stop any other process from accessing it.

And if progress is satisfied then definitely some process can reach the critical section , so deadlock not possible in this case.

Comments

@Pranavpurkar

So by the definition given Galvin,

This conclusion can follows

If there is deadlock then progress does not satisfy.

---

@yuvrajeyes

yes!